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.

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.

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.

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.

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.

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”.

Dr. Wesley Huntress, NASA