Applications of the hybrid automated reliability predictor

The Hybrid Automated Reliability Predictor (HARP) is a software package that implements advanced reliability modeling techniques. We present an overview of some of the problems that arise in modeling highly reliable, fault tolerant systems, loosely divided into model construction and model solution problems. We describe the HARP approach to these difficulties, which is facilitated by a technique called behavioral decomposition. The bulk of this paper presents examples of the evaluation of some typical fault tolerant systems, including a local area network, two fault tolerant computer systems (Carnegie-Mellon University multiprocessor system C.mmp, and Software Implemented Fault Tolerance (SIFT), and two examples of flight control systems.