Professur Betriebssysteme





Entwurf von Software für eingebettete Systeme

Aktuelles
  • Bitte beachten Sie den Tausch zweier Prüfungsuhrzeiten!

Inhalt

Eingebettete Systeme sind häufig Echtzeitsysteme. Außerdem unterliegt für sie entwickelte Software oft sehr hohen Anforderungen an die Zuverlässigkeit. Deshalb finden in der Entwicklung spezielle Sprachen und Methoden Anwendung. Behandelt werden u.a. Grundlagen der Regelungstechnik, Ada, SPARK, PEARL, C-/C++-basierte Sprachen sowie Matlab/Simulink und UML-Profile.

Termine und Orte

Vorlesung: Dirk Müller
  donnerstags, 17.15 Uhr - 18.45 Uhr im Raum 1/368
Übung: Dirk Müller
  am 30.10.2009, 15.30 Uhr - 17.00 Uhr im Raum 1/368, ab 6.11.2009 freitags 9.15 Uhr - 10.45 Uhr im Raum 1/208A

Folien
Errata & Anmerkungen
  • 26.10.2009, Foliensatz 1: Mini-Korrekturen und Folie 28 sowie 2 Lit.-verweise eingefügt
  • 02.11.2009, Foliensatz 1: ausschließlich reaktives System als Begriff
  • 06.11.2009, Foliensatz 2: Mini-Korrekturen
  • 13.11.2009, Foliensatz 2: Folie 57, x- und y-Koordinate des Kreismittelpunktes vertauscht
  • 16.11.2009, Foliensatz 3: Mini-Korrekturen, Ergänzung auf Folie 18
  • 20.11.2009, Foliensatz 3: Mini-Korrekturen auf den Folien 16 und 28
  • 27.11.2009, Foliensatz 3: Mini-Korrekturen auf den Folien 37, 42 und 46
  • 15.01.2010, Foliensatz 6: Mini-Korrekturen auf den Folien 3, 4 und 19
  • 21.01.2010, Foliensatz 7: Mini-Korrekturen auf den Folien 12 und 16
  • 01.02.2010, Foliensatz 5: Mini-Korrektur auf Folie 13
  • 05.02.2010, Foliensatz 1: Echtzeit zu Funktionalität auf Folie 28
  • 05.02.2010, Foliensatz 10: Echtzeit zu Funktionalität auf Folie 6
Übung
Prüfungen

Die 30-minütigen Prüfungen finden am 26.02.2010 zu folgenden Uhrzeiten im Raum 1/336b statt.

  • 8.00 Uhr: 129037
  • 8.35 Uhr: 229049
  • 9.10 Uhr: 227889
  • 9.45 Uhr: 246015
  • 10.20 Uhr: 160205
  • 12.00 Uhr: 158138
  • 12.35 Uhr: 222459
  • 13.10 Uhr: 64358
  • 13.45 Uhr: 228927
  • 14.20 Uhr: 135821
  • 14.55 Uhr: 160250