Fault-Tolerant Computing: An Introduction and a Viewpoint

AFTER approximately 20 years of obscurity, the field of fault-tolerant computing was revived by the formation of the IEEE Technical Committee on Fault-Tolerant Computing, by a series of articles in COMPUTER for January/ February 1971, by the 1971 International Symposium on Fault-Tolerant Computing in Pasadena, Calif., and by an IEEE TRANSACTIONS ON COMPUTERS Special Issue on Fault-Tolerant Computing in November 1971. Interest and activity continued apace, and the 1972 International Symposium on Fault-Tolerant Computing was held in Newton, Mass. Most of the excellent papers in this second IEEE TRANSACTIONS Special Issue on Fault-Tolerant Computing were presented at that symposium. As an introduction to these papers, consideration of the ultimate goals of this discipline and the universe in which our work is being done is most appropriate.

[1]  Karl N. Levitt,et al.  Greatest Common Divisor of n Integers and Multipliers (Certification of Algorithm 386) , 1973, Commun. ACM.

[2]  Edward J. McCluskey,et al.  An Iterative Cell Switch Design for Hybrid Redundancy , 1973, IEEE Transactions on Computers.

[3]  C. Dennis Weiss,et al.  Multiple Fault Detection in Combinational Circuits: Algorithms and Computational Results , 1973, IEEE Transactions on Computers.

[4]  Herbert Hecht Figure of Merit for Fault-Tolerant Space Computers , 1973, IEEE Transactions on Computers.

[5]  J. Neumann,et al.  Numerical inverting of matrices of high order , 1947 .

[6]  Thomas F. Arnold,et al.  The Concept of Coverage and Its Effect on the Reliability Model of a Repairable System , 1973, IEEE Transactions on Computers.

[7]  Melvin A. Breuer,et al.  Testing for Intermittent Faults in Digital Circuits , 1973, IEEE Transactions on Computers.

[8]  Mohamed Y. Osman,et al.  Shared Logic Realizations of Dynamically Self-Checked and Fault-Tolerant Logic , 1973, IEEE Transactions on Computers.

[9]  Edward J. McCluskey,et al.  Switch Complexity in Systems with Hybrid Redundancy , 1973, IEEE Transactions on Computers.

[10]  Frederick W. Clegg Use of SPOOF's in the Analysis of Faulty Logic Networks , 1973, IEEE Transactions on Computers.

[11]  John von Neumann,et al.  Theory Of Self Reproducing Automata , 1967 .

[12]  Piero Maestrini,et al.  Error Correcting Properties of Redundant Residue Number Systems , 1973, IEEE Transactions on Computers.

[13]  Edsger W. Dijkstra,et al.  A constructive approach to the problem of program correctness , 1968 .

[14]  Gernot Metze,et al.  Design of Totally Self-Checking Check Circuits for m-Out-of-n Codes , 1973, IEEE Transactions on Computers.

[15]  Algirdas Avizienis Faulty-Tolerant Computing: An Overview , 1971, Computer.

[16]  Ralph L. London,et al.  The current state of proving programs correct , 1972, ACM Annual Conference.

[17]  W. C. Carter,et al.  Lookaside Techniques for Minimum Circuit Memory Translators , 1973, IEEE Transactions on Computers.

[18]  William C. Carter,et al.  Modeling of a Bubble-Memory Organization with Self-Checking Translators to Achieve High Reliability , 1973, IEEE Transactions on Computers.

[19]  Robert W. Cook,et al.  Design of a Self-Checking Microprogram Control , 1973, IEEE Transactions on Computers.

[20]  J. von Neumann,et al.  Probabilistic Logic and the Synthesis of Reliable Organisms from Unreliable Components , 1956 .