Stateflow

Stateflow (desarrollado por MathWorks ) es una herramienta de lógica de control que se utiliza para modelar sistemas reactivos mediante máquinas de estados y diagramas de flujo dentro de un modelo de Simulink . Stateflow utiliza una variante de la notación de máquina de estados finitos establecida por David Harel , lo que permite la representación de jerarquía, paralelismo e historial dentro de un diagrama de estados. ^{[ 2 ] [ 3 ]} Stateflow también proporciona tablas de transición de estados y tablas de verdad .

Stateflow se utiliza generalmente para especificar el controlador discreto en el modelo de un sistema híbrido donde la dinámica continua (es decir, el comportamiento de la planta y el entorno) se especifica mediante Simulink. ^{[ 4 ] [ 5 ]}

Entre las aplicaciones específicas de Stateflow se incluyen:

• Lógica de modos , donde cada modo discreto de un sistema está representado por un estado ^{[ 6 ]}
• Gestión de fallos , donde se utiliza el diagrama de Stateflow para controlar cómo responde el sistema a los fallos y averías dentro del sistema ^{[ 7 ].}
• Programación de tareas , donde se utiliza el diagrama de Stateflow para programar cuándo ocurren tareas específicas, ya sea dentro del diagrama de Stateflow o dentro del modelo general de Simulink ^{[ 8 ].}

Con Stateflow se pueden utilizar diversas herramientas de MathWorks y de terceros para validar el diseño y generar código. Por ejemplo, Simulink Verification and Validation, una herramienta de MathWorks, permite comprobar la trazabilidad de los requisitos y realizar un análisis de cobertura del modelo. Otras herramientas complementarias de generación de código permiten generar automáticamente código C, C++, HDL y PLC para su implementación en sistemas embebidos.