Design of fault-tolerant computers

Reliable performance of hardware has been a requirement for digital systems since the construction of the first digital computer. Improper functioning of the logic circuits in a digital system is manifested by logic faults, which are defined for this paper as "permanent or transient deviations of logic variables from the values specified in design."

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

[2]  Claude E. Shannon,et al.  Reliable Circuits Using Less Reliable Relays , 1956 .

[3]  Betty J. Flehinger,et al.  Reliability Improvement through Redundancy at Various System Levels , 1958, IBM J. Res. Dev..

[4]  Donald E. Rosenheim,et al.  Increasing Reliability by the Use of Redundant Machines , 1959, IRE Trans. Electron. Comput..

[5]  David T. Brown.  Error Detecting and Correcting Binary Codes for Arithmetic Operations , 1960, IRE Trans. Electron. Comput..

[6]  William G. Brown,et al.  Improvement of Electronic-Computer Reliability through the Use of Redundancy , 1961, IRE Trans. Electron. Comput..

[7]  D. B. Armstrong.  A general method of applying error correction to synchronous digital systems , 1961 .

[8]  Sundaram Seshu,et al.  The Diagnosis of Asynchronous Sequential Switching Systems , 1962, IRE Trans. Electron. Comput..

[9]  Rein Teoste.  Design of a Repairable Redundant Computer , 1962, IRE Trans. Electron. Comput..

[10]  W. W. Peterson,et al.  Error-Correcting Codes. , 1962 .

[11]  Robert E. Lyons,et al.  The Use of Triple-Modular Redundancy to Improve Computer Reliability , 1962, IBM J. Res. Dev..

[12]  Thomas B. Lewis.  Primary Processor and Data Storage Equipment for the Orbiting Astronomical Observatory , 1963, IEEE Trans. Electron. Comput..

[13]  Jaan Kruus.  Upper Bounds for the Mean Life of Self-Repairing Systems , 1963 .

[14]  James J. Donegan,et al.  Experiences with the goddard computing system during manned spaceflight missions , 1964 .

[15]  J. E. Hamlin.  A general description of the national aeronautics and space administration real time computing complex , 1964 .

[16]  M. M. Dickinson,et al.  Saturn V launch vehicle digital computer and data adapter , 1899, AFIPS '64 (Fall, part I).

[17]  Ralph J. Preiss,et al.  Design of Serviceability Features for the IBM System/360 , 1964, IBM J. Res. Dev..

[18]  Karyl J. Gurzi.  Estimates for Best Placement of Voters in a Triplicated Logic Network , 1965, IEEE Trans. Electron. Comput..

[19]  Rocco H. Urbano.  Some New Results on the Convergence, Oscillation, and Reliability of Polyfunctional Nets , 1965, IEEE Trans. Electron. Comput..

[20]  D. H. Rutherford,et al.  A self-diagnosable computer , 1965, AFIPS '65 (Fall, part I).

[21]  Michel A. Melkanoff,et al.  Investigation and simulation of a self-repairing digital computer , 1965, SWCT.

[22]  Eric George Manning.  On Computer Self-Diagnosis Part II-Generalizations and Design Principles , 1966, IEEE Trans. Electron. Comput..

[23]  Harvey L. Garner.  Error Codes for Arithmetic Operations , 1966, IEEE Trans. Electron. Comput..

[24]  Wilbert H. Aldrich,et al.  The "Braid" Transformer Memory , 1966, IEEE Trans. Electron. Comput..

[25]  J. Paul Roth,et al.  Diagnosis of automata failures: a calculus and a method , 1966 .