Einführung in die Modellbildung und Simulation ereignisgetriebener Systeme mit Stateflow

ISBN-13: 9783640613595 / Niemiecki / Miękka / 2010 / 56 str.

Urban Brunner

Opis

Skript aus dem Jahr 2009 im Fachbereich Informatik - Technische Informatik, Sprache: Deutsch, Abstract: Technische Systeme mussen auf Ereignisse reagieren. Dazu benotigen sie eine Steuerlogik, die den zu automatisierenden Prozess beim Auftreten solcher Ereignisse in gewunschter Weise beeinflusst. Man spricht auch von reaktiven Systemen. Ist das dynamische Verhalten eines technischen Prozesses ursachlich sowohl durch zeitkontinuierliches Verhalten, meist beschrieben durch Differentialgleichungen, als auch durch reaktives ereignisgetriebenes Verhalten gepragt, so liegt ein gemischt kontinuierlich-diskretes System, ein sog. hybrides System vor. Beispiele hybrider Systeme sind gesteuerte Produktionsprozesse, Regelungen mit veranderlicher 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 konnen. In Stateflow wird ein ereignisgetriebenes System graphisch und dessen Schnittstelle zu einem mit Simulink-Blocken beschriebenen zeitgetriebenen System textuell spezifiziert. Formal basiert Stateflow auf (erweiterten) Zustandsautomaten und orientiert sich an der von Harel eingefuhrten Notation fur Statecharts. Statecharts schlieen die ublichen Modellarten zur Beschreibung diskreter Systeme wie Endliche Automaten, Markov-Ketten, Petri-Netze und Warteschlangen ein.