A Rigorous, Compositional, and Extensible Framework for Dynamic Fault Tree Analysis
| Autor: | Boudali, H., Sandhu, R., Crouzen, Pepijn, Stoelinga, Mariëlle Ida Antoinette |
|---|---|
| Rok vydání: | 2010 |
| Předmět: |
Theoretical computer science
formal models Computer science Semantics (computer science) Semantic interpretation Framework EWI-17048 0211 other engineering and technologies Markov process 02 engineering and technology Continuous-time Markov chain symbols.namesake EC Grant Agreement nr.: FP7/214755 0202 electrical engineering electronic engineering information engineering Compositionality State space IR-80455 Electrical and Electronic Engineering Fault tree analysis 021103 operations research Markov chain 020207 software engineering Reliability Rotation formalisms in three dimensions Fault Trees symbols METIS-318686 EC Grant Agreement nr.: FP7-ICT-2007-1 Algorithm |
| Zdroj: | IEEE transactions on dependable and secure computing, 7(2), 128-143. IEEE |
| ISSN: | 1545-5971 |
| DOI: | 10.1109/tdsc.2009.45 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|