Issue No. 06 - June (1989 vol. 38)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/12.24286
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
dependability analysis; fault-tolerant system; Petri net models; computing coverage; recovery; sensitivity; system reliability; transient recovery; fault tolerant computing; Markov processes; Petri nets; system recovery.
K. Trivedi and J. Dugan, "Coverage Modeling for Dependability Analysis of Fault-Tolerant Systems," in IEEE Transactions on Computers, vol. 38, no. , pp. 775-787, 1989.