Die Beschreibung von Steuerwerken mit Hilfe von Statecharts hat gegenüber dem Entwurf
klassischer Steuerwerke den Vorteil, daß eine hierarchische Beschreibung von Steuerwerken
möglich ist. Zudem können Nebenläufigkeiten modelliert werden. Diese
Möglichkeiten bilden die Grundlage für einen graphischen Editor zur Beschreibung von
Steuerwerken. Aus dem Statechart-Formalismus wurde dazu eine Untermenge ausgewählt, die diese
Modellierungsmöglichkeiten beinhaltet und auf eine synthetisierbare Verhaltensbeschreibung
abbildbar ist. Dieser graphische Formalismus trägt den Namen FSMChart und stellt eine
Adaption von Statecharts speziell für den Entwurf von digitalen, synchronen Steuerwerken dar.
Inhalt:/ Content: Institut für Informatik
TU Bergakademie Freiberg
Gestaltung/ Layout: Webmaster
19. Februar 1997
