Sichere und zuverlässige Softwaresysteme
Wann und Wo
Vorlesung: Mittwoch, 11-13 Uhr, RUD 26, 0'310
Mittwoch, 13-15 Uhr (14tgl./1), RUD 26, 0'310
Übung: Mittwoch, 13-15 Uhr (14tgl./2), RUD 26, 0'310
Wer
Dozent: Prof. Grunske
Beschreibung und Aufbau der Lehrveranstaltung
Diese Lehrveranstaltung führt in wichtige Aspekte der Entwicklung und Prüfung von Systemen ein, bei denen Sicherheit, Performance und Zuverlässigkeit eine besondere Rolle spielt. Sicherheit wird dabei sowohl im Sinne von Informationssicherheit (Security), als auch von technischer Sicherheit (Safety) verstanden. Die Lehrveranstaltung ist so aufgebaut, dass zuerst Grundlagen und Theorie zu Zuverlässigkeit, Safety, Security und Performance eingeführt und dann spezielle Methoden und Bewertungsmodelle vorgestellt und geübt werden.
Terminplanung bis Semesterende (Änderungen möglich)
| Mi, 11.00-13.00 | Thema | Mi, 13.00-15.00 | Thema | |||
|---|---|---|---|---|---|---|
| 14.10.15 | V | Einführung in die zuverlässigen und sicheren Softwaresysteme | 14.10.15 | V | Sicherheits(Safety)-Theorie | |
| 21.10.15 | V | Sicherheits(Safety)-Riskoanalysetechniken (FFA, HAZOP) | 21.10.15 | V | Sicherheits(Safety)-Gefährdungsanalyse-techniken (FTA, FMEA) | |
| 28.10.15 | V | Praxisvorlesung: Modelbasierte Sicherheitsanalysetechniken in der Praxis, Berhard Kaiser, Berner & Mattner Systemtechnik GmbH | 28.10.15 | Ü | Risikoanalysetechniken | |
| 04.11.15 | V | Sicherheits(Safety)-Entwurf und Zertifizierung von sicheren Systemen (Safety) | 04.11.15 | V | Zuverlässigkeit - Theorie | |
| 11.11.15 | V | Praxisvorlesung, Testmanagement in der Praxis, Holger Schlingloff, HU-Berlin und Fraunhofer FOKUS | 11.11.15 | Ü | Gefährdungsanalyse-techniken | |
| 18.11.15 | V | Zuverlässigkeit - Test-Theorie | 18.11.15 | V | Zuverlässigkeit – Funktions-orientierter Test | |
| 25.11.15 | V | Zuverlässigkeit- Kontrollflussorientierter Test | 25.11.15 | V | Zuverlässigkeit - Datenflussorientierter Test | |
| 02.12.15 | V |
Praxisvorlesung: 1. Carl-Hans Strudthoff, HWR Berlin; 2. "Fehlermanagement in Großprojekten", Mario Friske, T-Systems International GmbH |
02.12.15 | Ü | Test-Techniken (Kontrollflussorientierter Test) | |
| 09.12.15 | V | Zuverlässigkeit - Debugging | 09.12.15 | V | Zuverlässigkeit - Statische Code-Analyse | |
| 16.12.15 | V | Zuverlässigkeit - Spezielle Testtechniken | 16.12.15 | Ü | Test-Techniken (Datenflussorientierter Test) | |
| 06.01.16 | V | Zuverlässigkeit - Evaluation | 06.01.16 | V | Zuverlässigkeit - Hardware- vs. Softwarezuverlässigkeit | |
| 13.01.16 | V | Software Model Checking I | 13.01.16 | Ü | Statische Code-Analyse und Debugging | |
| 20.01.16 | V | Zuverlässigkeit - Entwicklung von zuverlässigen Systemen | 20.01.16 | V | Software Model Checking II | |
| 27.01.16 | V | Sicherheits(Security) - Theorie | 27.01.16 | V | Sicherheits(Security) - Entwurf und Zertifizierung von sicheren Systemen (Security) | |
| 03.02.16 | V | Softwareperformanz - Theorie, Softwareperformanz-Modellierung | 03.02.16 | Ü | Zuverlässigkeitsevaluation | |
| 10.02.16 | V | Softwareperformanz - Entwurf von performanten Systemen | 10.02.16 | V | Zusammenfassung und Q&A |
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 möglichen Punkte erreicht werden..
Die Lehrveranstaltung wird mit einer mündlichen Prüfung geprüft (22./23.2.2015, Anmeldung innerhalb der üblichen Fristen bei Birgit Heene, RUD25 4.417).