Reliability estimation of fault-tolerant systems: tools and techniques

Author

Geist, Robert ; Trivedi, Kishor

Author_Institution

Dept. of Comput. Sci., Clemson Univ., SC, USA

Volume

23

Issue

7

fYear

1990

fDate

7/1/1990 12:00:00 AM

Firstpage

52

Lastpage

61

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;

fLanguage

English

Journal_Title

Computer

Publisher

ieee

ISSN

0018-9162

Type

jour

DOI

10.1109/2.56852

Filename

56852