Synchrone Sprachen
(Synchronous Languages)
Wintersemester 2005/06
Skript + Übungsaufgaben
(englisch), Mailarchiv des E-Mail-Verteilers v-realtimesystems
UnivIS
Weitere Angaben (incl. Zeit & Rauminformationen) zur Vorlesung
(4 SWS) und zu den Übungen
(2 SWS).
Dozenten
Reinhard
v. Hanxleden (Vorlesung)
Claus Traulsen (Übungen)
Inhalt
Typische eingebettete Systeme müssen kontinuierlich auf Eingaben aus
der Umwelt reagieren, und fallen damit in die Klasse der reaktiven
Systeme. Die Einschränkungen klassischer Programmiersprachen, wie
Java oder C, hinsichtlich der präzisen und auch formal analysierbaren
Beschreibung des Verhaltens reaktiver Systeme haben Anfang der 1980er
Jahre zur Entwicklung der Familie der synchronen
Programmiersprachen geführt.
In dieser Vorlesung werden behandelt:
- Die kontrollflussorientierte Sprache Esterel und Statecharts;
- Die datenflussorientierte Sprache Lustre;
- Synthese von effizienter Hardware und Software;
- Der Kiel Esterel Prozessor;
- Logische und konstruktive Semantik;
- Kausalitätsanalyse.
Diese Vorlesung ergänzt die zuletzt im SS 05 angebotene Vorlesung
Modellbasierter Entwurf und Verteilte Echtzeitsysteme, wobei
dessen Inhalte hier nicht vorausgesetzt werden. Der Besuch der
Vorlesung Synchrone Sprachen ist hingegen Voraussetzung für die
Teilnahme an einem im SS 06 angebotenen Seminar zum gleichen
Thema. Ebenfalls wird im SS 06 ein Fortgeschrittenenpraktikum
angeboten, für welches diese Vorlesung eine geeignete Vorbereitung
darstellt. Weiterhin sind verschiedene Themen für Studien- und
Diplomarbeiten in diesem Themenfeld zu vergeben.
Anmeldung
- Falls Sie in dieser Veranstaltung einen Schein
erwerben möchten,
oder zumindest auf den E-Mail-Verteiler dieser Vorlesung (für
die Bekanntgabe kurzfristige Terminänderungen etc.) aufgenommen werden
möchten, melden Sie sich bitte hier an.
- Für alle Übungsteilnehmer ist noch eine Anmeldung zur Übungs-Datenbank erforderlich.
- Die e-Mails, die an den Verteiler v-realtimesystems gingen, werden hier archiviert.
Literatur & Links
- Nicolas Halbwachs, Synchronous
programming of reactive systems, a tutorial and commented bibliography,
Tenth International Conference on Computer-Aided Verification, CAV'98,
Vancouver (B.C.), LNCS 1427, Springer Verlag, June 1998
- Gerard Berry, The
Foundations of Esterel, Proof, Language and Interaction: Essays in
Honour of Robin Milner, G. Plotkin, C. Stirling and M. Tofte, editors, MIT
Press, Foundations of Computing Series, 2000
- Reinhard v. Hanxleden, Modellierung Reaktiver Systeme -
Statecharts und Synchrone Sprachen, in: Peter Liggesmeyer and
Dieter Rombach (Hrsg.), Software Engineering für
Eingebettete Systeme, Spektrum Akademischer Verlag, 2005