Skip to main content

Analysis of Typical Fault-Tolerant Architectures using Harp

Publication ,  Journal Article
Bavuso, SJ; Dugan, JB; Trivedi, KS; Rothmann, EM; Smith, WE
Published in: IEEE Transactions on Reliability
January 1, 1987

Conclusions-HARP (the Hybrid Automated Reliability Predictor) is a software package that implements acvanced reliability modeling techniques. We 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. We then 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 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.HARP has been used to solve very large models. A system consisting of 20 components distributed among 7 stages produced a Markov chain with 24533 states and over 335000 transitions (without coverage). Depending on the system used to run this example, the run time took anywhere from 4 to 8 hours.HARP is undergoing beta testing at approximately 20 sites. It is written in standard FORTRAN 77, consists of nearly 30000 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. HARP is accompanied by an Introduction and Guide for Users. For information on obtaining a copy of HARP, contact one of the authors. Copyright © 1987 by The Institute of Electrical and Electronics Engineers, Inc.

Duke Scholars

Published In

IEEE Transactions on Reliability

DOI

EISSN

1558-1721

ISSN

0018-9529

Publication Date

January 1, 1987

Volume

R-36

Issue

2

Start / End Page

176 / 185

Related Subject Headings

  • Operations Research
  • 4612 Software engineering
  • 4010 Engineering practice and education
  • 0906 Electrical and Electronic Engineering
  • 0803 Computer Software
 

Citation

APA
Chicago
ICMJE
MLA
NLM
Bavuso, S. J., Dugan, J. B., Trivedi, K. S., Rothmann, E. M., & Smith, W. E. (1987). Analysis of Typical Fault-Tolerant Architectures using Harp. IEEE Transactions on Reliability, R-36(2), 176–185. https://doi.org/10.1109/TR.1987.5222335
Bavuso, S. J., J. B. Dugan, K. S. Trivedi, E. M. Rothmann, and W. E. Smith. “Analysis of Typical Fault-Tolerant Architectures using Harp.” IEEE Transactions on Reliability R-36, no. 2 (January 1, 1987): 176–85. https://doi.org/10.1109/TR.1987.5222335.
Bavuso SJ, Dugan JB, Trivedi KS, Rothmann EM, Smith WE. Analysis of Typical Fault-Tolerant Architectures using Harp. IEEE Transactions on Reliability. 1987 Jan 1;R-36(2):176–85.
Bavuso, S. J., et al. “Analysis of Typical Fault-Tolerant Architectures using Harp.” IEEE Transactions on Reliability, vol. R-36, no. 2, Jan. 1987, pp. 176–85. Scopus, doi:10.1109/TR.1987.5222335.
Bavuso SJ, Dugan JB, Trivedi KS, Rothmann EM, Smith WE. Analysis of Typical Fault-Tolerant Architectures using Harp. IEEE Transactions on Reliability. 1987 Jan 1;R-36(2):176–185.

Published In

IEEE Transactions on Reliability

DOI

EISSN

1558-1721

ISSN

0018-9529

Publication Date

January 1, 1987

Volume

R-36

Issue

2

Start / End Page

176 / 185

Related Subject Headings

  • Operations Research
  • 4612 Software engineering
  • 4010 Engineering practice and education
  • 0906 Electrical and Electronic Engineering
  • 0803 Computer Software