On this page you can find additional material for the lecture.

Script

Here the lecture slides will be provided chapter-by-chapter. The slides are provided in the PDF format.

Important: The slides shall support the understanding of the lecture. They are not an appropriate substitute for the lecture. To get a deeper insight of the treated topics and especially the interdependencies between the topics, it is advised to come to the lecture. Additional literature for the treated topics can be found on our literature-page.

To open the PDF files you can use the free Adobe Reader .

Chapter	Title	Slides
Kapitel 0	Administrative Issues
Kapitel 1	Introduction
Kapitel 2	Terminology
Kapitel 3	Risk Acceptance Methods
Kapitel 4	Safety and Reliability Analysis Models: Overview
Kapitel 5	FMECA (Failure Modes, Effects and Criticality Analysis)
Kapitel 6	Foundations of Fault Tree Analysis
Kapitel 7	Fault Tree Analysis: Mathematical Background and Algorithms
Kapitel 8	Fault Tree Analysis: Conducting a Fault Tree Analysis
Kapitel 9	Fault Tree Analysis: Obscurities and Open Issues
Kapitel 10	Stochastic Reliability Analysis
Kapitel 11	Symbolic Model Checking