Beitrag zur dynamischen Fehlerbaumanalyse ohne Modulbildungund

4 Temporale Fehlerbaumanalyse (TFTA):
Ein neuer Ansatz der dynamischen FTA
Time is the worst place, so to speak,
to get lost in.
(Douglas Adams)
Dieses Kapitel beschreibt die Temporale Fehlerbaumanalyse (TFTA) als einen neuen Ansatz, die
Boolesche FTA um die Abbildung von Ereignissequenzen zu erweitern.
ˆ
ˆ
Kapitel 4.1 beschreibt die Notation der neuen temporalen Logik der TFTA. Diese Notation
umfasst insbesondere zwei neue temporale Operatoren mit entsprechenden temporalen
Gattern innerhalb der Fehlerbaum-Methode.
Den Kern der temporalen Logik der TFTA bilden die Regeln für die Umformung temporaler
Terme in Kapitel 4.2. Ziel dieser Umformungen ist die temporale disjunktive
Normalform.
ˆ
Kapitel 4.3 diskutiert die Minimalität und Disjunktheit temporaler Terme.
ˆ
Die in Kapitel 4.4 beschriebene erweiterte Form temporaler Terme reduziert den Aufwand
zur Beschreibung komplexerer temporaler Ausfallfunktionen, insbesondere wenn diese
nur wenige temporale Beziehungen enthalten.
4.1 Notation des TFTA-Ansatzes
Vorab einige Anmerkungen zu Begriichkeiten: In der Fehlerbaum-Methode repräsentieren die
Basisereignisse atomare Ausfall-Ereignisse realer Einheiten (Systeme, Komponenten, Bauteile,
Funktionen). Ebenso repräsentieren die Gatter eines Fehlerbaums nichtatomare, übergeordnete
Ausfall-Ereignisse realer Einheiten. Begriich wird oftmals nicht unterschieden zwischen dem
Eintreten eines realen Ausfall-Ereignisses und dem Eintreten eines Fehlerbaum-Ereignisses,
welches das reale Ausfall-Ereignis im Modell repräsentiert.
4.1.1 Boolesche Algebra und Ausfalllogik des Fehlerbaums
Im Kontext der FTA handelt es sich bei Ereignissen um Ausfallereignisse. Im Gegensatz zur
zuverlässigkeitsorientierten Anwendung der Booleschen Algebra verwendet die FTA daher eine
23