A rigorous, compositional, and extensible framework for dynamic fault tree analysis


Boudali, Hichem and Crouzen, Pepijn and Stoelinga, Mariëlle (2010) A rigorous, compositional, and extensible framework for dynamic fault tree analysis. IEEE transactions on dependable and secure computing, 7 (2). pp. 128-143. ISSN 1545-5971

[img] PDF
Restricted to UT campus only
: Request a copy
Abstract:Fault trees (FT) are among the most prominent formalisms for reliability analysis of technical systems. Dynamic FTs extend FTs with support for expressing dynamic dependencies among components. The standard analysis vehicle for DFTs is state-based, and treats the model as a CTMC, a continuous-time Markov chain. This is not always possible, as we will explain, since some DFTs allow multiple interpretations. This paper introduces a rigorous semantic interpretation of DFTs. The semantics is defined in such a way that the semantics of a composite DFT arises in a transparent manner from the semantics of its components. This not only eases the understanding of how the FT building blocks interact. It also is a key to alleviate the state explosion problem. By lifting a classical aggregation strategy to our setting, we can exploit the DFT structure to build the smallest possible Markov chain representation of the system. The semantics - as well as the aggregation and analysis engine is implemented in a tool, called CORAL. We show by a number of realistic and complex systems that this methodology achieves drastic reductions in the state space.
Item Type:Article
Copyright:© 2012 IEEE
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/80455
Official URL:https://doi.org/10.1109/TDSC.2009.45
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page