Desarrollado por el el MathWorks, el Stateflow es una herramienta del diseño interactivo y de la simulación para los sistemas event-driven. Stateflow proporciona los elementos de lengua requeridos para describir lógica compleja en una forma natural, legible, y comprensible. Se integra firmemente con el MATLAB y el Simulink, proporcionando un ambiente eficiente para diseñar los sistemas encajados que contienen lógica del control, de supervisión, y del modo.

Las cartas de Stateflow permiten la representación gráfica de estados jerárquicos y paralelos y de las transiciones event-driven entre ellas. Stateflow aumenta el tradicional Statecharts de Harel con las capacidades del flujo de control, MATLAB y las funciones gráficas, las tablas de verdad, los operadores temporales, difusión del dirigir-acontecimiento, y ayuda para el código manuscrito de integración de C.