Stateflow
Modele y simule lógica de decisión con máquinas de estados y diagramas de flujo
¿Tiene preguntas? Comuníquese con ventas.
¿Tiene preguntas? Comuníquese con ventas.
Stateflow ofrece un lenguaje gráfico que incluye diagramas de transición de estados, diagramas de flujo, tablas de transición de estados y tablas de verdad. Con Stateflow, puede describir cómo los algoritmos de MATLAB y los modelos de Simulink reaccionan a señales de entrada, eventos y condiciones basadas en tiempo.
Stateflow permite diseñar y desarrollar control de supervisión, planificación de tareas, gestión de fallos, protocolos de comunicación, interfaces de usuario y sistemas híbridos.
Con Stateflow, puede modelar lógica de decisión combinatoria y secuencial que se puede simular como un bloque dentro de un modelo de Simulink o ejecutar como un objeto en MATLAB. La animación gráfica permite analizar y depurar la lógica durante la ejecución. Las comprobaciones en tiempo de edición y en tiempo de ejecución garantizan la congruencia e integridad del diseño antes de la implementación.
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.
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.
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.
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.
Simulation Data Inspector permite visualizar datos de simulación. Con esta herramienta, puede supervisar un sistema para recopilar información valiosa sobre su comportamiento.
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.
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.
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.
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”.