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