Coverage modeling for dependability analysis of fault-tolerant systems
- 1 June 1989
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computers
- Vol. 38 (6) , 775-787
- https://doi.org/10.1109/12.24286
Abstract
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.Keywords
This publication has 14 references indexed in Scilit:
- Reliability Modeling Using SHARPEIEEE Transactions on Reliability, 1987
- An Aggregation Technique for the Transient Analysis of Stiff Markov ChainsIEEE Transactions on Computers, 1986
- The hybrid automated reliability predictorJournal of Guidance, Control, and Dynamics, 1986
- The Conservativeness of Reliability Estimates Based on Instantaneous CoverageIEEE Transactions on Computers, 1985
- Extended Stochastic Petri Nets: Applications and Analysis.Published by Defense Technical Information Center (DTIC) ,1984
- Error Detection Process—Model, Design, and Its Impact on Computer PerformanceIEEE Transactions on Computers, 1984
- Evaluation of Maintenance Software in Real-Time SystemsIEEE Transactions on Computers, 1978
- FTMP—A highly reliable fault-tolerant multiprocess for aircraftProceedings of the IEEE, 1978
- Computer-aided reliability estimationPublished by American Institute of Aeronautics and Astronautics (AIAA) ,1977
- The Concept of Coverage and Its Effect on the Reliability Model of a Repairable SystemIEEE Transactions on Computers, 1973