Está en la página 1de 6

se aplica para transfonnar la entrada y la salida que se produce. Adems, el EP indica las restricciones y limitaciones impuestas al proceso (funcin).

las caractersticas de rendimiento que son relevantes al proceso y las restricciones de diseo que puedan tener influencia en la fom1a de implementar el proceso.

12.4.2. Ampliaciones para sistemas de tiempo real Muchas aplicaciones de software son dependientes del
o

tiempo y procesan ms infonnacin orientada al con-

'f. ".Jtrol de datos. Un sistema de tiempo real debe in teractuar con el mundo real en marcos temporales que ~ienen dados por el mundo real. El control de naves o de procesos de fabricacin, los productos de consumo .y la instrumentacin industrial son algunas de entre cientos de aplicaciones del software de tiempo real. Para que resulte adecuado el anlisis del software de ,tiempo real, se han propuesto 'varias ampliaciones para h notacin bsica del anlisis estructurado.
~. o

~. 2.4.3. Ampliaciones de Ward y Mellor


'}Vard y Mellor [WAR85] amplan la notacin bsica >~q~l anlisis estructurado para que se adapte a las . ~iguientes demandas impuestas por los sistemas de Jiempo real: Flujo de informacin que es recogido o producido de fonna continua en el tiempo. Infonnacin de control que pasa por el sistema y el procesamiento de control asociado. Ocurrencias mltiples de la misma transformacin que se encuentran a menudo en situaciones de multitarea. Estados del sistema y mecanismos que producen transicin de estados en el sistema.
Entrada continua Temperatura supervisada ~ Salida continua Valor corregido AjUste~~ de temperatura /

En un porcentaje significativo de aplicaciones de tiempo real, el sistema debe controlar la informacin continua en el tiempo generada por algn proceso del mundo real. Por ejemplo, puede que se haga necesario un sistema de control de pruebas en tiempo real para que se superpara mquinas de turbina de gas, vise la velocidad de la turbina, la temperatura del combustible y varias sondas de presin, todo ello de forma continua. vencional no hace distinciones entre datos discretos y datos continuos en el tiempo. La notacin del flujo de datos conbsica del anlisis estructurado que se muestra en la Figura 12.12 proporciona un Una ampliacin de la notacin mecanismo para representar el flujo de datos continuo en el tiempo. Para represenlar el nujo continuo en el tiempo se usa la flecha de dos cabezas, mientras que el flujo de datos discreto se representa con una flecha de una sola cabeza. En la figura, se mide continuamente la temperatura supervisada, mientras que slo se proporciona un valor para el ajuste de temperatura. El proceso de la figura produce una salida continua, valor corregido.

~~ '~o

CLAVE
Paro adecuar el modelo o un sistema en hempo real, lo notacin del onlisis estructurado debe permitir procesar eventos y lo llegado de continuos datos. La distincin entre flujo de datos discreto y con,,)inuo en el tiempo tiene implicaciones importantes, tanto para el ingeniero de sistemas como para el diseador del software. Durante la creacin del modelo del sistema, podr aislar los procesos que pueden ser crticos para el rendimiento (es muy usual que la entrada y salida de datos continuos en el tiempo dependan del rendimiento). Al crear el modelo fsico o de implementacin, el diseador debe establecer un mecanismo para la recoleccin de datos continuos en el tiempo. Obviamente, el sistema digital recolecta datos en una forma casi continua utilizando tcnicas

de muestreo de alta velocidad. La notacin indica dnde se necesita hardware de conversin analgica a digital y qu transformaciones requerirn, con mayor probabilidad, un software de alto rendimiento. En los diagramas de flujo de datos convencionales no se representa explcitamente el control oflu.los de sucesos. De hecho, al analista se le advierte de que ha de excluir especficamente la representacin del flujo de control del diagrama de flujo de datos. Esta exclusin es demasiado restrictiva cuanJu ~e tlata J apli..:a..:ions J tiempo lal y, pUl' e~le motivo, se ha desarrollado una notacin especializada para la representacin del flujo de sucesos y del procesamiento de control. Siguiendo con los convenios establecidos para los diagramas de flujo de datos, el tlujo de datos se representa mediante flechas con trazo continuo. Sin embargo, el flujo de contra! se representa mediante flechas de trazo discontinuo o sombreadas. Un proceso que slo maneja tlujos de control denominado proceso de control, se representa analgicamente mediante una burbuja con trazo discontinuo.

Movimiento " Estado de de alarma

-'
"" cada elemento "' . - . , /'/'

