Dynamic fault-tree models for fault-tolerant computer systems

Author

Dugan, Joanne Bechta ; Bavuso, Salvatore J. ; Boyd, Mark A.

Author_Institution

Dept. of Comput. Sci., Duke Univ., Durham, NC, USA

Volume

41

Issue

3

fYear

1992

fDate

9/1/1992 12:00:00 AM

Firstpage

363

Lastpage

377

Abstract

Reliability analysis of fault-tolerant computer systems for critical applications is complicated by several factors. Systems designed to achieve high levels of reliability frequently employ high levels of redundancy, dynamic redundancy management, and complex fault and error recovery techniques. This paper describes dynamic fault-tree modeling techniques for handling these difficulties. Three advanced fault-tolerant computer systems are described: a fault-tolerant parallel processor, a mission avionics system, and a fault-tolerant hypercube. Fault-tree models for their analysis are presented. HARP (Hybrid Automated Reliability Predictor) is a software package developed at Duke University and NASA Langley Research Center that can solve those fault-tree models

Keywords

fault tolerant computing; hypercube networks; parallel architectures; redundancy; reliability theory; HARP; dynamic fault-tree modeling; dynamic redundancy management; error recovery; fault-tolerant computer systems; hypercube; mission avionics system; parallel processor; reliability; software package; Aerospace electronics; Application software; Computer errors; Concurrent computing; Fault tolerant systems; Hypercubes; NASA; Predictive models; Redundancy; Software packages;

fLanguage

English

Journal_Title

Reliability, IEEE Transactions on

Publisher

ieee

ISSN

0018-9529

Type

jour

DOI

10.1109/24.159800

Filename

159800