Model Based Importance Analysis for Minimal Cut Sets
ATVA '08 Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
Non deterministic repairable fault trees for computing optimal repair strategy
Proceedings of the 3rd International Conference on Performance Evaluation Methodologies and Tools
From DFTs to PEPA: A Model-to-Model Transformation
EPEW '09 Proceedings of the 6th European Performance Engineering Workshop on Computer Performance Engineering
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems
SAFECOMP '09 Proceedings of the 28th International Conference on Computer Safety, Reliability, and Security
DFTSim: a simulation tool for extended dynamic fault trees
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
Codesign of dependable systems: a component-based modeling language
MEMOCODE'09 Proceedings of the 7th IEEE/ACM international conference on Formal Methods and Models for Codesign
A compositional semantics for dynamic fault trees in terms of interactive Markov chains
ATVA'07 Proceedings of the 5th international conference on Automated technology for verification and analysis
Model-based analysis and development of dependable systems
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
The how and why of interactive Markov chains
FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
Expert Systems with Applications: An International Journal
Formal correctness, safety, dependability, and performance analysis of a satellite
Proceedings of the 34th International Conference on Software Engineering
Bisimulation and logical preservation for continuous-time markov decision processes
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
Efficient modelling and generation of Markov automata
CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
A compositional model to reason about end-to-end QoS in Stochastic Reo connectors
Science of Computer Programming
| Hi-index | 0.00 |
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 interactiveMarkov chain (I/O-IMC) formalism to analyse DFT. I/O-IMC have a precise semantics and are an extension of continuous-timeMarkov chains with input and output actions. In this paper, using the I/OIMC 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.