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 |
| 16.04.24 | V | keine Vorlesung | 16.04.24 | V | keine Vorlesung | |
|
23.04.24 |
V |
Gastvorlesung: „Model-based Safety Engineering“ Markus Schweizer, Bosch, Safety, Security and Privacy (CR/ADX1.1) |
23.04.24 |
V |
keine Vorlesung |
|
| 30.04.24 | V | Einführung in die zuverlässigen und sicheren Softwaresysteme | 30.04.24 | V | Sicherheits(Safety)-Theorie | |
| 07.05.24 | V |
Sicherheits(Safety)-Riskoanalysetechniken (FFA, HAZOP) |
07.05.24 | V | Sicherheits(Safety)-Riskoanalysetechniken (FFA, HAZOP) | |
| 14.05.24 | V | Sicherheits(Safety)-Gefährdungsanalyse-techniken (FTA, FMEA) | 14.05.24 | Ü |
Risikoanalysetechniken |
|
| 21.05.24 | V |
Gastvorlesung: „Funktionale Sicherheit in der KFZ Elektronik“ Mustafa Alshekh, CARIAD, Volkswagen-Konzern |
21.05.24 | V | Sicherheits(Safety)-Gefährdungsanalyse-techniken (FTA, FMEA) | |
| 28.05.24 | V | Sicherheits(Safety)-Gefährdungsanalyse-techniken (FTA, FMEA) | 28.05.24 | V | Sicherheits(Safety)-Entwurf und Zertifizierung von sicheren Systemen (Safety) | |
| 04.06.24 | V | Zuverlässigkeit–Theorie I | 04.06.24 | Ü | Gefährdungsanalyse | |
| 11.06.24 | V |
Zuverlässigkeit–Theorie I |
11.06.24 | V | Zuverlässigkeit– Evaluation I | |
| 18.06.24 | V | Zuverlässigkeit– Evaluation II | 18.06.24 | V | Zuverlässigkeit– Evaluation III | |
| 25.06.24 | V | Zuverlässigkeit–Hardware- vs. Softwarezuverlässigkeit | 25.06.24 | Ü | Zuverlässigkeitsevaluation I | |
| 02.07.24 | V | Zuverlässigkeit - Entwicklung von zuverlässigen Systemen | 02.07.24 | V | Softwareperformanz - Theorie | |
| 09.07.24 | V | Softwareperformanz - Modellierung, Entwurf von performanten Systemen | 09.07.24 | Ü | Zuverlässigkeitsevaluation II | |
|
16.07.24 |
V |
Softwarequelitätssicherung - Quantitative Architekturevaluation Zusammenfassung und Q&A |
16.07.24 |
Ü | 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):