Automatic Generation of Symbolic Reliability Functions for Processor-Memory-Switch Structures

Calculation of the reliability of computer system architectures with built-in redundancy, such as multiprocessors, is gaining in importance. The task of computing the reliability function for arbitrary Processor-Memory-Switch (PMS) interconnection structures, however, is tedious and prone to human error. Existing reliability computation programs make one of two assumptions: • That the case analysis of success states of the system has been carried out. Such analysis must be done manually. In this instance, input to the program is usually in the form of an intermediate representation (e.g., fault tree, reliability graph). • That the interconnection structure is a member of, or can be partitioned into, some limited class of structures for which a parametric family of equations exists (e.g., N-modular redundant systems, hybrid redundant systems).

[1]  K. K. Aggarwal,et al.  Symbolic Reliability Evaluation Using Logical Signal Relations , 1978, IEEE Transactions on Reliability.

[2]  David R. Cox,et al.  The Theory of Stochastic Processes , 1967, The Mathematical Gazette.

[3]  A. C. Nelson,et al.  A Computer Program for Approximating System Reliability , 1970 .

[4]  W. E. Jordan.  Failure modes, effects and criticality analyses. , 1972 .

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

[6]  E. V. Krishnamurthy,et al.  Computer-Aided Reliability Analysis of Complicated Networks , 1972 .

[7]  Kenneth E. Case,et al.  A Method for Computing Complex System Reliability , 1972 .

[8]  Samuel H. Fuller,et al.  Cm*: a modular, multi-microprocessor , 1977, AFIPS '77.

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

[10]  Gary J. Powers,et al.  Computer-aided Synthesis of Fault-trees , 1977, IEEE Transactions on Reliability.

[11]  A. Prabhakar,et al.  New Topological Formula and Rapid Algorithm for Reliability Analysis of Complex Networks , 1978, IEEE Transactions on Reliability.

[12]  Richard E. Barlow,et al.  Statistical Theory of Reliability and Life Testing: Probability Models , 1976 .

[13]  James L. Fleming.  Relcomp: A Computer Program for Calculating System Reliability and MTBF , 1971 .

[14]  Michael Jeremy Knudsen.  Pmsl, an interactive language for system-level description and analysis of computer structures , 1972 .

[15]  Albert Nijenhuis,et al.  Combinatorial Algorithms for Computers and Calculators , 1978 .

[16]  A. Satyanarayana,et al.  New Topological Formula and Rapid Algorithm for Reliability Analysis of Complex Networks , 1978 .

[17]  William C. Carter,et al.  Reliability Modeling for Fault-Tolerant Computers , 1971, IEEE Transactions on Computers.

[18]  Algirdas Avizienis,et al.  A Unified Reliability Model for Fault-Tolerant Computers , 1980, IEEE Transactions on Computers.

[19]  William R. Crowther,et al.  Pluribus: a reliable multiprocessor , 1975, AFIPS '75.

[20]  R. Wilkov,et al.  Analysis and Design of Reliable Computer Networks , 1972, IEEE Trans. Commun..

[21]  J. C. Cluley,et al.  Probabilistic Reliability: an Engineering Approach , 1968 .

[22]  C. L. Liu,et al.  Introduction to Combinatorial Mathematics. , 1971 .

[23]  E. Hänsler,et al.  Exact calculation of computer network reliability , 1972, AFIPS '72 (Fall, part I).

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

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

[26]  K. Grace,et al.  Probabilistic Reliability: An Engineering Approach , 1968 .

[27]  P. O. Chelson,et al.  Reliability computation from reliability block diagrams , 1971 .

[28]  A. Rosenthal.  Computing the Reliability of Complex Networks , 1977 .

[29]  Michael O. Ball,et al.  Complexity of network reliability computations , 1980, Networks.

[30]  Allen Newell,et al.  Computer Structures: Readings and Examples, , 1971 .

[31]  G. K. McAuliffe,et al.  Exact calculation of computer network reliability , 1974, Networks.