Stateflow è un prodotto che fornisce un linguaggio grafico che include diagrammi di transizione di stato, diagrammi di flusso, tabelle di transizione di stato e tabelle di verità. È possibile utilizzare Stateflow per descrivere in che modo gli algoritmi MATLAB e i modelli Simulink reagiscono ai segnali di input, agli eventi e alle condizioni basate sul tempo.

Stateflow consente di progettare e sviluppare il controllo di supervisione, la pianificazione delle attività, la gestione degli errori, i protocolli di comunicazione, le interfacce utente e i sistemi ibridi.

Con Stateflow, è possibile modellare logica decisionale combinatoria e sequenziale che può essere simulata sotto forma di blocco in un modello Simulink o eseguita come oggetto in MATLAB. L’animazione grafica consente di analizzare la logica e sottoporla a debug mentre è in esecuzione. I controlli in fase di modifica e in fase di esecuzione garantiscono coerenza di progettazione e completezza prima dell’implementazione.