Stateflow

Stateflow
Stateflow jest interaktywnym projektem do modelowania i symulacji systemów sterowanych zdarzeniami. Stateflow zapewnia elementy języka potrzebne by opisać logikę zespoloną w naturalny, czytelny i zrozumiały sposób. Jest ściśle zintegrowany z MATLABem i Simulinkiem zapewniając efektywne środowisko dla systemów zanurzonych zawierających logikę sterującą, nadzorującą lub modalną.

* Zapewnia elementy językowe, hierarchizację, równoległość i deterministyczną semantykę wykonawczą by opisać logikę zespoloną w naturalny i zrozumiały sposób.
* Definiuje graficznie funkcje używając sieci działań; proceduralnie, używając języka MATLABa; i w formacie tablicowym używając tablic prawdy.
* Szereguje zmiany stanów i wydarzenia używając operatorów czasowych.
* Zawiera własne jak i tradycyjne kody języka C z wejściowymi i wyjściowymi argumentami.
* Obsługuje wektorowe, macierzowe i stałoprzecinkowe typy danych.
* Zapewnia możliwość przeglądania i rejestracji stanów i danych.
* Animuje diagramy Stateflow by polepszyć zrozumienie systemu i ułatwić debugowanie.
* Wykonuje kontrolę statyczną, w tym kontrolę źle sprecyzowanych tablic prawdy.
* Wykonuje kontrolę dynamiczną, w tym kontrolę konfliktów przejściowych, problemów okresowości, stanów nielogicznych, naruszenia zakresu danych i warunków przepełnienia.
* Zawiera zintegrowany debugger umożliwiający ustawienie graficznych punktów kontrolnych, przechodzenie przez kolejne modele metodą krok po kroku i przeglądanie danych.

Więcej informacji na stronie producenta
http://www.mathworks.com/products/stateflow
Bezpłatne materiały informacyjne
http://www.mathworks.com/techSF