Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage, sicherheitskritische Computersystemen, die strikten zeitlichen Anforderungen gehorchen müssen, zu konzipieren. Dies inkludiert das Verständnis und Arbeiten mit zeitabhängiger Information, Uhrensynchronisation, Echtzeitscheduling, Zeitanalyse und Echtzeitkommunikation. (fachliche und methodische Lernergebnisse)

Kognitive und praktische Lernergebnisse: Absolventen der Lehrveranstaltung sind in der Lage, zeitliche Anforderungen an Computersysteme zu bestimmen und Computersysteme mit Echtzeitanforderungen zu konstruieren.

Lernergebnisse betreffend Soziale Kompetenzen, Innovationskompetenz und Kreativität: Absolventen der LVA sind in der Lage, zuverlässige Echtzeitcomputersysteme zu konstruieren und die Zuverlässigkeit von Echtzeitapplikationen zu analysieren bzw. zu verbessern.

• 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

Präsentation der Inhalte in der Vorlesung.

ECTS-Breakdown: 1.5 ECTS = 37.5 Stunden; 24 Vorlesung, 12.5 Vor- und Nachbereitung, 1 Prüfung.

Prüfungstermine und Anmeldung zur Prüfung siehe LVA 182.713.

Schriftliche oder mündliche Prüfung.

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