Beitrag zur dynamischen Fehlerbaumanalyse ohne Modulbildungund

viii
Kurzfassung
nisse. Ihre Eintretenswahrscheinlichkeit bzw. -rate ergibt sich durch Faltung der Ausfalldichten
ihrer Basisereignisse.
Realisierung
Ausgehend von der statischen FTA beschreibt diese Arbeit Regeln für die TFTA, mit denen
sich a) temporallogische Terme in eine TDNF überführen lassen und b) in dieser TDNF auch
disjunkte Terme erzeugen lassen. Die vorliegende Arbeit beschreibt weiterhin die Quantizierung
temporaler Ausfallfunktionen ausgehend von der TDNF mit disjunkten Termen. Zudem
werden zwei Näherungsverfahren vorgestellt, mit denen sich die exakten probabilistischen Ergebnisse
mit deutlich verringertem Aufwand annähern lassen. Die Vorgehensweisen werden an
verschiedenen Beispielen unterschiedlicher Komplexität demonstriert.
Ergebnisse
Die wesentliche Neuerung des hier beschriebenen, neuen Ansatzes einer temporalen FTA gegenüber
anderen Ansätzen einer Dynamisierung der herkömmlichen FTA ist die qualitative und
quantitative Modellierung und Analyse von Reihenfolgen zwischen den (Basis-)Ereignissen eines
Fehlerbaums ohne Modularisierung und Transformation in den Zustandsraum.
Zu den besonderen Vorteilen der TFTA zählen die Modellierung dynamischer Eekte auf allen
Ereignisebenen des Fehlerbaums, die vollständige qualitative Analyse sowie eine quantitative
Modellierung und Analyse ohne Methodenwechsel.