Combining Real-Time Model-Checking and Fault Tree Analysis

We present a semantics for fault tree analysis, a technique used for the analysis of safety critical systems, in the real-time interval logic Duration Calculus with Liveness and show how properties of fault trees can be checked automatically. We apply this technique in two examples and show how it can be connected to other verification techniques.

• Type: Conference
• Year: 2003
• Where: FM
• Authors: Andreas Schäfer
• Keywords: Fault Tree Analysis, Fault Trees, FM 2003, Interval Logic Duration