Lade Daten...
iLearn
Cau-siegel-color-300

Vorlesung (4 SWS) + Übungen (2 SWS)

Vorlesung

AG Echtzeitsysteme und Eingebettete Systeme

Script

Link zum script

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 kontrollflussorientierten Sprachen Esterel, Statecharts und SCCharts;
  • Die datenflussorientierten Sprachen Lustre und SCADE;
  • Synthese von effizienter Hardware und Software;
    • Logische und konstruktive Semantik;
    • Kausalitätsanalyse.

Anmeldung

  • Studierendendatenbank: Eine Anmeldung zu dieser Veranstaltung ist über die StudiDB erforderlich
  • Anmeldungen zu Prüfungen finden gesondert statt
  • iLearn: Übungsabgaben, Korrekturen und Punktevergabe finden in diesem iLearn System statt.
  • E-Mail-Verteiler: 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 dort an. Bitte verwenden Sie Ihr hiesiges Universitätz-E-Mail-Account (STU) oder den Instituts-Account auch als E-Mail-Anschrift, also "stu1234@mail.uni-kiel.de" - statt "JensJensen@giga.de" etc.. Verwenden Sie diese Adresse insbesondere auch zum Senden auf der Mailingliste. (Erläuterung).

Klausur

  • Termin: 20.02.2017, 10:15 - 11:45 Uhr, Raum LMS2 - R.Ü1
  • Einsicht: 27.02.2017, 13:00 - 14:00 Uhr, CAP4 Raum 1110
  • 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