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 las definiciones de autómatas finitos de 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. Este concepto aplicado a la programación podría denominarse programación orientada a eventos.
Sin embargo, si el sistema es complejo, dicha representación puede dificultarse, debido al crecimiento exponencial de estados, resultando en un diagrama caótico y no estructurado. Para que el método estado/evento sea útil, debe ser modular, jerárquico y estructurado. Además, de alguna manera debe resolver el problema del crecimiento exponencial de estados relajando el hecho de que todas las combinaciones de estados tiene que estar representadas explícitamente.
Una posible solución al problema anterior es utilizar los conceptos propios del método
Statechart, el cual constituye un formalismo visual para describir estados y transiciones de manera modular, permitiendo el agrupamiento y refinamiento de estados, entre otras. Resumiendo,
Statechart es una extensión de los diagramas de estados convencionales.
RKH es una herramienta de desarrollo genérica, flexible, modular, altamente transportable, compatible con ANSI-C y de código abierto, para implementar máquinas de estados jerárquicas y “planas”, basada en los conceptos básicos y modernos de máquinas de estados, propuestos primeramente por
David Harel en su trabajo
Statechart y luego ampliado por
UML Statechart. Esta herramienta puede descargarse desde sourceforge.
En las próximas publicaciones ampliaré la descripción de RKH, incluyendo aplicaciones prácticas.
Espero sus observaciones e inquietudes.
