Ultrahigh Reliability Prediction for Fault-Tolerant Computer Systems

A review and a critical evaluation of a representative class of state-of-the-art models for ultrahigh reliability prediction is presented. This evaluation naturally leads us to a new model for ultrahigh reliability prediction now under development. The new model combines the flexibility and accuracy of simulation with the speed of analytic models.

[1]  Algirdas Avizienis,et al.  Reliability analysis and architecture of a hybrid-redundant digital system: generalized triple modular redundancy with self-repair , 1970, AFIPS '70 (Spring).

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

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

[4]  F. Mathur,et al.  Reliability Analysis and Architecture of a Hybrid-Redundant Digital System, Generalized Triple Modular Redundancy With ELF-Repair , 1899 .

[5]  D. Cox.  A use of complex probabilities in the theory of stochastic processes , 1955, Mathematical Proceedings of the Cambridge Philosophical Society.

[6]  Christian Landrault,et al.  SURF - A Program for Modeling and Reliability Prediction for Fault-Tolerant Computing Systems , 1978, Jerusalem Conference on Information Technology.

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

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

[9]  M. Hirsch,et al.  Differential Equations, Dynamical Systems, and Linear Algebra , 1974 .

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

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

[12]  Michael A. Malcolm,et al.  Computer methods for mathematical computations , 1977 .