Journal ArticleDOI
Dynamic fault-tree models for fault-tolerant computer systems
TLDR
HARP (Hybrid Automated Reliability Predictor) is a software package developed at Duke University and NASA Langley Research Center that can solve fault-tree models that frequently employ high levels of redundancy, dynamic redundancy management, and complex fault and error recovery techniques.Abstract:
Reliability analysis of fault-tolerant computer systems for critical applications is complicated by several factors. Systems designed to achieve high levels of reliability frequently employ high levels of redundancy, dynamic redundancy management, and complex fault and error recovery techniques. This paper describes dynamic fault-tree modeling techniques for handling these difficulties. Three advanced fault-tolerant computer systems are described: a fault-tolerant parallel processor, a mission avionics system, and a fault-tolerant hypercube. Fault-tree models for their analysis are presented. HARP (Hybrid Automated Reliability Predictor) is a software package developed at Duke University and NASA Langley Research Center that can solve those fault-tree models. >read more
Citations
More filters
Journal ArticleDOI
Fault tree analysis
TL;DR: Fault tree analysis (FTA) is a very prominent method to analyze the risks related to safety and economically critical assets, like power plants, airplanes, data centers and web shops as mentioned in this paper.
Journal ArticleDOI
A discrete-time Bayesian network reliability modeling and analysis framework
TL;DR: This research shows that a BN based reliability formalism is a powerful potential solution to modeling and analyzing various kinds of system components behaviors and interactions and provides a basis for more advanced and useful analyses such as system diagnosis.
Book ChapterDOI
A Storm is Coming: A Modern Probabilistic Model Checker
TL;DR: The new probabilistic model checker Storm features the analysis of discrete- and continuous-time variants of both Markov chains and MDPs and offers a Python API for rapid prototyping by encapsulating Storm’s fast and scalable algorithms.
Journal Article
Fault Tree Analysis : A survey of the state-of-the-art in modeling, analysis and tools
TL;DR: This paper surveys over 150 papers on fault tree analysis, providing an in-depth overview of the state-of-the-art in FTA, including standard fault trees, as well as extensions such as dynamic FT, repairable FT, and extended FT.
Journal ArticleDOI
Dynamic fault tree analysis using Monte Carlo simulation in probabilistic safety assessment
TL;DR: Monte Carlo simulation-based approach is used in this work to solve dynamic gates of Dynamic fault tree, which is a complex repairable system having tested and maintained spares and is in good agreement with those obtained using analytical approach.
References
More filters
Journal ArticleDOI
Coverage modeling for dependability analysis of fault-tolerant systems
TL;DR: It is found that a policy of attempting transient recovery upon detection of an error can actually increase the unreliability of the system.
ReportDOI
Reliability analysis of phased missions.
TL;DR: A reliability analysis for a phased mission encounters complexities not present with just one phase, but can be transformed into an analysis of a synthetic single phase case.
Journal ArticleDOI
The hybrid automated reliability predictor
TL;DR: The hybrid automated reliability predictor (HARP) as discussed by the authors decomposes the overall model into distinct fault-occurrence/repair and fault/error-handling submodels, which can be solved analytically or simulated.
Proceedings ArticleDOI
Fault trees and sequence dependencies
TL;DR: New fault-tree gates to capture so-called sequence dependencies are defined, and the utility of the new gates is demonstrated by presenting several models of the FTPP (fault-tolerant parallel processor), which include both hot and cold spares.
Journal ArticleDOI
A non-homogeneous Markov model for phased-mission reliability analysis
Mark Smotherman,K. Zemoudeh +1 more
TL;DR: In this article, the concept of state transition is extended to include globally time-dependent phase changes and phase change times are specified using nonoverlapping distributions with probability distribution functions that are zero outside assigned time intervals.