Synchrone Sprachen

Vertiefende Übung / Fortgeschrittenenpraktikum (4/8 SWS), Wintersemester 2008/09

Lehrstuhl für Echtzeitsysteme und Eingebettete Systeme

E-Mail-Verteiler: rt-prak

Projektbeschreibung: Trac

Vorbesprechungen: (alternativ)
Do. 17.07.2008, 13:30 Uhr, Audimax F
Di. 28.10.2008, 12:45 Uhr, CAP4- R.1118

Zeit: Mi, 16-18, Raum: CAP4 - R.1114; UnivIS: 4SWS, 8SWS
Dozent: Claus Traulsen

Das Praktikum wird angerechnet als:

Diplomstudiengang: Fortgeschrittenenpraktikum (4 oder 8 SWS)
Bachelor Studiengang: Aufbaumodul 5.3 - Fortgeschrittenenpraktikum (4 SWS)
Master Studiengang: Masterpraktikum (4 SWS)

Grundthematik des Praktikums kann auch als Studien-, Bachelor-, Master- oder Diplomarbeit bearbeitet werden. Weitere Infos dazu.

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.

Im Rahmen des Praktikums sollen verschiedene synchrone Sprachen (z.B. Esterel, Lustre, SCADE) verwendet werden, um reale eingebette Systeme zu steuern. Insbesondere sollen die verschiedenen Ausführungsarten synchroner Sprache (Software, als Hardware auf einem FPGA, mit einer virtuellen Maschine) verwendet werden.

Im ersten Teil des Praktikum sollen möglichst viele verschiedene Sprachen und Systeme ausprobiert werden. Im zweiten Teil, soll ein größeres Projektdefiniert werden und im Team bearbeitet werden.

Mögliche Systeme sind:

Lego Mindstorm (RCX und NXT)
PC zur Flippersteuerung
FPGA mit Legomotoren und -sensoren
Modelbahn

Folien:

Einführung synchrone Sprachen

Aufgaben:

Voraussetzungen

Vorkenntniss aus den Vorlesungen Modellbasierter Entwurf oder Synchrone Sprachen sind hilfreich aber keine explizite Voraussetzung. Zum Einstieg in die Thematik ist der Esterel-Primer gut geeignet. Damit sollte es möglich sein, die Aufgabe 7.3 aus der Vorlesung im letzten Semester zu bearbeiten.