Title :
Reliability estimation of fault-tolerant systems: tools and techniques
Author :
Geist, Robert ; Trivedi, Kishor
Author_Institution :
Dept. of Comput. Sci., Clemson Univ., SC, USA
fDate :
7/1/1990 12:00:00 AM
Abstract :
A comparative evaluation of state-of-the-art tools and techniques for estimating the reliability of fault-tolerant computing systems is presented. The theory of reliability estimation is briefly reviewed. Five current approaches are compared in detail: HARP (hybrid automated reliability predictor), SURE (semi-Markov unreliability range estimator), HEIRESS (hierarchical estimation of interval reliability by skewed sampling), SHARPE (symbolic hierarchical automated reliability and performance evaluator), and SAVE (system availability estimator). Particular attention is given to design limitations imposed by underlying model assumptions, on the one hand, and the efficiency and accuracy of the solution techniques employed, on the other hand.<>
Keywords :
fault tolerant computing; HARP; HEIRESS; SAVE; SHARPE; SURE; fault-tolerant systems; hierarchical estimation; hybrid automated reliability predictor; interval reliability; performance evaluator; reliability estimation; skewed sampling; symbolic hierarchical automated reliability; system availability estimator; Aerospace control; Aircraft; Data mining; Fault tolerant systems; Power system modeling; Power system reliability; Random variables; Redundancy; Space vehicles; State estimation;
