Modulcode: | MS1102 |
Englische Bezeichnung: | Synchronous Languages |
Modulverantwortliche(r): | Prof. Dr. Reinhard von Hanxleden |
Turnus: | unregelmäßig (SS08 WS09/10 WS11/12 WS13/14 SS15) |
Präsenzzeiten: | 4V 2Ü |
ECTS: | 8 |
Workload: | 240 Std. |
Dauer: | ein Semester |
Modulkategorien: | WI (MSc Inf (15)) WI (MEd Inf) WPI (MEd Inf) IG (MSc Inf) MV (MSc Inf) |
Lehrsprache: | Englisch |
Voraussetzungen: |
Synchrone Sprachen erlauben die präzise, abstrakte Programmierung reaktiver Systeme, und sind aufgrund ihrer formal begründeten Semantik insbesondere für den Bereich sicherheitskritischer Echtzeitsysteme geeignet. In dieser Vorlesung werden behandelt: das synchrone Ausführungsmodell, Konstruktivität, die Sprachen Esterel und Lustre, Statecharts, HW/SW-Synthese, reaktive Prozessoren.
Die Studierenden sollen ein solides Verständnis des synchronen Ausführungsmodells erwerben. Weiterhin soll am Beispiel verschiedener synchroner Sprachen, primär der Sprache Esterel, der Einsatz synchroner Sprachen im Entwurf reaktiver Systeme erlernt werden. Hierzu gehört auch ein Verständnis der erforderlichen Analyse- und Syntheseverfahren und deren theoretischer Grundlagen.
Keine.
Schriftliche Klausur am Ende der Vorlesung. Die Zulassung setzt die regelmäßige und erfolgreiche Bearbeitung der Hausaufgaben voraus, d.h. mindestens 50% aller Hausaufgabenpunkte müssen erreicht werden. Nötig für das Bestehen ist das Erreichen von 50% der Klausurpunkte.
http://www.informatik.uni-kiel.de/rtsys/teaching/
Dieses Modul kann auch im Wahlpflichtbereich des Bachelorstudiengangs Informatik gehört werden.
Das Modul konnte bis WS13/14 auch für den Bereich Theoretische Grundlagen eingebracht werden.