WS 2014/15

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.