Grundlagen Statecharts (Zustandsautomaten)

In diesem eBook mit über 80 Seiten bekommen Sie die Grundlagen über die mächtige Modellierungssprache Statecharts. Statecharts sind eine Erweiterung der klassischen Zustandsautomaten. Damit lassen sich reaktive Systeme (Steuerungen) elegant grafisch und übersichtlich modellieren, um anschließend daraus automatisch einen C-Code für Mikrocontroller oder PC zu generieren.

Am Beispiel einer Bügeleisen-Steuerung, wird ein Projekt mit dem Entwicklungstool visualSTATE
schrittweise durchgeführt und ausführlich mit Filmen, Animationen, Bildern und Text erklärt. Das Tool visualSTATE ist free for Download bei www.iar.com, und lediglich auf 20 Zustände begrenzt.

Angefangen mit den Anforderungen (engl. requirement) über das Modellieren mit Statecharts, Simulieren (Validieren), Verifizieren (formale Verifikation) gelangen wir mit der automatischen C-Code-Generierung zu dem endgültigen Produkt = Echtzeitsoftware.

Modelliert werden einfache Zustandsautomaten, Hierarchien sowie parallele Automaten.

Für die Inputs werden Events sowie Bedingungen benutzt. Als Output werden eine LED, Heizung und Pumpe für Dampf als Aktionen benutzt.

Es werden Timer und Junction benutzt und alles was nicht in der Steuerung benutzt wird aber zu Statecharts dazugehört wird selbstverständlich nebenbei ebenfalls erklärt.

Einschränkungen von Grundlagen Statecharts (Zustandsautomaten)

Sie können das eBook downloaden und die ersten Seiten frei lesen. Die weiteren Seiten brauchen das Passwort. Das eBook ist eine EXE-Version und muss deshalb nicht installiert werden.