MATHWORKS Stateflow

Stateflow® este un mediu pentru modelarea si simularea logicii de decizie combinatoriala si secventiala bazata pe stari ale masinii si diagrame de flux. Stateflow va permite sa combinati reprezentari grafice si tabulare, incluzand diagrame de tranzitie a starilor, diagrame de flux, tabele de tranzitie a starilor, si tabele de adevar, pentru a modela felul in care sistemul dumneavoastra reactioneaza la evenimente, conditii bazate pe timp, si semnale de intrare externe.

Cu Stateflow puteti proiecta logica pentru control supervizat, programarea activitatilor si managementul erorilor. Stateflow include animatie a diagramelor de stari, precum si verificari statice si run-time pentru testarea consistentei si completitudinii proiectarii inaintea implementarii.

Functii principale:

• Mediu de modelare, componente grafice si motor de simulare pentru modelarea si simularea logicilor complexe
• Semantici pentru executie deterministica, cu ierarhii, paralelism, operatori temporali si evenimente
• Diagrame de stare, tabele de tranzitie a starilor, si matrici pentru tranzitia starilor reprezentand masini de stari finite
• Diagrame de fluxuri, functii MATLAB, si tabele de adevar pentru reprezentarea algoritmilor
• Animatii ale diagramelor de stare, jurnalizarea activitatii starii, jurnalizarea datelor, si depanare integrata pentru analiza proiectarii si detectia erorilor run-time
• Verificari statice si run-time pentru conflictele de tranzitie, probleme ciclice, inconsistenta starilor, violari ale gamei de date, si conditii de overflow
• Masini cu stari finite Mealy si Moore

Preturi reduse pentru medii academice.

Pentru detalii, va rugam sa ne contactati.