Vorlesung: Safety-Critical Systems - Details

Allgemeine Informationen

Veranstaltungsname	Vorlesung: Safety-Critical Systems
Veranstaltungsnummer	INF-0335
Semester	SS 2023
Aktuelle Anzahl der Teilnehmenden	35
Heimat-Einrichtung	Embedded Systems
Veranstaltungstyp	Vorlesung in der Kategorie Lehre
Erster Termin	Dienstag, 18.04.2023 10:00 - 11:30, Ort: (1058 N)
Veranstaltung findet in Präsenz statt / hat Präsenz-Bestandteile	Ja
Hauptunterrichtssprache	deutsch

Lehrende

• Prof.Dr. Sebastian Altmeyer
• Dr.Ing. Alexander Stegmeier

Räume und Zeiten

(1058 N)

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

Donnerstag: 10:00 - 11:30, wöchentlich (8x)

Donnerstag, 15.06.2023, Dienstag, 20.06.2023 10:00 - 11:30

Studienbereiche

• Fakultät für Angewandte Informatik > Informatik

Modulzuordnungen

• Informatik M.Sc. Informatik, PO 2011, 17. Version (SS 2023) > M.Sc. Informatik (PO '11), Teilbereich Informatik - Rechnerkommunikation und Systemnahe Informatik > INF-0335 - Safety-Critical Systems > Safety-Critical Systems (Vorlesung)
• Informatik M.Sc. Informatik, PO 2018, 10. Version (SS 2023) > Wahlbereich Informatik > INF-0335 - Safety-Critical Systems > Safety-Critical Systems (Vorlesung)
• Wirtschaftsinformatik Masterstudiengang Wirtschaftsinformatik (PO 2017), 13. Version (SS 2023) > Modulgruppe C: Minor Informatik > INF-0335 - Safety-Critical Systems > Safety-Critical Systems (Vorlesung)
• Wirtschaftsinformatik Masterstudiengang Wirtschaftsinformatik (PO 2017), 13. Version (SS 2023) > Modulgruppe D: Major Informatik > INF-0335 - Safety-Critical Systems > Safety-Critical Systems (Vorlesung)
• Mathematik Masterstudiengang Mathematik PO 2013, 16. Version (SS 2023) > Master Mathematik E-I: Nebenfach Informatik > INF-0335 - Safety-Critical Systems > Safety-Critical Systems (Vorlesung)
• Informatik M.Sc. Informatik, PO 2018, 10. Version (SS 2023) > Technische Informatik > INF-0335 - Safety-Critical Systems > Safety-Critical Systems (Vorlesung)
• Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2018, 10. Version (SS 2023) > Technische Informatik > INF-0335 - Safety-Critical Systems > Safety-Critical Systems (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-0335 - Safety-Critical Systems > Safety-Critical Systems (Vorlesung)
• Wirtschaftsmathematik Masterstudiengang Wirtschaftsmathematik, 16. Version (SS 2023) > Modulgruppe D: Informatik [MastWiMa] > INF-0335 - Safety-Critical Systems > Safety-Critical Systems (Vorlesung)
• Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2018, 10. Version (SS 2023) > Wahlbereich Informatik und Multimedia > INF-0335 - Safety-Critical Systems > Safety-Critical Systems (Vorlesung)
• Wirtschaftsmathematik Masterstudiengang Wirtschaftsmathematik, 16. Version (SS 2023) > Modulgruppe E: Wahlbereich [MastWiMa] > INF-0335 - Safety-Critical Systems > Safety-Critical Systems (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-0335 - Safety-Critical Systems > Safety-Critical Systems (Vorlesung)
• Ingenieurinformatik M.Sc. Ingenieurinformatik, PO 2016, 14. Version (SS 2023) > M.Sc. Ingenieurinformatik - Wahlbereich Software und Systems Engineering / Technische Informatik und Adaptive Systeme > INF-0335 - Safety-Critical Systems > Safety-Critical Systems (Vorlesung)
• Ingenieurinformatik M.Sc. Ingenieurinformatik, PO 2016, 14. Version (SS 2023) > M.Sc. Ingenieurinformatik - Technische Informatik und Adaptive Systeme > INF-0335 - Safety-Critical Systems > Safety-Critical Systems (Vorlesung)
• Medizinische Informatik M.Sc. Medizinische Informatik, PO 2021, 4. Version (SS 2023) > Wahlbereich > INF-0335 - Safety-Critical Systems > Safety-Critical Systems (Vorlesung)
• Medizinische Informatik M.Sc. Medizinische Informatik, PO 2021, 4. Version (SS 2023) > Informatik > INF-0335 - Safety-Critical Systems > Safety-Critical Systems (Vorlesung)

Kommentar/Beschreibung

Inhalte:
- Fehlertoleranzanforderungen und deren zugrundeliegende Normen
- Ursachen und Effekte von Fehlern
- Entwurf und Analyse von Fehlertoleranzmechanismen
- Wiederholung von Wahrscheinlichkeitsrechnung und Kombinatorik
- Zuverlässigkeits-Blockdiagramme, Markovketten, Fehlerbäume
- Redundanztechniken und Fehlerkorrektur