General information

Course name	Lecture: Echtzeitsysteme
Course number	INF-0309
Semester	WS 2023/24
Current number of participants	32
Home institute	Embedded Systems
Courses type	Lecture in category Teaching
Next date	Wed., 13.12.2023 10:00 - 11:30, Room: (2013 N)
Online/Digitale Veranstaltung	Veranstaltung wird in Präsenz abgehalten.
Hauptunterrichtssprache	deutsch
ECTS points	8

Lecturers

Course location / Course dates

(2013 N)

Wednesday: 10:00 - 11:30, weekly (14x)
Thursday: 10:00 - 11:30, weekly (15x)

Fields of study

Fakultät für Angewandte Informatik > Informatik

Module assignments

Wirtschaftsinformatik Masterstudiengang Wirtschaftsinformatik (PO 2017), 14. Version valid from WS 2023/24 > Modulgruppe C: Minor Informatik > INF-0309 - Echtzeitsysteme > Echtzeitsysteme (Vorlesung)
Informatik M.Sc. Informatik, PO 2018, 11. Version valid from WS 2023/24 > Technische Informatik > INF-0309 - Echtzeitsysteme > Echtzeitsysteme (Vorlesung)
Medizinische Informatik M.Sc. Medizinische Informatik, 5. Version valid from WS 2023/24 > Wahlbereich > INF-0309 - Echtzeitsysteme > Echtzeitsysteme (Vorlesung)
Austauschstudium - FAI Austauschstudium FAI, 3. Version valid from WS 2023/24 > Fakultät für Angewandte Informatik - Master Level > INF-0309 - Echtzeitsysteme > Echtzeitsysteme (Vorlesung)
Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2017, 13. Version valid from SS 2023 > M.Sc. Informatik und Multimedia (PO '17), Teilbereich Informatik - Rechnerkommunikation und Systemnahe Informatik > INF-0309 - Echtzeitsysteme > Echtzeitsysteme (Vorlesung)
Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2018, 11. Version valid from WS 2023/24 > Technische Informatik > INF-0309 - Echtzeitsysteme > Echtzeitsysteme (Vorlesung)
Ingenieurinformatik M.Sc. Ingenieurinformatik, PO 2016, 15. Version valid from WS 2023/24 > M.Sc. Ingenieurinformatik - Technische Informatik und Adaptive Systeme > INF-0309 - Echtzeitsysteme > Echtzeitsysteme (Vorlesung)
Medizinische Informatik M.Sc. Medizinische Informatik, 5. Version valid from WS 2023/24 > Informatik > INF-0309 - Echtzeitsysteme > Echtzeitsysteme (Vorlesung)
Informatik M.Sc. Informatik, PO 2017, 13. Version valid from SS 2023 > M.Sc. Informatik (PO '17), Teilbereich Informatik - Rechnerkommunikation und Systemnahe Informatik > INF-0309 - Echtzeitsysteme > Echtzeitsysteme (Vorlesung)
Mathematik Masterstudiengang Mathematik PO 2013, 17. Version valid from WS 2023/24 > Master Mathematik E-I: Nebenfach Informatik > INF-0309 - Echtzeitsysteme > Echtzeitsysteme (Vorlesung)
Informatik M.Sc. Informatik, PO 2011, 18. Version valid from WS 2023/24 > M.Sc. Informatik (PO '11), Teilbereich Informatik - Rechnerkommunikation und Systemnahe Informatik > INF-0309 - Echtzeitsysteme > Echtzeitsysteme (Vorlesung)
Wirtschaftsinformatik Masterstudiengang Wirtschaftsinformatik (PO 2017), 14. Version valid from WS 2023/24 > Modulgruppe D: Major Informatik > INF-0309 - Echtzeitsysteme > Echtzeitsysteme (Vorlesung)
Wirtschaftsmathematik Masterstudiengang Wirtschaftsmathematik, 17. Version valid from WS 2023/24 > Modulgruppe D: Informatik [MastWiMa] > INF-0309 - Echtzeitsysteme > Echtzeitsysteme (Vorlesung)
Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2018, 11. Version valid from WS 2023/24 > Wahlbereich Informatik und Multimedia > INF-0309 - Echtzeitsysteme > Echtzeitsysteme (Vorlesung)
Wirtschaftsmathematik Masterstudiengang Wirtschaftsmathematik, 17. Version valid from WS 2023/24 > Modulgruppe E: Wahlbereich [MastWiMa] > INF-0309 - Echtzeitsysteme > Echtzeitsysteme (Vorlesung)
Informatik M.Sc. Informatik, PO 2018, 11. Version valid from WS 2023/24 > Wahlbereich Informatik > INF-0309 - Echtzeitsysteme > Echtzeitsysteme (Vorlesung)
Ingenieurinformatik M.Sc. Ingenieurinformatik, PO 2016, 15. Version valid from WS 2023/24 > M.Sc. Ingenieurinformatik - Wahlbereich Software und Systems Engineering / Technische Informatik und Adaptive Systeme > INF-0309 - Echtzeitsysteme > Echtzeitsysteme (Vorlesung)

Comment/Description

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.