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

Sichere und zuverlässige Softwaresysteme


 

Wann und Wo

Vorlesung: Dienstag, 13-15 Uhr, RUD 26, 0'313
Vorlesung: Dienstag, 15-17 Uhr (14tgl./1), RUD 26, 0'313
Übung: Dienstag, 15-17 Uhr (14tgl./2), RUD 26, 0'313

Moodle-Kurs

Wer

Dozent: Prof. Lars Grunske / Marc Carwehl, M.Sc.

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 sowie 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

15.04.25 V keine Vorlesung   15.04.25 V keine Vorlesung

22.04.25

V

Gastvorlesung:

„Model-based Safety Engineering“ Markus Schweizer, Bosch, Safety, Security and Privacy (CR/ADX1.1)
 

22.04.25

V

Einführung in die zuverlässigen und sicheren Softwaresysteme

29.04.25 V Sicherheits(Safety)-Theorie   29.04.25 V Sicherheits(Safety)-Riskoanalysetechniken (FFA, HAZOP)
06.05.25 V

Sicherheits(Safety)-Riskoanalysetechniken (FFA, HAZOP)

  06.05.25 V Sicherheits(Safety)-Gefährdungsanalyse-techniken (FTA, FMEA)
13.05.25 V Sicherheits(Safety)-Gefährdungsanalyse-techniken (FTA, FMEA)   13.05.25 Ü

Risikoanalysetechniken

20.05.25 V

Sicherheits(Safety)-Gefährdungsanalyse-techniken (FTA, FMEA)

  20.05.25 V Sicherheits(Safety)-Entwurf und Zertifizierung von sicheren Systemen (Safety)
27.05.25 V Zuverlässigkeit–Theorie I   27.05.25 Ü Gefährdungsanalyse
04.06.24 V Zuverlässigkeit–Theorie I   04.06.24 Ü Gefährdungsanalyse
10.06.25 V

Zuverlässigkeit–Theorie I

  10.06.25 V Zuverlässigkeit– Evaluation I
17.06.25 V Zuverlässigkeit– Evaluation II   17.06.25 V Zuverlässigkeit–Hardware- vs. Softwarezuverlässigkeit
24.06.25 V Zuverlässigkeit - Entwicklung von zuverlässigen Systemen   24.06.25 Ü Zuverlässigkeits­evaluation I
01.07.25 V

Gastvorlesung:

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

 

  01.07.25 V

Softwareperformanz - Theorie

Softwareperformanz - Modellierung, Entwurf von performanten Systemen

08.07.25 V

Gastvorlesung:

„Causal theory and their use in analysis, verification, and validation for safety argumentation of automated driving.“ Ahmad Adee, BWM Group

 

  08.07.25 Ü Zuverlässigkeits­evaluation II

15.07.25

V

Softwarequelitätssicherung - Quantitative Architekturevaluation

Zusammenfassung und Q&A

 

15.07.25

Ü Klausurvorbereitung 

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. Neben einem nicht-programmierbarem Taschenrechner ist ein doppelseitig handschriftlich beschriebenes A4 Blatt als Hilfsmittel erlaubt. 

Klausurtermin 1 (120 min):

Klausurtermin 2 (120 min):