Auf dieser Seite finden Sie begleitend zusätzliches Material zur Vorlesung.

Skript

Hier werden im Verlauf der Vorlesung kapitelweise die Folien zur Vorlesung stehen. Die Kapitel werden im PDF und Postscript (PS)-Format angeboten.

Wichtig: Die Folien sollen das Verständnis der Vorlesung unterstützen. Sie sind nicht als Ersatz der Vorlesung geeignet. Um tieferen Einblick in die behandelten Themen zu erlangen und speziell den Zusammenhang zwischen den einzelnen Themen zu erkennen, wird die Anwesenheit in den Vorlesungen empfohlen. Weiterführende Literatur zu den behandelten Themen finden sich auf unserer Literatur-Seite.

Zum Betrachten von PDF-Dateien können Sie den kostenlosen Adobe Reader verwenden. Für Postscript-Dateien kann Ghostview verwendet werden.

Die hier angebotenen PDF-Dateien sind in der Regel wesentlich kleiner als die PS-Dateien.

Im Informatik-Cluster können Sie mit Hilfe der Programme psnup oder mpage selbst mehrere Folien auf eine Seite drucken. Um z.B. 4 Folien auf eine Seite zu drucken, verwenden Sie den Befehl: psnup -4 -pa4 -l <eingabe.ps> <ausgabe.ps>

Kapitel	Titel	1 Folie pro Seite	2 Folien pro Seite	4 Folien pro Seite	Geändert
Kapitel 0	Administrative Issues				15.10.2007
Kapitel 1	Introduction				25.10.2007
Kapitel 2	Terminology				15.10.2007
Kapitel 3	Risk Acceptance Methods				15.10.2007
Kapitel 4	Analysis Models: Overview				22.10.2007
Kapitel 5	FMECA				22.10.2007
Kapitel 6	FTA: Foundations				13.11.2007
Kapitel 7	FTA: Mathematical Background				20.11.2007
Kapitel 8	FTA: Conducting an FTA				13.11.2007
Kapitel 9	FTA: Obscurities and Open Issues				13.11.2007
Kapitel 10	FTA: Current Research Issues				13.11.2007
Kapitel 11	FTA: Selected Tools				13.11.2007
Kapitel 12	Symbolic Model Checking				03.12.2007
Kapitel 13	Stochastic Reliability Analysis				21.01.2008