25 search results - page 1 / 5 » Formal Fault Tree Analysis - Practical Experiences |
QSIC
2005
IEEE
13 years 10 months ago
2005
IEEE
Fault Tree Analysis (FTA) is a traditional deductive safety analysis technique that is applied during the system design stage. However, traditional FTA does not consider transitio...
FM
2003
Springer
13 years 9 months ago
2003
Springer
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 sh...
IASTEDSE
2004
13 years 6 months ago
2004
EDCC
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. In this paper we present the formal safety analysis of a radiobased railroad crossing. We use deductive cause-consequence analysis (DCCA) as analysis method. DCCA is a no...
ATVA
2007
Springer
13 years 10 months ago
2007
Springer
Fault tree analysis is a traditional and well-established technique for analyzing system design and robustness. Its purpose is to identify sets of basic events, called cut sets, wh...