Stateflow

 

Stateflow

Modele y simule lógica de decisión con máquinas de estados y diagramas de flujo

Diseñe máquinas de estados

Con Stateflow, puede diseñar máquinas de estados utilizando elementos que se pueden arrastrar y soltar, así como simples instrucciones lógicas. Nuestros cursos de formación, como Stateflow Onramp están disponibles para ayudarle a familiarizarse con los conceptos.

Gráfico de estados con varios estados y bloques MATLAB Function. El estado “exchange” contiene lógica representada con un diagrama de flujo para determinar si sale del estado o entra en uno de los dos estados secundarios.

Cree diagramas de flujo

Puede utilizar diagramas de flujo para representar lógica de estados. Pattern Wizard permite generar automáticamente diagramas de flujo para patrones lógicos comunes.

Modele lógica con tablas

Stateflow proporciona tablas de transición de estados y tablas de verdad. Las tablas de transición de estados ofrecen una vista tabular para lógica de modelado, mientras que las tablas de verdad implementan diseño de lógica combinatoria en formato tabular.

Ejecute gráficos de Stateflow

Cuando se ejecuta un diagrama de estados, las animaciones resaltan las transiciones y estados activos. Puede modificar las variables manualmente durante la ejecución para visualizar su impacto en el sistema.

Gráfico de Stateflow de un cambio de marchas manual (izquierda). Datos de simulación de dos de los estados del gráfico se capturan en gráficas con flechas que identifican qué gráfica se corresponde con qué estado (derecha).

Supervise y analice datos

Simulation Data Inspector permite visualizar datos de simulación. Con esta herramienta, puede supervisar un sistema para recopilar información valiosa sobre su comportamiento.

Depure lógica en Stateflow

Las prestaciones de depuración de Stateflow permiten recorrer la ejecución de un diagrama en detalle. Puede establecer puntos de interrupción y recorrer distintas funciones de diagramas de estados para comprender comportamiento inesperado.

Implementación de un planificador de lógica temporal en un modelo de Simulink. El bloque planifica la ejecución de tres subsistemas de llamada a función; el tercero envía los resultados al bloque Scope.

Planifique tareas en Stateflow

Stateflow puede invocar algoritmos de Simulink de manera periódica o continua para planificar la ejecución de componentes y simular un entorno en tiempo real.

Modelo de Simulink que se ha rediseñado después de validar requisitos. Debajo del modelo, los estados de verificación de los requisitos enumerados aparecen en color verde para indicar que todas las propiedades del modelo son válidas.

Valide diseños con Simulink

Stateflow se integra perfectamente con otros productos de MathWorks para verificar, validar y probar diseños. Puede aprovechar estos productos para asegurarse de que los diseños cumplan con los requisitos, identificar errores en etapas iniciales y cumplir con objetivos de calidad.

Dos ventanas de aplicaciones conectadas por un gráfico que indica que la segunda ventana se ha creado a partir de la primera. La primera ventana muestra un gráfico de Stateflow, y la segunda muestra código C que se ha generado automáticamente a partir del gráfico.

Genere código para despliegue

La generación de código permite implementar lógica de gráficos de estados en sistemas integrados. Stateflow admite flujos de trabajo para generar código C, C++, VHDL y Verilog, y texto estructurado para PLC.

“Antes de Deep Space 1, no se habían utilizado gráficos de estados y tecnología de generación automática de código en sistemas de gran tamaño para software de aviónica de naves espaciales. Las herramientas de MathWorks lo hicieron posible”.