Sciweavers

Share
FM
2003
Springer

Combining Real-Time Model-Checking and Fault Tree Analysis

10 years 1 months ago
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.
Andreas Schäfer
Added 06 Jul 2010
Updated 06 Jul 2010
Type Conference
Year 2003
Where FM
Authors Andreas Schäfer
Comments (0)
books