[Technical Faculty]

Softwarespezifikationstechniken für verteilte Systeme: Statemate & SDL


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

Ort: Haus II, HO 2, Multimediaraum 321, 3. Stock
Termin: Freitags, Donnerstag, 13-15 ct.
Beginn: Sommersemester 2000
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


Serien

SDL

Institut für Telematik, Luebeck

Vorlesungen


Serien

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: Fri Sep 21 14:36:08 MET DST 2001