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

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

V Dies academicus (Keine Vorlesung)  

14.10.19

V Dies academicus (Keine Vorlesung)

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

V 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

V Frei  

06.01.20

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