A software fault tree key node metric
Journal of Systems and Software
Effective Minimization of Acyclic Phase-Type Representations
ASMTA '08 Proceedings of the 15th international conference on Analytical and Stochastic Modeling Techniques and Applications
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
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
Symbolic fault tree analysis for reactive systems
ATVA'07 Proceedings of the 5th international conference on Automated technology for verification and analysis
Procedural security analysis: A methodological approach
Journal of Systems and Software
Retrenchment, and the generation of fault trees for static, dynamic and cyclic systems
SAFECOMP'06 Proceedings of the 25th international conference on Computer Safety, Reliability, and Security
A safety-focused verification using software fault trees
Future Generation Computer Systems
Combining static/dynamic fault trees and event trees using Bayesian networks
SAFECOMP'07 Proceedings of the 26th international conference on Computer Safety, Reliability, and Security
Quantification of Priority-OR gates in temporal fault trees
SAFECOMP'12 Proceedings of the 31st international conference on Computer Safety, Reliability, and Security
Hi-index | 0.00 |
Fault trees provide a conceptually simple modeling framework to represent system-level reliability in terms of interactions between component reliabilities. DIFtree effectively combines the best static fault tree solution technique (Binary Decision Diagrams) with Markov solution techniques for dynamic fault trees. DIFtree includes advanced techniques for modeling coverage; coverage modeling has been shown to be critical to the analysis of fault-tolerant computer systems. DIFtree is based on a divide-and-conquer technique for modularizing the system-level fault tree into independent subtrees; different solution techniques can be used for subtrees. In this paper we extend the DIFtree analysis capability to model several different distributions of time to failure, including fixed probabilities (no time component), exponential (constant hazard rate), Weibull (time varying hazard rate) and log normal. Our approach extends both the BDD and Markov analytical approaches and incorporates simulation as well.