An Analysis of a Reliability Model for Repairable Fault-Tolerant Systems

The ARIES reliability model, which models a class of repairable and nonrepairable fault-tolerant systems by a continuous-time Markov chain and uses the Lagrange-Sylvester interpolation formula to directly compute the exponential of the state transition rate matrix (STRM) that appears in the solution of the Markov chain, is discussed. The properties of the STRM for ARIES repairable systems are analyzed. Well-established results in matrix theory are used to find an efficient solution for reliability computation when the eigenvalues of the STRM are distinct. A class of systems that ARIES models for which the solution technique is inapplicable is identified. Several transformations which are known to be numerically stable are used in the solution method. The solution method also offers a facility for incrementally computing reliability when the number of spares in the fault-tolerant system is increased by one. >

[1]  Stephen Barnett,et al.  Matrix Methods for Engineers and Scientists , 1982 .

[2]  David W. Lewis,et al.  Matrix theory , 1991 .

[3]  F. Mathur,et al.  Reliability Analysis and Architecture of a Hybrid-Redundant Digital System, Generalized Triple Modular Redundancy With ELF-Repair , 1899 .

[4]  Richard H. Bartels,et al.  Algorithm 432 [C2]: Solution of the matrix equation AX + XB = C [F4] , 1972, Commun. ACM.

[5]  Kishor S. Trivedi,et al.  Analysis of Typical Fault-Tolerant Architectures using HARP , 1987, IEEE Transactions on Reliability.

[6]  C. Loan,et al.  Nineteen Dubious Ways to Compute the Exponential of a Matrix , 1978 .

[7]  Åke Björck,et al.  Numerical Methods , 1995, Handbook of Marine Craft Hydrodynamics and Motion Control.

[8]  Christian Landrault,et al.  SURF A PROGRAM FOR DEPENDABILITY EVALUATlON OF COMPLEX FAULT-TOLERANT COMPUTING SYSTEMS , 1995, Twenty-Fifth International Symposium on Fault-Tolerant Computing, 1995, ' Highlights from Twenty-Five Years'..

[9]  E. E. Osborne.  On Pre-Conditioning of Matrices , 1960, JACM.

[10]  S K Trivedi,et al.  Dependability Prediction: Comparison of Tools and Techniques , 1986 .

[11]  G. Golub,et al.  A Hessenberg-Schur method for the problem AX + XB= C , 1979 .

[12]  J. H. Wilkinson.  The algebraic eigenvalue problem , 1966 .

[13]  Ying-Wah Ng,et al.  Reliability modeling and analysis for fault-tolerant computers. , 1976 .

[14]  Algirdas Avizienis,et al.  A Unified Reliability Model for Fault-Tolerant Computers , 1980, IEEE Transactions on Computers.

[15]  Algirdas Avizienis,et al.  Reliability analysis and architecture of a hybrid-redundant digital system: generalized triple modular redundancy with self-repair , 1970, AFIPS '70 (Spring).

[16]  C. Reinsch,et al.  Balancing a matrix for calculation of eigenvalues and eigenvectors , 1969 .

[17]  Kishor S. Trivedi,et al.  Ultrahigh Reliability Prediction for Fault-Tolerant Computer Systems , 1983, IEEE Transactions on Computers.

[18]  Kishor S. Trivedi,et al.  Transient Analysis of Acyclic Markov Chains , 1987, Perform. Evaluation.

[19]  Gene H. Golub,et al.  Matrix computations , 1983 .