ACM Transactions on Computer Systems (TOCS)
The Conservativeness of Reliability Estimates Based on Instantaneous Coverage
IEEE Transactions on Computers
Hybrid reliability modeling of fault-tolerant computer systems
Computers and Electrical Engineering - Special issue: reliability and verification of computing systems
An Aggregation Technique for the Transient Analysis of Stiff Markov Chains
IEEE Transactions on Computers
The GTPN analyzer: numerical methods and user interface
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Probability and Statistics with Reliability, Queuing and Computer Science Applications
Probability and Statistics with Reliability, Queuing and Computer Science Applications
Fault Tolerance: Principles and Practice
Fault Tolerance: Principles and Practice
Extended Stochastic Petri Nets: Applications and Analysis
Performance '84 Proceedings of the Tenth International Symposium on Computer Performance Modelling, Measurement and Evaluation
The Design of a Unified Package for the Solution of Stochastic Petri Net Models
International Workshop on Timed Petri Nets
Reliability modeling techniques for self-repairing computer systems
ACM '69 Proceedings of the 1969 24th national conference
Characterization of failure handling in fault-tolerant multiprocessor systems
Characterization of failure handling in fault-tolerant multiprocessor systems
Fault Injection for Dependability Validation: A Methodology and Some Applications
IEEE Transactions on Software Engineering
Reliability Modeling: An Overview for System Designers
Computer - Special issue on instruction sequencing
Estimators for Fault Tolerance Coverage Evaluation
IEEE Transactions on Computers - Special issue on fault-tolerant computing
DEPEND: A Simulation-Based Environment for System Level Dependability Analysis
IEEE Transactions on Computers
Coverage estimation using statistic of the extremes for when testing reveals no failures: 3
IEEE Transactions on Computers
Coverage Estimation Using Statistics of the Extremes for When Testing Reveals No Failures
IEEE Transactions on Computers
Generalized Hopfield Neural Network for Concurrent Testing
IEEE Transactions on Computers
Fault Injection and Dependability Evaluation of Fault-Tolerant Systems
IEEE Transactions on Computers
Reliability Models for Fault-Tolerant Private Network Applications
IEEE Transactions on Computers
Software Dependability in the Tandem GUARDIAN System
IEEE Transactions on Software Engineering
A New Reliability Model for Interconnection Networks
Euro-Par '00 Proceedings from the 6th International Euro-Par Conference on Parallel Processing
Improving the Accuracy of Reliability Models for Direct Interconnection Networks
Euro-Par '01 Proceedings of the 7th International Euro-Par Conference Manchester on Parallel Processing
Comparing Fault Trees and Bayesian Networks for Dependability Analysis
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
Performance Validation of Fault-Tolerance Software: A Compositional Approach
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
Dependability Assessment Using Binary Decision Diagrams (BDDs)
FTCS '95 Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing
Evaluation of Software Dependability Based on Stability Test Data
FTCS '95 Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing
Computing System Failure Frequencies and Reliability Importance Measures Using OBDD
IEEE Transactions on Computers
An analytical approach to architecture-based software performance and reliability prediction
Performance Evaluation
A Simulation Approach to Structure-Based Software Reliability Analysis
IEEE Transactions on Software Engineering
IEEE Transactions on Dependable and Secure Computing
Dependability Analysis of a Fault-Tolerant Network Reconfiguring Strategy
Euro-Par '09 Proceedings of the 15th International Euro-Par Conference on Parallel Processing
Reliable data path design of VLIW processor cores with comprehensive error-coverage assessment
Microprocessors & Microsystems
Bayesian assessing for a repairable system with standby imperfect switching and reboot delay
International Journal of Systems Science
Dependable computing: concepts, limits, challenges
FTCS'95 Proceedings of the Twenty-Fifth international conference on Fault-tolerant computing
Experience building non-functional requirement models of a complex industrial architecture
Proceedings of the 2nd ACM/SPEC International Conference on Performance engineering
Fault-Tolerant VLIW processor design and error coverage analysis
EUC'06 Proceedings of the 2006 international conference on Embedded and Ubiquitous Computing
Coverage in fault-tolerant control
Automatica (Journal of IFAC)
Fault coverage modeling in nonlinear dynamical systems
Automatica (Journal of IFAC)
Computational analysis of machine repair problem with unreliable multi-repairmen
Computers and Operations Research
Engineering Applications of Artificial Intelligence
Software and Systems Modeling (SoSyM)
| Hi-index | 15.01 |
Several different models for predicting coverage in a fault-tolerant system, including models for permanent, intermittent, and transient errors, are discussed. Markov, semi-Markov, nonhomogeneous Markov, and extended stochastic Petri net models for computing coverage are developed. Two types of events that interfere with recovery are examined; and methods for modeling such events, whether they are deterministic or random, are given. The sensitivity of system reliability/availability to the coverage parameter and the sensitivity of the coverage parameter to various error-handling strategies are investigated. It is found that a policy of attempting transient recovery upon detection of an error (as opposed to automatically reconfiguring the affected component out of the system) can actually increase the unreliability of the system.