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

Sichere und zuverlässige Softwaresysteme

 


Covid-19 Information:

Die Veranstaltung findet statt. Sie wird als Online-Veranstaltung via Zoom durchgeführt. Details hierzu werden an alle via Agnes registrierten Teilnehmer*innen versendet.

 

Wann und Wo

Vorlesung: Dienstag, 13-15, Dienstag, 15-17 (14tgl./1)

Übung: Dienstag, 15-17 (14tgl./2)

Moodle-Kurs

Wer

Dozent: Prof. Lars 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)

Di, 13.00-15.00

 

Thema

 

Di, 15.00-17.00

 

Thema

13.04.21 V Einführung in die zuverlässigen und sicheren Softwaresysteme   13.04.21 V Sicherheits(Safety)-Theorie

20.04.21

V Sicherheits(Safety)-Riskoanalysetechniken (FFA, HAZOP)  

20.04.21

V Sicherheits(Safety)-Riskoanalysetechniken (FFA, HAZOP)
27.04.21 V Sicherheits(Safety)-Gefährdungsanalyse-techniken (FTA, FMEA)   27.04.21 V Sicherheits(Safety)-Gefährdungsanalyse-techniken (FTA, FMEA)
04.05.21 V Sicherheits(Safety)-Gefährdungsanalyse-techniken (FTA, FMEA)   04.05.21 V Sicherheits(Safety)-Gefährdungsanalyse-techniken (FTA, FMEA)
11.05.21 V Sicherheits(Safety)-Entwurf und Zertifizierung von sicheren Systemen (Safety)   11.05.21 V

Sicherheits(Safety)-Entwurf und Zertifizierung von sicheren Systemen (Safety)

18.05.21 Ü Risikoanalysetechniken   18.05.21 Ü Gefährdungsanalyse-techniken
25.05.21 V

Gastvorlesung:

„Model-based Safety Engineering“ Arne Nordmann, Bosch, Safety, Security and Privacy (CR, AEX4)
  25.05.21 V

Gastvorlesung:

„Model-based Safety Engineering“ Arne Nordmann, Bosch, Safety, Security and Privacy (CR, AEX4)
01.06.21 V Zuverlässigkeit–Theorie   01.06.21 V

Zuverlässigkeit– Evaluation I

08.06.21 V

Gastvorlesung:

„Funktionale Sicherheit in der KFZ Elektronik“  Mustafa Alshekh, CARIAD, Volkswagen-Konzern

  08.06.21 V

Gastvorlesung:

„Funktionale Sicherheit in der KFZ Elektronik“ Mustafa Alshekh, CARIAD, Volkswagen-Konzern

15.06.21 V Zuverlässigkeit– Evaluation II   15.06.21 V Zuverlässigkeit– Evaluation III
22.06.21 V Zuverlässigkeit– Evaluation IV   22.06.21 Ü Zuverlässigkeits­evaluation I
29.06.21 V Zuverlässigkeit–Hardware- vs. Softwarezuverlässigkeit   29.06.21 V Zuverlässigkeit - Entwicklung von zuverlässigen Systemen
06.07.21 V Softwareperformanz - Theorie   06.07.21 Ü Zuverlässigkeits­evaluation II

13.07.21

V Softwareperformanz - Modellierung, Entwurf von performanten Systemen  

13.07.21

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 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): 22.07.2021 um 09.00