Echtzeitsysteme

Aktuelle Informationen

Kurzbeschreibung

Die LV "Echtzeitsysteme" baut auf die LV "Grundlagen echtzeitfähiger Systeme auf, jedoch ist ein Besuch auch ohne die Teilnahme an letzterer möglich (und sinnvoll): In den ersten beiden Vorlesungen wiederhole ich wesentliche Erkenntnisse aus der Grundlagenlehrveranstaltung.

Qualifikationsziele dieser Lehrveranstaltung sind u.a. ein tiefgreifendes Verständnis der Probleme und Verfahren zum Multiprozessorscheduling unter Echtzeitbedingungen, Kenntnisse zur systematischen Analyse und Konstruktion fehlertoleranter Rechensysteme, elementare Fertigkeiten zur Nutzung von Petrinetzen bei der Analyse echtzeitfähiger Systeme sowie Analysetechniken des Zeitverhaltens von Rechensystemen.

• Wiederholung wesentlicher Inhalte der LV "Grundlagen echtzeitfähiger Systeme"
• Einplanungstests für Uniprozessorscheduling
• Multiprozessorscheduling
• Modellierung und Analyse von Systemem mittels Petrinetzen
• zeitbehaftete Petrinetze>
• Grundlagen fehlertoleranter Systeme
• Grundlagen, Werkzeuge und Techniken der WCET-Analyse

Sie können die zum Modul (I-730) gehörende Beschreibung in der Moduldatenbank nachschlagen.

Vorlesungsunterlagen

[Teil 1: Einführung] (6 Folien/Seite)
[Teil 2: Multiprozessorscheduling] (6 Folien/Seite)
[Teil 2.5: Pfair-Scheduling] (6 Folien/Seite)
[Teil 3: Verläßliche Systeme] (6 Folien/Seite)
[Teil 4: Petrinetze] (6 Folien/Seite)
[Teil 6: WCET-Analyse] (6 Folien/Seite)

Aufgabenstellungen für das Praktikum und die Übung

Die folgende Tabelle enthält Aufgabenblätter, die in den entsprechenden Veranstaltungen gelöst werden sollen. Aufgaben, die mit einem Sternchen gekennzeichnet sind, übersteigen das Pensum und sind als Angebote für Studenten mit überdurchschnittlichem Interesse gedacht.

Weitere Quelltexte und Hilfen finden Sie hier.

Prüfungsorganisation

Zur Vorbereitung kann eine ältere Klausur genutzt werden.

Literaturempfehlungen

• Unterlagen der Basislehrveranstaltung Grundlagen echtzeitfähiger Systeme (zur Auffrischung)
  insbesondere das Echtzeitkompendium
• Jane Liu: Real-Time Systems. Prentice-Hall, 2000
• Sammlung der wichtigsten in der VL referenzierten Papiere (Authentifizierung erforderlich)
• Alan Burns, Andy Wellings: Real-Time Systems and Programming Languages. Addison-Wesley, 2009
• Dieter Zöbel: Echtzeitsysteme. Springer, 2008