__ ~_____
BuHer del estado de las piezas " Cadena de bits "" rdenes del operador
1 .

"v
/ Control de Indicador de \ actividad comienzo/parada /' del robot /' /' ,

1 Activar

\ proceso \

Archivo de rdenes del robot

FIGURA 12.13. Flujos de datos y de control utilizando la notacin de Ward y Mellar [WAR85].

El flujo de control puede ser una entrada directa de un proceso convencional o de un proceso de control. La Figura 12.13 ilustra el flujo de control y su procesa- " miento, utilizando la notacin de Ward y Mellar. La figura ilustra el planteamiento de mayor nivel de un flujo de datos y de control de una clula de fabricacin. A medida que se van colocando en las fijaciones los componentes a ser ensamblados por un robot, se ajusta un bit de un buffer de estado de las piezas (un almacn de control) que indica la presencia o ausencia de cada componente. La informacin de sucesos contenida en el buffer de estado de las piezas se pasa como una cadena de bits a un proceso, intelfa: del monitor de fijacin y operador. El proceso leer rdenes del operador slo cuando la informacin de control, cadena de bits, indique que todas las fijaciones contienen componentes. Se enva un indicador de suceso, indicador de comienzo/parada. a cOl1frol de acti\'Qcin del rohot, un proceso de control que permite un posterior procesamiento de rdenes. Como consecuencia del suceso activar proceso se producen otros flujos de datos que son enviados a procesar rdenes del robot.

11-,.. ~~i:a;
o

, EI;'ntrno 'de un sistema en Hempo real o veces cQnfteiil disposihitos que octan camo las 5 senHdas fjersisteril: ~ - ..
!,jul wii~~ y Stephen Mellor

