Vorlesung: Real-Time Systems - Details

Allgemeine Informationen

Veranstaltungsname	Vorlesung: Real-Time Systems
Veranstaltungsnummer	INF-0309
Semester	WS 2025/26
Aktuelle Anzahl der Teilnehmenden	49
Heimat-Einrichtung	Embedded Systems
Veranstaltungstyp	Vorlesung in der Kategorie Lehre
Nächster Termin	Dienstag, 16.12.2025 14:00 - 15:30, Ort: (1058 N)
Veranstaltung findet in Präsenz statt / hat Präsenz-Bestandteile	Ja
Hauptunterrichtssprache	englisch
ECTS-Punkte	8

Lehrende

• Prof.Dr. Sebastian Altmeyer

Tutor/-innen

• Tim Braun
• Severin Brunner

Räume und Zeiten

(1058 N)

Montag: 10:00 - 11:30, wöchentlich (15x)

Dienstag: 14:00 - 15:30, wöchentlich (15x)

Studienbereiche

• Fakultät für Angewandte Informatik > Informatik

Modulzuordnungen

• Medizinische Informatik M.Sc. Medizinische Informatik, PO 2021, 8. Version gültig ab SS 2025 > Wahlbereich > INF-0309 - Echtzeitsysteme > Echtzeitsysteme (Vorlesung)
• Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2018, 13. Version gültig ab WS 2024/25 > Technische Informatik > INF-0309 - Echtzeitsysteme > Echtzeitsysteme (Vorlesung)
• Ingenieurinformatik M.Sc. Ingenieurinformatik, PO 2016, 18. Version gültig ab SS 2025 > M.Sc. Ingenieurinformatik - Technische Informatik und Adaptive Systeme > INF-0309 - Echtzeitsysteme > Echtzeitsysteme (Vorlesung)
• Wirtschaftsinformatik Masterstudiengang Wirtschaftsinformatik (PO 2017), 16. Version gültig ab WS 2024/25 > Modulgruppe D: Major Informatik > INF-0309 - Echtzeitsysteme > Echtzeitsysteme (Vorlesung)
• Medizinische Informatik M.Sc. Medizinische Informatik, PO 2021, 7. Version gültig ab WS 2024/25 > Wahlbereich > INF-0309 - Echtzeitsysteme > Echtzeitsysteme (Vorlesung)
• Austauschstudium - FAI Austauschstudium FAI, 7. Version gültig ab WS 2025/26 > Fakultät für Angewandte Informatik - Master Level > INF-0309 - Echtzeitsysteme > Echtzeitsysteme (Vorlesung)
• Ingenieurinformatik M.Sc. Ingenieurinformatik, PO 2016, 17. Version gültig ab WS 2024/25 > M.Sc. Ingenieurinformatik - Technische Informatik und Adaptive Systeme > INF-0309 - Echtzeitsysteme > Echtzeitsysteme (Vorlesung)
• Medizinische Informatik M.Sc. Medizinische Informatik, PO 2021, 9. Version gültig ab WS 2025/26 > Informatik > INF-0309 - Echtzeitsysteme > Echtzeitsysteme (Vorlesung)
• Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2018, 13. Version gültig ab WS 2024/25 > Wahlbereich Informatik und Multimedia > INF-0309 - Echtzeitsysteme > Echtzeitsysteme (Vorlesung)
• Mathematik Masterstudiengang Mathematik PO 2013, 19. Version gültig ab WS 2024/25 > Master Mathematik E-I: Nebenfach Informatik > INF-0309 - Echtzeitsysteme > Echtzeitsysteme (Vorlesung)
• Wirtschaftsmathematik Masterstudiengang Wirtschaftsmathematik, 19. Version gültig ab WS 2024/25 > Modulgruppe E: Wahlbereich [MastWiMa] > INF-0309 - Echtzeitsysteme > Echtzeitsysteme (Vorlesung)
• Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2017, 13. Version gültig ab SS 2023 > M.Sc. Informatik und Multimedia (PO '17), Teilbereich Informatik - Rechnerkommunikation und Systemnahe Informatik > INF-0309 - Echtzeitsysteme > Echtzeitsysteme (Vorlesung)
• Ingenieurinformatik M.Sc. Ingenieurinformatik, PO 2016, 18. Version gültig ab SS 2025 > M.Sc. Ingenieurinformatik - Wahlbereich Software und Systems Engineering / Technische Informatik und Adaptive Systeme > INF-0309 - Echtzeitsysteme > Echtzeitsysteme (Vorlesung)
• Informatik M.Sc. Informatik, PO 2018, 14. Version gültig ab SS 2025 > Wahlbereich Informatik > INF-0309 - Echtzeitsysteme > Echtzeitsysteme (Vorlesung)
• Mathematics and Computer Science Master's Programme Mathematics and Computer Science PO 2024, 1. Version gültig ab WS 2025/26 > B. Computer Science > INF-0309 - Echtzeitsysteme > Echtzeitsysteme (Vorlesung)
• Informatik M.Sc. Informatik, PO 2018, 15. Version gültig ab WS 2025/26 > Wahlbereich Informatik > INF-0309 - Echtzeitsysteme > Echtzeitsysteme (Vorlesung)
• Wirtschaftsinformatik Masterstudiengang Wirtschaftsinformatik (PO 2017), 17. Version gültig ab SS 2025 > Modulgruppe C: Minor Informatik > INF-0309 - Echtzeitsysteme > Echtzeitsysteme (Vorlesung)
• Wirtschaftsinformatik Masterstudiengang Wirtschaftsinformatik (PO 2017), 16. Version gültig ab WS 2024/25 > Modulgruppe C: Minor Informatik > INF-0309 - Echtzeitsysteme > Echtzeitsysteme (Vorlesung)
• Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2018, 14. Version gültig ab SS 2025 > Wahlbereich Informatik und Multimedia > INF-0309 - Echtzeitsysteme > Echtzeitsysteme (Vorlesung)
• Ingenieurinformatik M.Sc. Ingenieurinformatik, PO 2016, 19. Version gültig ab WS 2025/26 > M.Sc. Ingenieurinformatik - Technische Informatik und Adaptive Systeme > INF-0309 - Echtzeitsysteme > Echtzeitsysteme (Vorlesung)
• Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2018, 14. Version gültig ab SS 2025 > Technische Informatik > INF-0309 - Echtzeitsysteme > Echtzeitsysteme (Vorlesung)
• Medizinische Informatik M.Sc. Medizinische Informatik, PO 2021, 7. Version gültig ab WS 2024/25 > Informatik > INF-0309 - Echtzeitsysteme > Echtzeitsysteme (Vorlesung)
• Wirtschaftsmathematik Masterstudiengang Wirtschaftsmathematik, 20. Version gültig ab SS 2025 > Modulgruppe D: Informatik [MastWiMa] > INF-0309 - Echtzeitsysteme > Echtzeitsysteme (Vorlesung)
• Wirtschaftsinformatik Masterstudiengang Wirtschaftsinformatik (PO 2017), 17. Version gültig ab SS 2025 > Modulgruppe D: Major Informatik > INF-0309 - Echtzeitsysteme > Echtzeitsysteme (Vorlesung)
• Wirtschaftsmathematik Masterstudiengang Wirtschaftsmathematik, 21. Version gültig ab WS 2025/26 > Modulgruppe D: Informatik [MastWiMa] > INF-0309 - Echtzeitsysteme > Echtzeitsysteme (Vorlesung)
• Informatik M.Sc. Informatik, PO 2018, 13. Version gültig ab WS 2024/25 > Wahlbereich Informatik > INF-0309 - Echtzeitsysteme > Echtzeitsysteme (Vorlesung)
• Wirtschaftsinformatik Masterstudiengang Wirtschaftsinformatik (PO 2017), 18. Version gültig ab WS 2025/26 > Modulgruppe D: Major Informatik > INF-0309 - Echtzeitsysteme > Echtzeitsysteme (Vorlesung)
• Informatik M.Sc. Informatik, PO 2018, 14. Version gültig ab SS 2025 > Technische Informatik > INF-0309 - Echtzeitsysteme > Echtzeitsysteme (Vorlesung)
• Wirtschaftsmathematik Masterstudiengang Wirtschaftsmathematik, 21. Version gültig ab WS 2025/26 > Modulgruppe E: Wahlbereich [MastWiMa] > INF-0309 - Echtzeitsysteme > Echtzeitsysteme (Vorlesung)
• Austauschstudium - FAI Austauschstudium FAI, 6. Version gültig ab SS 2025 > Fakultät für Angewandte Informatik - Master Level > INF-0309 - Echtzeitsysteme > Echtzeitsysteme (Vorlesung)
• Mathematik Masterstudiengang Mathematik PO 2013, 20. Version gültig ab SS 2025 > Master Mathematik E-I: Nebenfach Informatik > INF-0309 - Echtzeitsysteme > Echtzeitsysteme (Vorlesung)
• Informatik M.Sc. Informatik, PO 2017, 13. Version gültig ab SS 2023 > M.Sc. Informatik (PO '17), Teilbereich Informatik - Rechnerkommunikation und Systemnahe Informatik > INF-0309 - Echtzeitsysteme > Echtzeitsysteme (Vorlesung)
• Wirtschaftsmathematik Masterstudiengang Wirtschaftsmathematik, 20. Version gültig ab SS 2025 > Modulgruppe E: Wahlbereich [MastWiMa] > INF-0309 - Echtzeitsysteme > Echtzeitsysteme (Vorlesung)
• Data Science Master's Programme Data Science, 1. Version gültig ab WS 2025/26 > B. Advanced Data Science Methods > INF-0309 - Echtzeitsysteme > Echtzeitsysteme (Vorlesung)
• Ingenieurinformatik M.Sc. Ingenieurinformatik, PO 2016, 17. Version gültig ab WS 2024/25 > M.Sc. Ingenieurinformatik - Wahlbereich Software und Systems Engineering / Technische Informatik und Adaptive Systeme > INF-0309 - Echtzeitsysteme > Echtzeitsysteme (Vorlesung)
• Austauschstudium - FAI Austauschstudium FAI, 4. Version gültig ab SS 2024 > Fakultät für Angewandte Informatik - Master Level > INF-0309 - Echtzeitsysteme > Echtzeitsysteme (Vorlesung)
• Wirtschaftsmathematik Masterstudiengang Wirtschaftsmathematik, 19. Version gültig ab WS 2024/25 > Modulgruppe D: Informatik [MastWiMa] > INF-0309 - Echtzeitsysteme > Echtzeitsysteme (Vorlesung)
• Informatik M.Sc. Informatik, PO 2011, 18. Version gültig ab WS 2023/24 > M.Sc. Informatik (PO '11), Teilbereich Informatik - Rechnerkommunikation und Systemnahe Informatik > INF-0309 - Echtzeitsysteme > Echtzeitsysteme (Vorlesung)
• Mathematik Masterstudiengang Mathematik PO 2013, 21. Version gültig ab WS 2025/26 > Master Mathematik E-I: Nebenfach Informatik > INF-0309 - Echtzeitsysteme > Echtzeitsysteme (Vorlesung)
• Wirtschaftsinformatik Masterstudiengang Wirtschaftsinformatik (PO 2017), 18. Version gültig ab WS 2025/26 > Modulgruppe C: Minor Informatik > INF-0309 - Echtzeitsysteme > Echtzeitsysteme (Vorlesung)
• Medizinische Informatik M.Sc. Medizinische Informatik, PO 2021, 9. Version gültig ab WS 2025/26 > Wahlbereich > INF-0309 - Echtzeitsysteme > Echtzeitsysteme (Vorlesung)
• Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2018, 15. Version gültig ab WS 2025/26 > Technische Informatik > INF-0309 - Echtzeitsysteme > Echtzeitsysteme (Vorlesung)
• Austauschstudium - FAI Austauschstudium FAI, 5. Version gültig ab WS 2024/25 > Fakultät für Angewandte Informatik - Master Level > INF-0309 - Echtzeitsysteme > Echtzeitsysteme (Vorlesung)
• Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2018, 15. Version gültig ab WS 2025/26 > Wahlbereich Informatik und Multimedia > INF-0309 - Echtzeitsysteme > Echtzeitsysteme (Vorlesung)
• Informatik M.Sc. Informatik, PO 2018, 13. Version gültig ab WS 2024/25 > Technische Informatik > INF-0309 - Echtzeitsysteme > Echtzeitsysteme (Vorlesung)
• Ingenieurinformatik M.Sc. Ingenieurinformatik, PO 2016, 19. Version gültig ab WS 2025/26 > M.Sc. Ingenieurinformatik - Wahlbereich Software und Systems Engineering / Technische Informatik und Adaptive Systeme > INF-0309 - Echtzeitsysteme > Echtzeitsysteme (Vorlesung)
• Informatik M.Sc. Informatik, PO 2018, 15. Version gültig ab WS 2025/26 > Technische Informatik > INF-0309 - Echtzeitsysteme > Echtzeitsysteme (Vorlesung)
• Medizinische Informatik M.Sc. Medizinische Informatik, PO 2021, 8. Version gültig ab SS 2025 > Informatik > INF-0309 - Echtzeitsysteme > Echtzeitsysteme (Vorlesung)

Kommentar/Beschreibung

Echtzeitsysteme sind Computer Systeme, deren Korrektheit nicht nur über das korrekte Ergebnis einer Berechnung, sondern auch über das korrekte Zeitverhalten definiert wird. Vereinfacht gesagt: Wenn ein eingebettetes System zu spät reagiert, ist es genauso unbrauchbar, wie wenn es gar nicht oder falsch reagiert hätte. Ein Airbag zum Beispiel sollte aufgehen, bevor der Kopf des Fahrers auf das Lenkrad knallt. Ein selbstfahrendes Fahrzeug muss ebenso rechtzeitig autonom bremsen, bevor ein Unfall geschehen ist, und eine Kaffeemaschine sollte aufhören Kaffee auszuschenken, bevor die Tasse überläuft.

In dieser Vorlesung beschäftigen wir uns mit dem Zeitverhalten eben solcher eingebetteter Echtzeitsysteme. Wir lernen wie wir das Zeitverhalten dieser Systeme beeinflussen und validieren können und wir lernen, welchen Einfluss verschiedene Entwurfsentscheidungen auf das Zeitverhalten haben.