Safety and reliability are of crucial importance in many software controlled systems, e.g. in railway applications, aircrafts, automobiles and medical systems. Here, malfunctions could endanger human lives. Therefore, it is necessary to analyze safety of such systems. This has to be done very thoroughly, i.e. the results should be complete or at least prove that the residual risk is below an acceptable level.
- The lecture discusses safety and reliability in systems in a comprehensive way.
- It introduces techniques that are used to determine residual risks in systems, and discusses their properties (advantages and disadvantages, limitations).
- Current techniques for risk acceptance, i.e. for decision making, if a known residual risk is acceptable or if the system has to be improved accordingly, are also discussed.
- In addition, software reliability analysis techniques and formal safety proofs are introduced.