Sistemas Embebidos: RKH and Statecharts

Generalmente, los embedded systems se caracterizan por reaccionar continuamente ante estímulos internos y/o externos. Estas reacciones provocan una acción determinada, la cual está en función del contexto del sistema. A estos sistemas suele denominárselos Sistemas Reactivos.

Tradicionalmente el comportamiento reactivo de un sistema, se describe por medio de la combinación de autómatas finitos Mealy/Moore, representados gráficamente por su correspondiente diagrama de transición de estados. Esto permite describir naturalmente su comportamiento en términos de estados, eventos, como así también transiciones.

Sin embargo, si el sistema es complejo, dicha representación puede dificultarse, debido al crecimiento exponencial de estados. Una posible solución es utilizar los modernos conceptos de máquinas de estados como ser Statechart, el cual constituye un formalismo visual para describir estados y transiciones de manera modular, permitiendo el agrupamiento y refinamiento de estados.

+ Descargar documento en PDF

Ing. Leandro G. Francucci, Embedded System Developer, Digital Electronics and EMI Designer and Project Manager. Particularly interested in real-time, schedulers, RTOS and software architectures. Always interested in new challenges, as well as knowledge, researching and constant learning. Ver pérfil completo en LinkedIn.