Stateflow

Website: Stateflow product page

StateFlow (dezvoltat de Mathworks) este un instrument de logică de control utilizat pentru modelarea sistemelor reactive prin mașini de stat și diagrame de flux într -un model Simulink.

StateFlow folosește o variantă a notării mașinii cu stat fin stabilit de David Harel, permițând reprezentarea ierarhiei, paralelismului și istoriei într-un grafic de stat.

StateFlow oferă, de asemenea, tabele de tranziție de stat și tabele de adevăr.