Willkommen auf der Heimatseite der Lehrveranstaltung Systeme hoher Sicherheit und Qualität im Wintersemester 2025/26!
Über die Veranstaltung
In dieser Veranstaltung geht es um Systeme hoher Sicherheit und Qualität. Dabei ist zuerst einmal die Frage zu klären, was überhaupt "Sicherheit" ist.
Die Veranstaltung beschäftigt sich mit der Frage, wie die Anforderung hoher Sicherheit und Qualität sich auf den Softwareenticklungsprozess auswirken, angefangen von den rechtlichen Grundlagen wie Normen und Standards, über Anforderungserhebung, Gefahrenanalyse bis hin zur Verifikation und Validation, d.h. der Frage wie ich konkret nachweisen kann, dass das entwickelte System die gestellten Anforderungen erfüllt.
Ein besonderer Schwerpunkt liegt dabei auf der formalen Korrektheit --- wie kann ich mit mathematischen Methoden beweisen, dass mein gesamtes System wirklich die Sicherheitsanforderungen erfüllt? Wecleh mathematischen Formalismen benötige ich dabei, und auf welchen Ebenen des Systementwurfs (Hardware, Software, Compiler, etc) kommen welche zum Einsatz?
Die Veranstaltung dient damit als Einführungsveranstaltung in diese Techniken, und versetzt Studierende in die Lage, vertiefende Veranstaltung aus diesem Themenkreis zu besuchen und erfolgreich zu absolvieren.
Termine
- Vorlesung/Übung: Mittwoch 10-12, MZH 1450; Mittwoch 12-14, MZH 1450.
Veranstalter
- Christoph Lüth (Vorlesung)
- Dieter Hutter (Vertretung Vorlesung)
VAK und weitere Daten
- Die VAK der Veranstaltung ist 03-IMAP-SHSQ.
- Der Wahlbereich ist Master-Aufbau, Profil SQ.
- Die Veranstaltung hat einem Umfang von 6 ECTS.