The hybrid automated reliability predictor

In this paper, we present an overview of the hybrid automated reliability predictor (HARP), under development at Duke and Clemson Universities. The HARP approach to reliability prediction is characterized by a decomposition of the overall model into distinct fault-occurrence/repair and fault /error-handling submodels. The faultoccurrence/repair model can be cast as either a fault tree or as a Markov chain and is solved analytically. Both exponential and Weibull time to failure distributions are allowed. There are a variety of choices available for the specification of the fault/error-handling behavior that may be solved analytically or simulated. Both graphical and textual interfaces are provided to HARP.

[1]  W. C. Carter,et al.  Reliability modeling techniques for self-repairing computer systems , 1969, ACM '69.

[2]  Francis P. Mathu.  Automation of reliability evaluation procedures through CARE: the computer-aided reliability estimation program , 1972, AFIPS '72 (Fall, part I).

[3]  Richard E Barlow,et al.  Introduction to Fault Tree Analysis , 1973 .

[4]  Lawrence F. Shampine,et al.  Global Error Estimates for Ordinary Differential Equations , 1976, TOMS.

[5]  J. J. Stiffler.  Computer-aided reliability estimation , 1977 .

[6]  A. Avizienis,et al.  Fault-tolerance: The survival attribute of digital systems , 1978, Proceedings of the IEEE.

[7]  A.L. Hopkins,et al.  FTMP—A highly reliable fault-tolerant multiprocess for aircraft , 1978, Proceedings of the IEEE.

[8]  J. Goldberg,et al.  SIFT: Design and analysis of a fault-tolerant computer for aircraft control , 1978, Proceedings of the IEEE.

[9]  Satish Kumar Tripathi,et al.  On approximate solution techniques for queueing network models of computer systems , 1979 .

[10]  Kishor S. Trivedi,et al.  A tutorial on the CARE III approach to reliability modeling. [of fault tolerant avionics and control systems] , 1981 .

[11]  James Lyle Peterson,et al.  Petri net theory and the modeling of systems , 1981 .

[12]  Kishor S. Trivedi.  Probability and Statistics with Reliability, Queuing, and Computer Science Applications , 1984 .

[13]  Robert S. Swarz,et al.  The theory and practice of reliable system design , 1982 .

[14]  Michael K. Molloy.  Performance Analysis Using Stochastic Petri Nets , 1982, IEEE Transactions on Computers.

[15]  Kishor S. Trivedi,et al.  Design of the hybrid automated reliability predictor , 1983 .

[16]  Kishor S. Trivedi,et al.  Ultrahigh Reliability Prediction for Fault-Tolerant Computer Systems , 1983, IEEE Transactions on Computers.

[17]  Kishor S. Trivedi.  Reliability Evaluation for Fault-Tolerant Systems , 1983, Computer Performance and Reliability.

[18]  Kishor S. Trivedi,et al.  Decomposition in Reliability Analysis of Fault-Tolerant Systems , 1983, IEEE Transactions on Reliability.

[19]  Kishor S. Trivedi,et al.  Extended Stochastic Petri Nets: Applications and Analysis , 1984, Performance.

[20]  Marco Ajmone Marsan,et al.  A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems , 1984, TOCS.

[21]  Kishor S. Trivedi,et al.  Hybrid reliability modeling of fault-tolerant computer systems , 1984 .

[22]  Kishor S. Trivedi,et al.  The Conservativeness of Reliability Estimates Based on Instantaneous Coverage , 1985, IEEE Transactions on Computers.

[23]  Kishor S. Trivedi,et al.  Provably Conservative Approximations to Complex Reliability Models , 1986, IEEE Transactions on Computers.