Juniorprofessur Echtzeitsysteme

Vorlesung Echtzeitsysteme II

Kurzbeschreibung

Die LV "Echtzeitsysteme II" vertieft und erweitert die in der LV "Echtzeitsysteme I" erworbenen Kenntnisse. Theoretische Aspekte und Bezüge zum aktuellen Stand der Forschung spielen dabei eine größere Rolle als in der Grundlagen-Lehrveranstaltung.
  • Konzept der Globalzeit
  • Programmiersprachen für Echtzeitsysteme
  • Analyse von Programmausführungszeiten: Caches, Branch Prediction
  • Scheduling: Multiprozessorscheduling, Off-Line-Verfahren, Flexible Computations
  • Modellierung von Echtzeitsystemen mittels zeitbehafteter Petri-Netze
  • Synchrone Sprachen

Literatur

Vertiefende Literaturvorschläge werden in der LV gegeben.

Teilnehmer

Diplomstudiengänge Informatik und Angewandte Informatik (und natürlich interessierte Studenten "benachbarter" Studiengänge)

Abschluss

Informatik: mündliche Prüfung

Voraussetzungen

Echtzeitsysteme I und deren Voraussetzungen (Programmierungstechnik, Betriebssysteme, Rechnerarchitektur)

Organisation im WS 2008/09

Vorlesung Übung
Lehrkraft Robert Baumgartl Dirk Müller
Tag dienstags dienstags
Raum 1/367a 1/367a
Zeit 17.15 - 18.45 Uhr 19.00 - 20.30 Uhr

Hausaufgaben

Termin Aufgabe Lösung
21.10.08 Scheduling aperiodischer Jobs 01 Lösung
04.11.08 Scheduling aperiodischer Jobs 02 -
11.11.08 Flexible Berechnungen 01 -
18.11.08 Flexible Berechnungen 02 -
25.11.08 EZ-Programmiersprachen: PEARL -
09.12.08 Nichtblockierende Synchronisation -
16.12.08 EZ-Programmiersprachen: Ada -
20.01.09 Multiprozessorscheduling 01 -
27.01.09 Verifikation mit Spin 01 -
03.02.09 Verifikation mit Spin 02 -

Sonstiges