Klar, M.M.KlarBüssow, R.R.BüssowGeisler, R.R.Geisler2022-03-092022-03-091997https://publica.fraunhofer.de/handle/publica/329082Wir 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.deeingebettetes Steuerungssystemformale SpezifikationssprachestatechartZ004conference paper