Einfhrung in die Modellbildung und Simulation ereignisgetriebener Systeme mit Stateflow

Skript aus dem Jahr 2009 im Fachbereich Informatik - Technische Informatik, , Sprache: Deutsch, Abstract: Technische Systeme mssen auf Ereignisse reagieren. Dazu bentigen sie eine Steuerlogik, die den zu automatisierenden Prozess beim Auftreten solcher Ereignisse in gewnschter Weise beeinflusst. Man spricht auch von reaktiven Systemen. Ist das dynamische Verhalten eines technischen Prozesses urschlich sowohl durch zeitkontinuierliches Verhalten, meist beschrieben durch Differentialgleichungen, als auch durch reaktives ereignisgetriebenes Verhalten geprgt, so liegt ein gemischt kontinuierlich-diskretes System, ein sog. hybrides System vor. Beispiele hybrider Systeme sind gesteuerte Produktionsprozesse, Regelungen mit vernderlicher Struktur, Verkehrssysteme - im Grunde genommen alle hierarchisch organisierten Systeme.
Ein hybrides System besteht aus einem oder mehreren kontinuierlichen zeitgetriebenen Teilsystemen und mindestens einem bzw. mehreren diskreten ereignisgetriebenen Teilsystemen. Stateflow ist ein Zusatz zu Simulink, um hybride Systeme beschreiben und mittels animierter Simulation analysieren zu knnen. In Stateflow wird ein ereignisgetriebenes System graphisch und dessen Schnittstelle zu einem mit Simulink-Blcken beschriebenen zeitgetriebenen System textuell spezifiziert. Formal basiert Stateflow auf (erweiterten) Zustandsautomaten und orientiert sich an der von Harel eingefhrten Notation fr Statecharts. Statecharts schlieen die blichen Modellarten zur Beschreibung diskreter Systeme wie Endliche Automaten, Markov-Ketten, Petri-Netze und Warteschlangen ein.