Fachliche und Methodische Kenntnisse: Fundierte Kenntnisse über die Konstruktion und Modellierung von sicherheitskritischen Computersystemen, die strikten zeitlichen Anforderungen gehorchen müssen. Dies inkludiert das Verständnis und Arbeiten mit zeitabhängiger Information, Uhrensynchronisation, Echtzeitscheduling und Echtzeitkommunikation.

Kognitive und praktische Fertigkeiten: Analyse von zeitlichen Anforderungen an Computersysteme, Modellierung und Konstruktion von Computersystemen mit Echtzeitanforderungen.

Soziale Kompetenzen, Innovationskompetenz und Kreativität: Fähigkeit zur Konstruktion zuverlässiger Echtzeitcomputersysteme, Erhöhung der Zuverlässigkeit von Echtzeitapplikationen.

• Grundlagen: Echtzeitsysteme, Zeitabhängigkeit von Information, logische und temporale Ordnung
• Modellbildung von Echtzeitsystemen: Zustand und Ereignis, Komponenten, Interfaces, Echtzeitinformation
• Echtzeitkommunikation, Kommunikationsprotokolle für Echtzeitsysteme
• Uhrensynchronisation
• Fehlertoleranz in Echtzeitsystemen
• Echtzeitbetriebssysteme: Taskstruktur, Ressourcenmanagement, I/O, Scheduling, Worst-Case Zeitanalyse von Tasks
• Energieverbrauch und Energiemanagement von Echtzeitsystemen
• Design von Echtzeitsystemen: Architekturmodelle, Composability, Designprinzipien, Zertifizierung

Didaktisches Vorgehen: Präsentation der Inhalte in der Vorlesung.

ECTS-Breakdown: 2 ECTS = 50 Stunden; 24 Vorlesung, 25 Vor- und Nachbereitung, 1 Prüfung.

Mündliche Prüfung.

Inhalte aus den Modulen Grundlagen digitaler Systeme, Theoretische Informatik und Logik, Wahrscheinlichkeitstheorie und Stochastische Prozesse, Rechnerstrukturen und Betriebsysteme, Microcontroller und Betriebssysteme.