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.S. Trivedi, J.B. Dugan, "Coverage Modeling for Dependability Analysis of Fault-Tolerant Systems", IEEE Transactions on Computers, vol. 38, no. , pp. 775-787, June 1989, doi:10.1109/12.24286
79 ms
(Ver 3.3 (11022016))