The Community for Technology Leaders
Green Image
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.
89 ms
(Ver 3.3 (11022016))