ANALYSIS OF TYPICAL FAULT-TOLERANT ARCHITECTURES USING HARP.

TitleANALYSIS OF TYPICAL FAULT-TOLERANT ARCHITECTURES USING HARP.
Publication TypeJournal Article
Year of Publication1987
AuthorsSJ Bavuso, JB Dugan, KS Trivedi, EM ROTHMANN, and WE Smith
JournalIEEE Transactions on Reliability
VolumeR-36
Issue2
Start Page176
Pagination176 - 185
Date Published01/1987
Abstract

HARP (Hybrid Automated Reliability Predictor) is a software package that implements advanced reliability modeling techniques. The authors present an overview of some of the problems that arise in modeling highly reliable fault-tolerant systems; the overview is loosely divided into model construction and model solution problems. They describe the HARP approach to these difficulties, which is facilitated by a technique called behavioral decomposition. HARP is undergoing beta testing at approximately 20 sites. It is written in standard Fortran 77, consists of nearly 30,000 lines of code and comments, and has been tested under several operating systems. The graphics interface (written in C) runs on an IBM PC AT, and produces text files that can be used to solve the system on the PC (for very small systems), or can be uploaded to a larger machine. Examples are presented of the dependability evaluation of some typical fault-tolerant systems, including a local-area network, two well-known fault-tolerant computer systems (C. mmp and SIFT), and an example of a flight control system.

Short TitleIEEE Transactions on Reliability