[Technical Faculty]

Softwarespezifikationstechniken für verteilte Systeme: Statemate & SDL


Vorlesung & Übungen: Sommersemester 2001, Teleteaching Vorlesung, zusammen mit dem Institut für Telematik, Lübeck
Veranst: 2+2 stündig

Ort: Haus II, HO 2, Multimediaraum 321, 3. Stock
Termin: Freitags, 09:45.
Beginn: 20.4.01
Fachgebiet: technische Informatik
Zielgruppe: Studierende im Hauptstudium

Inhalt

Reaktive Systeme, also Systeme die ständig mit ihrer Umgebung interagieren, sind oft von gigantischer Größe, Ihre notorischen Komplexität erfordert systematischen und toolgestützten Entwurf ohne den katastrophale Fehler, man denke nur an verschiedene fehlgeschlagene Marsmissionen der NASA oder den Absturz der Ariane 5, unvermeidbar sind. Um solche Fehler zu vermeiden, verwendet man heutzutage graphische Entwurfssprachen und deren Designtools, die folgende Softwaretechniken unterstützen:

Die Vorlesung behandelt zwei Hauptvertreter dieser Sprachen, SDL und Statecharts. Die Sprache SDL (Specification and Description Language) hat sich in der Industrie weitgehend beim formalen Entwurf von Telekommunikationssoftware, insbesondere bei der Protokollentwicklung, durchgesetzt. Statecharts bzw., das Tool Statemate ist die wichtigste Spezifikationssprache für eingebettete Echtzeitsysteme. Sie wird unter anderem eingesetzt in der Automobil-, Flugzeug- und Verkehrsleitindustrie.


Statemate

Vorlesungen


Gesamte Vorlesung


Serien

SDL

Institut für Telematik, Luebeck

Vorlesungen

siehe Vorlesungsseite in Luebeck

Serien

siehe Uebungsseite in Luebeck

References

[1]
Jan Ellsberger, Dieter Hogrefe, and Armadeo Sarma. SDL. Prentice Hall, 1997.

[2]
David Harel and Michal Politi. Modeling Reactive Systems with Statecharts. McGraw-Hill, 1998.

Maintained by: Martin Steffen
Last modified: Tue Sep 18 07:59:47 MET DST 2001