Beruflich Dokumente
Kultur Dokumente
Generalidades Tektronix
' Proyecto: arquitectura reusable de un sistema.
' El estilo ve al sistema como una serie de
' Había poco reuso, cambios completos del
transformaciones sobre sucesivas partes de los
software, problemas de desempeño al
Osciloscopios
datos de entrada.
momento de reconfigurar el software
' Los componentes ejecutan cuando hay datos dinámicamente.
disponibles e interactúan proveyéndose datos
' Señales analógicas ingresan al sistema, pasan a
unos a otros.
través de una red de transformaciones y emer−
gen como gráficos y mediciones en un display.
' Cada transformador tiene una interfaz que
permite sintonizar la transformación mediante
parámetros.
[FILTER, PORT, FSTATE, DATA]
Port_State == PORT ß seq DATA
Partial_Port_State == PORT ß seq DATA
Tektronix: tubos y filtros »_Filter ___________________________________
Æfilter_id: FILTER
Æin_ports, out_ports: P PORT
Æalphabets: PORT ß P DATA
Coupling Kind, Rate Trans Size Æstates: P FSTATE
Æstart: FSTATE
Ætransitions: FSTATE x Partial_Port_State j FSTATE x Partial_Port_State
Couple Acquire To−XY Clip «_______________
Signal Trace Æstart e states ¶ in_ports I out_ports = 0 ¶ dom alphabets = in_ports U out_ports
ÆAc1, c2: FSTATE; ps1, ps2: Partial_Port_State
Times Waveform
Æ | ((c1, ps1), (c2, ps2)) e transitions
Æ • {c1, c2} z states
Trigger subsystem Measure
Measurement Æ ¶ dom ps1 = in_ports
Æ ¶ dom ps2 = out_ports
Æ ¶ (Ap: in_ports • ran (ps1 p) z alphabets p)
Æ ¶ (Ap: out_ports • ran (ps2 p) z alphabets p)
–_______________________________________
»_Filter_State ________________________________
Æf: Filter
Æinternal_state: FSTATE
Formalización Z de TF: filtros Æpstate: Port_State
«_______________
Æinternal_state e f . states
' En un esquema se incluyen todos los elementos Ædom pstate = f . in_ports U f . out_ports
ÆAp: dom pstate • ran (pstate p) z f . alphabets p
que componen un filtro. –_______________________________________
' En otro esquema se formaliza el estado de un ' Luego se define una operación que representa el
filtro como la combinación cambio de estado de un filtro.
' de los elementos que lo componen, ' De los tres ítems que componen el estado de un
' del estado de cada uno de sus puertos, y filtro sólo pueden cambiar:
' del estado del programa que implementa la función ' el estado de los puertos
del filtro.
' el estado del programa interno
»_Filter_Compute
_______________________________
Æ∆Filter_State »_Pipe
«_______________ ____________________________________
Æf = f’ Æsource_filter, sink_filter: Filter
ÆEps1, ps2: Partial_Port_State Æsource_port, sink_port: PORT; alphabet: P DATA
Æ • ((internal_state, ps1), (internal_state’, ps2)) e f . transitions «_______________
Æ ¶ (Ap: f . in_ports • pstate p = ps1 p ^ pstate’ p) Æsource_port e source_filter . out_ports ¶ sink_port e sink_filter . in_ports
Æ ¶ (Ap: f . out_ports • pstate p ^ ps2 p = pstate’ p) Æsource_filter . alphabets source_port = sink_filter . alphabets sink_port
–_______________________________________ Æ = alphabet
' Notar que la transición de un estado interno a –_______________________________________
otro debe estar dentro de las transiciones
previstas para el filtro.
»_Pipe_State
' Además, observar cómo parte del stream _________________________________
Æp: Pipe; source_data, sink_data: seq DATA
disponible en los puertos de entrada es «_______________
consumido, y cómo se incrementa el flujo en los Æran source_data U ran sink_data z p . alphabet
puertos de salida. –_______________________________________
datos sensados
ÆEPipe_Compute
Æ • θ Pipe_State e pipe_states ' El propósito de un sistema de control es
Æ ¶ θ Pipe_State’ e pipe_states’
Æ ¶ (Afs: filter_states; fs’: filter_states’; pt: PORT | fs . f = fs’ . f
mantener propiedades específicas de las salidas
Æ • (fs . internal_state = fs’ . internal_state en valores cercanos a set points.
Æ ¶ (pt e fs . f . in_ports ¶ p . sink_filter Î fs . f
Æ v p . sink_port Î pt ' Cuando el sistema de software que convierte
Æ fi fs . pstate pt = fs’ . pstate pt) las entradas en salidas puede ser afectado por
Æ ¶ (pt e fs . f . out_ports ¶ p . source_filter Î fs . f
Æ v p . source_port Î pt perturbaciones externas, entonces un estilo de
Æ fi fs . pstate pt = fs’ . pstate pt))) control de procesos debe ser considerado.
–_______________________________________
' Notar que en este caso debe coordinarse el ' Perturbaciones externas refiere a cualquier
cambio de estado del tubo con el de los filtros característica de la entrada o del entorno no
por él conectados. considerada en la definición del proceso.