Issue No. 04 - April (1990 vol. 39)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/12.54852
<p>It is observed that a large number of closed fault-tolerant systems modeled by a continuous-time Markov model referred to as the ARIES model have repeated eigenvalues. It is proven that the rate matrix representing the system is diagonalizable for every closed fault tolerant system modeled by ARIES. Consequently, the Lagrange-Sylvester interpolation formula is applicable to all closed fault-tolerant systems which ARIES models. Since the proof guarantees that the rate matrix is diagonalizable, general methods for solving arbitrary Markov chains can be tailored to solve the ARIES model for the closed systems directly.</p>
reliability modeling; closed fault-tolerant computer systems; continuous-time Markov model; ARIES model; eigenvalues; Lagrange-Sylvester interpolation formula; rate matrix; fault tolerant computing; Markov processes; modelling.
M. Balakrishnan and C. Raghavendra, "On Reliability Modeling of Closed Fault-Tolerant Computer Systems," in IEEE Transactions on Computers, vol. 39, no. , pp. 571-575, 1990.