Loading...
Please wait, while we are loading the content...
Similar Documents
Dynamic fault tree analysis using input/output interactive markov chains (2007)
| Content Provider | CiteSeerX |
|---|---|
| Author | Boudali, Hichem Crouzen, Pepijn Stoelinga, Mariëlle |
| Description | In Proc. of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks |
| Abstract | Dynamic Fault Trees (DFT) extend standard fault trees by allowing the modeling of complex system components’ behaviors and interactions. Being a high level model and easy to use, DFT are experiencing a growing success among reliability engineers. Unfortunately, a number of issues still remains when using DFT. Briefly, these issues are (1) a lack of formality (syntax and semantics), (2) limitations in modular analysis and thus vulnerability to the state-space explosion problem, and (3) lack in modular model-building. We use the input/output interactive Markov chain (I/O-IMC) formalism to analyse DFT. I/O-IMC have a precise semantics and are an extension of continuous-time Markov chains with input and output actions. In this paper, using the I/O-IMC framework, we address and resolve issues (2) and (3) mentioned above. We also show, through some examples, how one can readily extend the DFT modeling capabilities using the I/O-IMC framework. |
| File Format | |
| Publisher Date | 2007-01-01 |
| Access Restriction | Open |
| Subject Keyword | Standard Fault Tree Modular Model-building Precise Semantics State-space Explosion Problem Complex System Component Behavior Dynamic Fault Tree Input Output Interactive Markov Chain Continuous-time Markov Chain O-imc Framework High Level Model Reliability Engineer Dynamic Fault Tree Analysis Output Action Dft Modeling Capability Modular Analysis |
| Content Type | Text |
| Resource Type | Conference Proceedings |