En algunas situaciones, en un sistema de tiempo real puede haber ocurrencias mltiples del mismo proceso de controlo de transformacin de datos. Se puede dar este caso en un entorno multitarea en el que se activan las tareas como resultado de algn procesamiento interno o de sucesos externos. Por ejemplo. puede que haya que supervisar varios buffers de estado de piezas para que puedan activarse diferentes robots en los momentos oportunos. Adems puede que cada robot tenga su propio sistema de control: La notacin de Ward y Mellar se usa para representar IIlllri/(',I' (il'llrU!nCiS eqllil'Cllellles del mismo proceso. 12.4.4. Ampliaciones de Hatley y Pirbhai Las ampliaciones de Hatley y Pirbhai [HAn7 J a ]a notacin bsica del anlisis estructurado se centra menos en la creacin de smbolos grficos adicionales y ms en la representacin y especificacin de los aspectos del soft\.wre orientados al control. La flecha de trazo discontinuo se utiliza para representar el flujo de controlo de sucesos. A diferencia de Ward y Mellar, Hatley y Pirbhai sugieren que se represente por separado la notacin de trazo continuo de la de trazo discontinuo. As, se define un diagra11/(/ dejfllju de control (DFC). El DFC contiene los mismos procesos que el OFD, pero muestra el flujo de control en lugar de datos. En lugar de representar directamente los procesos de control dentro del modelo de flujo, se usa una referencia de notacin (una barra slida) a una espccificacin de control (EC). En esencia, se puede considerar la .baITa como una ventana hacia un director (la EC) que controla los procesos (las burbujas) representadas en el DFD. de acuerdo con los sucesos que pasan a travs de la ventana. Se usa la EC, que se describe en detalle en la Seccin 12.6.4, para indicar: (1) cmo se comporta el soft ware cuando se detecta un suceso o una seal de control. y (2) qu procesos se invocan como consecuencia de la ocuITencia del suceso. Se usa una especificacin de !J/'()C('SO (EP) para describir el procesamiento interno de los procesos representados en el diagrama de flujo. ~

~~o

CLAVE
El OFC muestra camo los eventos se mueven en el sistema. Una EC muestra el comportamiento del software como uno consecuencia de los eventos y a qu procesos les corresponde intervenir en lo manipulacin de los eventos.

Usando la notacin descrita en las Figuras 12.12 y 12.13. junto con la informacin adicional contenida en EPs y ECs, Hatley y Pirbhai crean un modelo dc,isrellld Lk: l~ilp0 r~;jL Para i'~prcscntar los d~ltQS y !~~:, p:-r~cesas que los manejan se usan los diagramas de I1Ujll de daros. Los diagramas de flujo de control muestran l'lmo rluyen los sucesos entre los distintos procesos e ilu,lr~ln cmo los sucesos externos hacen que se activen Ill~ procesos. Las interrelaciones entre los modelos de pnlccso de control se muestran esquemticamente en la Fi~lIra 12.14. El modelo de procesamiento est conectacill,con el modelo de control a travs de condiciones de di/lI's. El modelo de control est conectado con el Illlllklo de procesos mediante la informacin de activacil'1I1 dc procesos contenida en la EC.


Referencia Web Lo especificacin del sistema en hempo real planteado por HoMe'l '1 Pirbhoi es descrito en www.univ-parisl.fr /CRINFO / dmrg/MEE98 / misop032/

.....
;

..

.,;,.,).~.

produce cuando los datos '~, . : ' '''':,.A ~ 4e entrada de un proceso hacen que se produzca una sali< ... :.~" " Qa de control. La Figura 12,14 tlustra esta sltu,lcin en una
,;" ;'1 'Una condicin de datos se

'J. l; ';'~V"'P'iute del modelo de flujo p~ra un sIstema el,e superviSin ~_t{'>,.Y'control automatlzado de valvulas de preston de una ren'.~. pera de petrleo. El proceso comproar y cOl1\'ertir pre'. sipn implementa el algoritmo descrito en el pseudocdigo !.~p.,que se muestra. Cuando la presin absoluta del tanque ': y"sl mayor que el mximo permitido, se genera un suceso '.presin alta. Observe que cuando se usa la
notacin de Ajtley y Pirbhai~ el flujo de daros de muestra como pare.de un DFD, mientras que el flUJO de control se encuenJ~a a parte en un diagrama de flujo de control.
Diagrama de flujo de datos Diagrama de flujo de control Presin alta

'l ~

if presin absoluta del tanque> presin mxima then poner presin alta a verdadero else poner presin alta a falso; begin algoritmo de conversin xOla; calcular presin convertida; end er,dif

:.: . FIGURA 12.14. La relacin entre los modelos de datos .. y los de control [HAT87j.

Para determinar qu es lo que ocurre cuando se produce este suceso, debemos comprobar la EC. La especificacin de control CEC) contiene varias herramientas importantes del modelado. Para indicar qu procesos se activan por un suceso dado que tluye por la barra vertical, se usa una tabla de activacin de procesos (descrita en la Seccin 12.6.4). Por ejemplo, una tabla de activacin de procesos (TAP) para la Figura 12.14 podra indicar ljue el suceso presin alta hara que se invocara un proceso reducir presin del ranque (que no se muestra). Adems de la TAP, la EC puede contener un diagrama de transici()n de estados (DTE). El DTE es un modelo de comportamiento que se basa en la definicin de un conjullto de estados del sistema y se describe en la seccin siguiente.
Estado de alimentacin del papel (atascado, vaco)

"1 __
Comienzo/ / parada /
\
//

~rma

Fallo

de reproduccin

FIGURA 12,15, DFC de nivel 1 para el software de una fotocopiadora .


J.I}',}Hrp--t-'l't . , . :7 ~.. .

MQREL AILO D-.RL. e d M P o RTAMI.E1I T o


. ~)t~tJ'

..-:fi .. ~~{_~~tJ~H~ ;.~.\; ~; ... tp: )it.':'-r~tJ:f;l~:"~l?~ .: ",, ... .r.:..h:".,.:r>;

rol

"'"

"

'

e II/UUt'/(/Uu (/('{ CUilljJui'/UIII/('/IIU C:::, UIILl Llc: IV::' tlt'llI-

cipios fundamentales de todos los mtodos de anlisis de requisitos. Sin embargo, slo algunas versiones ampliadas del anlisis estructurado ([WAR85). [HAT87J) pl'Oporcionan una notacin para este tipo de modelado. El diJgrama de transicin de estados representa el comportamiento de un sistema que muestra lo:) estados y los sucesos que hacen que el sistema ca:l']bie de estado. Adems, el DTE indica qu accion_'s (por ejemplo, activacin de procesos) se llevan l cabQ como consecuencia de un suceso determ i nadu.
~ Cmo modelizar la reaccin .. del software ante un evento externo?

Un esrui!o es un modo observable de compol1amiento. Por ejemplo, estados para un sistema de supervisin y de control para que las vlvulas de presin descritas en la Seccin 12.4.4. puedan estar en: estado de supervisin, estado de ahuma, estado de liberacin de presin y otros. Cada uno de estos estados representa un modo de comportamiento del sistema, Un diagrama de transicin de estados indica cmo se mueve el sistema de un estado a otro.