Hasso-Plattner-Institut Potsdam Operating Systems and Middleware Group at HPI University of Potsdam, Germany
Operating Systems and Middleware Group at HPI

Software Reliability Engineering

Summer Semester 2018

Prof. Dr. Andreas Polze

Daniel Richter
Lukas Pirl
Lena Feinbube

Ein Softwaresystem ist zuverlässig, wenn es seinen Dienst auf eine vertrauenswürdige Weise erbringt. Softwarezuverlässigkeit gewinnt mehr und mehr an Bedeutung, da Software in unserem Leben allgegenwärtig und gleichzeitig immer komplexer wird. Moderne Softwaresysteme gewinnen nicht nur an Größe, sondern auch an Komplexität durch zusätzliche Abstraktionsschichten, Interaktion mit verschiedenen Komponenten, Nebenläufigkeit und andere Quellen von Nicht-Determinismus.

Diese Vorlesung stellt den Stand der Technik im Bereich der Softwarezuverlässigkeit vor, mit einem starken praktischen Fokus auf Fallstudien und realitätsnahen, großtechnischen Softwaresystemen. Zu den behandelten Themen gehören:

  • Grundlagen
    • Dependability Threats, Dependability Attributes, Dependability Means
    • Software Fault, Timing, and Consistency Models
  • Fault Prevention
    • Processes for dependable software design
    • Development practices
  • Fault Tolerance
    • Patterns for fault tolerance and detection
    • Distributed systems: theory and applications
    • Fault tolerance in operating systems
  • Fault Removal and Forecasting
    • Formal methods
    • Testing and Debugging
  • Fault Forecasting
    • Fault injection
    • Dependability modelling and analysis
  • Discussion of Case Studies and Postmortems from Practice

Große Teile der Zeit verbringen wir mit praktischer Projektarbeit in kleinen Teams. Im Rahmen eines Codierungsprojektes wird eine Anwendung fehlertolerant gemacht und anschließend durch Fehlerinjektion ausgewertet. Die praktische Projektarbeit wird als Wettbewerb konzipiert und erstreckt sich über das gesamte Semester.

Organisation

Umfang: 4 Semesterwochenstunden (6 benotete ECTS-Punkte)

Vorlesung/Projekt: Mittwochs, 11.00–12.30 Uhr in A-2.2, Donnerstags 13.30–15.00 Uhr in H-2.58

Module (SO2010): OSIS, SAMT, ISAE

Leistungserfassung: Die Vorlesung wird von einer Übung/einem Projekt begleitet, deren erfolgreiche Teilnahme Voraussetzung für die Prüfungszulassung ist. Die Leistungserfassung erfolgt Rahmen einer mündlichen Prüfung.

Termine & Materialien

Mi 11. April 2018 Einführungsveranstaltung (11.00 Uhr, Raum A-2.2) »Folien
Do, 12. April 2018 frei
Mi, 18. April 2018 Symposium on Future Trends in Service-Oriented Computing
Do, 19. April 2018 Symposium on Future Trends in Service-Oriented Computing
Mi, 25. April 2018 Dependability Fundamentals »Folien, Einteilung Projektgruppen
Do, 26. April 2018 Projektarbeit
Mi, 02. Mai 2018 Vorstellung Übung 1 »Übungsblatt
Do, 03. Mai 2018 Projektarbeit
Mi, 09. Mai 2018
Do, 10. Mai 2018 Himmelfahrt
Mi, 16. Mai 2018
Do, 17. Mai 2018 Projektarbeit
Mi, 23. Mai 2018
Do, 24. Mai 2018 Projektarbeit
Mi, 30. Mai 2018
Do, 31. Mai 2018 Projektarbeit
Mi, 06. Juni 2018
Do, 07. Juni 2018 Projektarbeit
Mi, 13. Juni 2018
Do, 14. Juni 2018 Projektarbeit
Mi, 20. Juni 2018
Do, 21. Juni 2018 Projektarbeit
Mi, 27. Juni 2018
Do, 28. Juni 2018 Projektarbeit
Mi, 04. Juli 2018
Do, 05. Juli 2018 Projektarbeit
Mi, 11. Juli 2018
Do, 12. Juli 2018 Projektarbeit
Mi, 18. Juli 2018
Do, 19. Juli 2018

Literature