Stateflow (desarrollado por MathWorks ) es una herramienta de lógica de control que se utiliza para modelar sistemas reactivos a través de máquinas de estado 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 la jerarquía, el paralelismo y la historia dentro de un gráfico de estado. [2] [3] Stateflow también proporciona tablas de transición de estado y tablas de verdad .
Desarrollador (es) | MathWorks |
---|---|
Lanzamiento estable | R2018b / 12 de septiembre de 2018 |
Versión de vista previa | R2018b / 14 de junio de 2018 |
Sistema operativo | Windows , macOS , Linux [1] |
Plataforma | x64 |
Tipo | Software de la aplicacion |
Licencia | Propiedad |
Sitio web | Página del producto Stateflow |
Usos comunes
Stateflow se usa 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 ambiente) se especifica usando Simulink. [4] [5]
Las aplicaciones específicas de Stateflow incluyen:
- Lógica de modo , donde cada modo discreto de un sistema está representado por un estado [6]
- Gestión de fallas , donde el diagrama de flujo de estado se usa para controlar cómo el sistema responde a fallas y fallas dentro de un sistema [7]
- Programación de tareas , donde el diagrama de flujo de estado se utiliza para programar cuándo ocurren tareas específicas, ya sea dentro del diagrama de flujo de estado o dentro del modelo general de Simulink [8]
Extensiones
Se pueden usar varias herramientas MathWorks y de terceros con Stateflow para validar el diseño y generar código. Por ejemplo, Simulink Verification and Validation, una herramienta de MathWorks, se puede utilizar para verificar la trazabilidad de los requisitos y el análisis de la cobertura del modelo. Se pueden utilizar otras herramientas complementarias de generación de código para generar automáticamente código C, C ++, HDL y PLC para su implementación en sistemas integrados.
Referencias
- ^ MathWorks - Stateflow - Requisitos
- ^ MATLAB Tech Talks sobre los conceptos básicos y el uso de máquinas de estado
- ^ Simulación de sistemas híbridos usando Stateflow
- ^ Gregoire Hamon y John Rushby . "Una semántica operativa para Stateflow" (PDF) . Presentado en Fundamental Approaches to Software Engineering (FASE) Barcelona, España, marzo de 2004 . Laboratorio Internacional de Ciencias de la Computación del SRI .Mantenimiento de CS1: utiliza el parámetro de autores ( enlace )
- ^ Estándares de Orion GN&C MATLAB / Simulink / Stateflow
- ^ A. Tiwari. "Métodos de análisis y semántica formal para modelos de flujo de estado de Simulink" (PDF) . Laboratorio Internacional de Ciencias de la Computación del SRI . Cite journal requiere
|journal=
( ayuda ) - ^ Pruebas basadas en requisitos en el diseño de control de aeronaves
- ^ Consejos de modelado del robot codificador integrado NXT