Testmustergenerierung mit Hilfe von ... - ihmor.de

2. Modellbasierte Entwicklung eingebetteter Systeme
Abbildung 2-3: Grundblöcke in Simulink
Neben den Grundblöcken stehen auch Blöcke zum Lenken des Kontrollflusses zur Verfügung,
von denen eine Auswahl in Abbildung 2-4 zu sehen ist.
Abbildung 2-4: Blöcke zur Behandlung des Kontrollflusses in Simulink
Um die Übersichtlichkeit in großen Modellen zu gewährleisten, ermöglicht Simulink den
Einsatz von Hierarchieebenen. Dabei können mehrere Grundblöcke zu komplexen
Blöcken, so genannten Subsystemen, zusammengefasst werden. Diese können wiederum
Teilsysteme beinhalten. Auf diese Weise können Blöcke gruppiert werden, die logische
Einheiten bilden.
2.3.2 Zustandsdiagramme in Stateflow
Die in Simulink verwendeten Zustandsdiagramme werden als Statecharts bezeichnet. In
ihnen wird das logische Verhalten eines Systems modelliert. Dabei wird davon ausgegangen,
dass eine Aufteilung in eine Menge von Modi oder Zuständen möglich ist,
zwischen denen Übergänge bestehen. Abbildung 2-5 zeigt die Grundbestandteile eines
7