Synchrone Sprachen

Vorlesung (4 SWS) + Übungen (2 SWS)
AG Echtzeitsysteme und Eingebettete Systeme
Sommersemester 2008

Skript + Übungsaufgaben (englisch)

UnivIS

Weitere Angaben (incl. Zeit & Rauminformationen) zur Vorlesung und zu den Übungen.

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 und SCADE;
• Synthese von effizienter Hardware und Software;
• Der Kiel Esterel Prozessor;
• Logische und konstruktive Semantik;
• Kausalitätsanalyse.

Ergänzend zu dieser Vorlesung bieten wir ein Seminar an. Weiterhin sind verschiedene Themen für studentische Abschlussarbeiten in diesem Themenfeld zu vergeben.

 

Klausurtermine

Zwischenklausur: 9. Juni
Endklausur: 22. Juli, 10:00 Uhr

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. Es wäre generell begrüßenswert, wenn Sie Ihr hiesiges Instituts-Account auch als E-Mail-Anschrift nutzen würden, also "<login>@informatik.uni-kiel.de" - statt "JensJensen@giga.de" etc. (Erläuterung).
• Ihren aktuellen Punktestand können Sie in der Punktedatenbank einsehen, die uns von der Arbeitsgruppe für Kommunikationssysteme zur Verfügung gestellt wird.

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
• Lokale Webseite zur Esterel-Programmierumgebung