Sichere und zuverlässige Softwaresysteme
Wann und Wo
Vorlesung: Dienstag, 13-15 Uhr, RUD 26, 0'313
Vorlesung: Dienstag, 15-17 Uhr (14tgl./1), RUD 26, 0'313
Übung: Dienstag, 15-17 Uhr (14tgl./2), RUD 26, 0'313
Wer
Dozent: Prof. Lars Grunske / Marc Carwehl, M.Sc.
Beschreibung und Aufbau der Lehrveranstaltung
In der Veranstaltung werden grundlegende Prinzipien und Techniken vermittelt, um die Zuverlässigkeit von Softwaresystemen zu verbessern und/oder zu garantieren.
Der spezielle Inhalt der Vorlesung sind Notationen und Verfahren zum Sicherheits-, Performanz- und Zuverlässigkeitsnachweis sowie Verfahren zur Erstellung von sicheren und zuverlässigen Systemen.
Terminplanung bis Semesterende (Änderungen möglich)
|
Di, 13.00-15.00 |
|
Thema |
|
Di, 15.00-17.00 |
|
Thema |
| 15.04.25 | V | keine Vorlesung | 15.04.25 | V | keine Vorlesung | |
|
22.04.25 |
V |
Gastvorlesung: „Model-based Safety Engineering“ Markus Schweizer, Bosch, Safety, Security and Privacy (CR/ADX1.1) |
22.04.25 |
V |
Einführung in die zuverlässigen und sicheren Softwaresysteme |
|
| 29.04.25 | V | Sicherheits(Safety)-Theorie | 29.04.25 | V | Sicherheits(Safety)-Riskoanalysetechniken (FFA, HAZOP) | |
| 06.05.25 | V |
Sicherheits(Safety)-Riskoanalysetechniken (FFA, HAZOP) |
06.05.25 | V | Sicherheits(Safety)-Gefährdungsanalyse-techniken (FTA, FMEA) | |
| 13.05.25 | V | Sicherheits(Safety)-Gefährdungsanalyse-techniken (FTA, FMEA) | 13.05.25 | Ü |
Risikoanalysetechniken |
|
| 20.05.25 | V |
Sicherheits(Safety)-Gefährdungsanalyse-techniken (FTA, FMEA) |
20.05.25 | V | Sicherheits(Safety)-Entwurf und Zertifizierung von sicheren Systemen (Safety) | |
| 27.05.25 | V | Zuverlässigkeit–Theorie I | 27.05.25 | Ü | Gefährdungsanalyse | |
| 04.06.24 | V | Zuverlässigkeit–Theorie I | 04.06.24 | Ü | Gefährdungsanalyse | |
| 10.06.25 | V |
Zuverlässigkeit–Theorie I |
10.06.25 | V | Zuverlässigkeit– Evaluation I | |
| 17.06.25 | V | Zuverlässigkeit– Evaluation II | 17.06.25 | V | Zuverlässigkeit–Hardware- vs. Softwarezuverlässigkeit | |
| 24.06.25 | V | Zuverlässigkeit - Entwicklung von zuverlässigen Systemen | 24.06.25 | Ü | Zuverlässigkeitsevaluation I | |
| 01.07.25 | V |
Gastvorlesung: „Funktionale Sicherheit in der KFZ Elektronik“ Mustafa Alshekh, CARIAD, Volkswagen-Konzern
|
01.07.25 | V |
Softwareperformanz - Theorie Softwareperformanz - Modellierung, Entwurf von performanten Systemen |
|
| 08.07.25 | V |
Gastvorlesung: „Causal theory and their use in analysis, verification, and validation for safety argumentation of automated driving.“ Ahmad Adee, BWM Group
|
08.07.25 | Ü | Zuverlässigkeitsevaluation II | |
|
15.07.25 |
V |
Softwarequelitätssicherung - Quantitative Architekturevaluation Zusammenfassung und Q&A |
15.07.25 |
Ü | Klausurvorbereitung |
Literatur
- Alessandro Birolini, Reliability Engineering, Springer Verlag Berlin Heidelberg 2010.
- Nancy G. Leveson, Safeware: System Safety and Computers. Addison-Wesley, 1995.
- Nancy G. Leveson, Engineering a Safer World: Systems Thinking Applied to Safety. MIT Press, 2011.
Voraussetzungen und Prüfung
Umfassende Kenntnisse im Software Engineering werden vorausgesetzt. Insbesondere allgemeine Qualitätssicherungsmaßnahmen sollten bekannt sein.
Für die Zulassung zur Prüfung ist ferner die Teilnahme am Übungsbetrieb verpflichtend. Insgesamt müssen 60% der Punkte erreicht werden.
Die Lehrveranstaltung wird mit einer 120-Minuten-Klausur geprüft. Die gesamten VL/UE Unterlagen sind als Hilfsmittel erlaubt. Neben einem nicht-programmierbarem Taschenrechner ist ein doppelseitig handschriftlich beschriebenes A4 Blatt als Hilfsmittel erlaubt.
Klausurtermin 1 (120 min):
Klausurtermin 2 (120 min):