Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Spezifikation eingebetteter Steuerungssysteme mit Z und Statecharts

 
: Klar, M.; Büssow, R.; Geisler, R.

Schnieder, E.; Abel, D. ; TU Braunschweig, Institut für Regelungs- und Automatisierungstechnik; VDI/VDE-Gesellschaft Meß- und Automatisierungstechnik -GMA-, Fachausschuß 1.8 "Methoden der Steuerungstechnik":
Entwurf komplexer Automatisierungssysteme. Methoden, Anwendungen und Tools auf der Basis von Petrinetzen und anderer formaler Beschreibungsmittel. 5. Fachtagung 1997
Braunschweig: IfRA, 1997
ISBN: 3-9803363-4-4
pp.545-567
Fachtagung Entwurf komplexer Automatisierungssysteme <5, 1997, Braunschweig>
German
Conference Paper
Fraunhofer ISST ()
eingebettetes Steuerungssystem; formale Spezifikationssprache; statechart; Z

Abstract
Wir beschreiben eine Technik zur Spezifikation eingebetteter Steuerungssysteme mit Z und Statecharts. Anhand der Spezifikation einer Lichtsignalanlagensteuerung werden die Grundkonzepte dieser integrierten Spezifikationstechnik erläutert. Eine Werkzeugumgebung zur Eingabe und Analyse von Spezifikationen wird vorgestellt.

: http://publica.fraunhofer.de/documents/PX-34463.html