Sichere und zuverlässige Softwaresysteme
Wann und Wo
Vorlesung: Montag, 9-11, RUD 26, 1'305
Montag, 11-13 (14tgl./1), RUD 26, 1'305
Übung: Montag, 11-13 (14tgl./2), RUD 26, 1'305
Wer
Dozent: Prof. Grunske
Übung: Dipl.Inf. Simon Heiden
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 und Verfahren zur Erstellung von sicheren und zuverlässigen Systemen.
Terminplanung bis Semesterende (Änderungen möglich)
|
Mo, 9.00-11.00 |
|
Thema |
|
Mo, 11.00-13.00 |
|
Thema |
|
14.10.19 |
14.10.19 |
|||||
|
21.10.19 |
V | Einführung in die zuverlässigen und sicheren Softwaresysteme |
21.10.19 |
V | Sicherheits(Safety)-Theorie |
|
|
28.10.19 |
V | Sicherheits(Safety)-Riskoanalysetechniken (FFA, HAZOP) |
28.10.19 |
V | Sicherheits(Safety)-Riskoanalysetechniken (FFA, HAZOP) | |
|
04.11.19 |
V | Sicherheits(Safety)-Gefährdungsanalyse-techniken (FTA, FMEA) |
04.11.19 |
V | Sicherheits(Safety)-Gefährdungsanalyse-techniken (FTA, FMEA) | |
|
11.11.19 |
V | Sicherheits(Safety)-Gefährdungsanalyse-techniken (FTA, FMEA) |
11.11.19 |
Ü | Risikoanalysetechniken | |
| 18.11.19 | V | Sicherheits(Safety)-Entwurf und Zertifizierung von sicheren Systemen (Safety) | 18.11.19 | V |
Sicherheits(Safety)-Entwurf und Zertifizierung von sicheren Systemen (Safety) |
|
|
25.11.19 |
Frei |
25.11.19 |
Ü | Gefährdungsanalyse-techniken | ||
|
02.12.19 |
V | Gastvorlesung: „Model-based Safety Engineering“ Arne Nordmann, Bosch, Safety, Security and Privacy (CR, AEX4) |
02.12.19 |
V | Gastvorlesung: „Model-based Safety Engineering“ Arne Nordmann, Bosch, Safety, Security and Privacy (CR, AEX4) | |
|
09.12.19 |
V |
Gastvorlesung: „Funktionale Sicherheit in der KFZ Elektronik“ Tina Heimer, Mustafa Alshekh, Carmeq GmbH |
09.12.19 |
V |
Gastvorlesung: „Funktionale Sicherheit in der KFZ Elektronik“ Tina Heimer,Mustafa Alshekh, Carmeq GmbH |
|
| 16.12.19 | V |
Zuverlässigkeit–Theorie |
16.12.19 | V |
Zuverlässigkeit– Evaluation I |
|
|
06.01.20 |
Frei |
06.01.20 |
Frei | |||
|
13.01.20 |
V | Zuverlässigkeit– Evaluation II |
13.01.20 |
V | Zuverlässigkeit– Evaluation III | |
|
20.01.20 |
V | Zuverlässigkeit– Evaluation IV |
20.01.20 |
Ü | Zuverlässigkeitsevaluation I | |
|
27.01.20 |
V | Zuverlässigkeit–Hardware- vs. Softwarezuverlässigkeit |
27.01.20 |
V | Zuverlässigkeit - Entwicklung von zuverlässigen Systemen | |
|
03.02.20 |
V | Softwareperformanz - Theorie |
03.02.20 |
Ü | Zuverlässigkeitsevaluation II | |
|
10.02.20 |
V | Softwareperformanz - Modellierung, Entwurf von performanten Systemen |
10.02.20 |
V | Zusammenfassung und Q&A |
Moodle
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.
Klausurtermin (120 min): 18.02.2020 Raum 0'110 (Einlass 09:00 Klausurbegin 09:30)