Un diagrama de estado es un modelo de un sistema reactivo. El modelo define un conjunto finito de estados y comportamientos, así como el modo en que el sistema realiza la transición de un estado a otro cuando se dan determinadas condiciones.

Los diagramas de estado se utilizan para modelizar la lógica compleja en sistemas dinámicos, desde transmisiones automáticas hasta sistemas robóticos y teléfonos móviles. Algunos ejemplos de esta lógica compleja son:

• Planificación de una secuencia de tareas o pasos para un sistema
• Definición de una lógica de detección de fallos, aislamiento y recuperación
• Supervisión de cómo se cambia entre los distintos modos de funcionamiento

Desarrollados a partir de las máquinas de estado finito tradicionales, los diagramas de estado ofrecen capacidades adicionales, como:

• Modelización de estados jerárquicos para sistemas a gran escala
• Adición de gráficos de flujo para definir la lógica de decisión compleja
• Definición de estados ortogonales para representar sistemas con paralelismo

Para obtener más información sobre la modelización de diagramas de estado, incluyendo estas técnicas avanzadas, consulte Stateflow^® y Simulink^®.