Goals of this Lecture
- Mastery of special formal and stochastic techniques for safety and reliability analysis of software and systems.
- Knowledge about the practical application of relevant analysis techniques
Contents of the Lecture
Safety and reliability are very important quality characteristics in the technical field of software applications. In many application areas - e. g. rail technology, avionics, automotive, medical technology - a software malfunction can endanger human lives. Therefore, it's neccesary to perform a safety certification process before commissioning such systems. These certifications have to be complete or give a proof that the residual risk is under an acceptable level.
Relevant techniques for safety and reliability analysis for software and systems are presented. In addition to identifying and evaluating risks, the acceptance of risk is considered.
Material
-
Additional literature
On this page you can find additional literature for the lecture. -
Additional materials
On this page you can find additional material for the lecture (lecture slides) and for the tutorial (exercise sheets).
Organisational
Lecturer
Prof. Dr. Peter Liggesmeyer
Room 32/425
Phone: (0631) 205-3328
Office hours: on appointment
Schedule
The lecture SRES consists of 2 SWS lecture and 1 SWS tutorial.
-
Lecture:
2 SWS - held weekly:
Wed, 13:45pm - 15:15pm, Room 42-110
First lecture on Wednesday, Oct. 17. -
Tutorial:
1 SWS - held every two weeks (usually):
Thr, 13:45pm - 15:15pm, Room 42-110
The begin of the tutorial will be announced in the first lecture.
Tutorial
Michael Roth
Room: 32/427
Phone: (0631) 205-2629
Office hours: on appointment