Humboldt-Universität zu Berlin - Mathematisch-Naturwissenschaftliche Fakultät - Software Engineering

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ässigkeits­evaluation
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).