Zustandsautomaten ermöglichen eine einfache und
übersichtliche Beschreibung von Systemen und Schnittstellen und sind
Modellelement der Unified Modeling Language (UML). Zustandsautomaten
basieren auf den aus der theoretischen Informatik oder der Digitaltechnik
bekannten Automaten und werden häufig in Form von Zustandsdiagrammen
dargestellt. Entwurfswerkzeuge erlauben die Simulation solcher
Zustandsdiagramme und die automatische Erzeugung von Code, der diese
Automaten in Form von Software oder als digitale Schaltung realisiert.
Im Rahmen der Veranstaltung sollen die Grundlagen der
Modellierung mit Hilfe von Zustandsautomaten vermittelt werden. Hierzu
werden die Elemente und Arten von Automaten besprochen und anhand von
Beispielen verdeutlicht. Die Simulation und Realisierung solcher Automaten
soll unter Zuhilfenahme des Entwurfswerkzeuges Rhapsody der Fa. Telelogic
verdeutlicht werden.