Nach der Modellierung kann die SEQ im Studio verifiziert werden. Ein Simulationsmodus zeigt Zustände, aktive Zonen und Meldungen live an.
Sind alle Zustände definiert und in jedem Zustand min. ein S als Operant.
Ist die Hardware und Technologie als System abgebildet und definiert mit S, I oder 0 .
Tasten, Texte, Variablen usw. sind diese dem PTF entsprechend
So lässt sich das Verhalten formal überprüfen, bevor Code generiert oder Hardware angeschlossen wird.
Zuletzt aktualisiert vor 4 Monaten
War das hilfreich?
