Stateflow® è un ambiente per la modellazione e la simulazione della logica basato su macchine a stati e diagrammi di flusso. Stateflow consente di combinare rappresentazioni grafiche e tabulari, compresi diagrammi di stato, diagrammi di flusso, mappe di transizione di stato e tabelle di verità, per descrivere il modo in cui il sistema reagisce a eventi, condizioni tempo-dipendenti e segnali di stimolo esterni.
Con Stateflow è possibile progettare la logica per applicazioni di supervisione, di pianificazione e di gestione dei guasti (fault management). Stateflow anima in simulazione i diagrammi di stato e può effettuare controlli statici e dinamici sulla coerenza della progettazione. Stateflow misura inoltre la completezza dei test (copertura del modello) prima dell’implementazione finale.
