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				13.11.2006
Kapitel 1	Introduction				13.11.2006
Kapitel 2	Terminology				13.11.2006
Kapitel 3	Risk Acceptance Methods Lesehilfe				13.11.2006 06.02.2007
Kapitel 4	Analysis Models: Overview				13.11.2006
Kapitel 5	FMECA Lesehilfe				13.11.2006 06.02.2007
Kapitel 6	FTA: Foundations				13.11.2006
Kapitel 7	FTA: Mathematical Background				14.11.2006
Kapitel 8	FTA: Conducting an FTA				14.11.2006
Kapitel 9	FTA: Obscurities and Open Issues				14.11.2006
Kapitel 10	FTA: Current Research Issues				13.12.2006
Kapitel 11	FTA: Selected Tools				13.12.2006
Kapitel 12	Symbolic Model Checking Lesehilfe				13.12.2006 06.02.2007
Kapitel 13	Stochastic Reliability Analysis				12.01.2007