Design of fault-tolerant computers

ABSTRACT

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."

REFERENCES

• 1: J Von Neumann Probabilistic logics and the synthesis of reliable organisms from unreliable components Automata Studies C E Shannon and J McCarthy eds Annals of Math Studies No 34 Princeton University Press 1956 p 43--98
• 2: C J Creveling Increasing the reliability of electronic equipment by the use of redundant circuits Proceedings of the IRE 44 509--515 April 1956
• 3: E F Moore C E Shannon Reliable circuits using less reliable relays Journal of the Franklin Institute 262 Nos 9 and 10 191--208 and 281--297 Sept Oct 1956
• 4: T B Lewis Primary processor and data storage equipment for the orbiting astronomical observatory IEEE Transactions on Electronic Computers EC-12 No 5 677--686 Dec 1963
• 5: W G Brown J Tierney R Wasserman Improvement of electronic computer reliability through the use of redundancy IRE Transactions on Electronic Computers EC-10 No 3 407--416 Sept 1961
• 6: M. M. Dickinson , J. B. Jackson , G. C. Randa, Saturn V launch vehicle digital computer and data adapter, Proceedings of the October 27-29, 1964, fall joint computer conference, part I, October 27-29, 1964, San Francisco, California [doi>10.1145/1464052.1464099]
• 7: R H Urbano Some new results on the convergence oscillation and reliability of polyfunctional nets IEEE Trans on Electronic Computers EC-14 No 6 769--781 Dec 1965
• 8: J G Tryon Quadded logic Redundancy Techniques for Computing Systems Spartan Press Inc Washington DC 1962 p 205--228
• 9: W H Pierce Failure-Tolerant Computer Design Academic Press Inc New York 1965
• 10: S Winograd J D Cowan Reliable Computation in the Presence of Noise The MIT Press Cambridge Mass 1963
• 11: James J. Donegan , Calvin Packard , Paul Pashby, Experiences with the goddard computing system during manned spaceflight missions, Proceedings of the 1964 19th ACM national conference, p.12.101-12.108, January 1964 [doi>10.1145/800257.808889]
• 12: J. E. Hamlin, A general description of the national aeronautics and space administration real time computing complex, Proceedings of the 1964 19th ACM national conference, p.12.201-12.2022, January 1964 [doi>10.1145/800257.808890]
• 13: R T Stevens Norad's computers get all the facts Electronics 40 No 4 p 113--118 Feb 20 1967
• 14: W W Peterson Error correcting codes The MIT Press and John Wiley and Sons Inc New York 1961
• 15: W H Kautz Codes and coding circuitry for automatic error correction within digital systems Redundancy Techniques for Computing Systems Spartan Press Inc Washington DC 1962 p 152--195
• 16: A Avizienis A study of the effectiveness of fault-detecting codes for binary arithmetic JPL Technical Report No 32--711 Jet Propulsion Laboratory Pasadena Calif Sept 1 1965
• 17: A Avizienis Concurrent diagnosis of arithmetic processors Paper No 3.1 Conference Digest of the 1st Annual IEEE Computer Conference Chicago Illinois Sept 6--8 1967
• 18: D B Armstrong A general method of applying error correction to synchronous digital systems Bell System Tech Journal 40 No 2 577--594 March 1961
• 19: S Seshu D N Freeman The diagnosis of asynchronous sequential switching systems IRE Transactions on Electronic Computers EC-11 No 4 459--465 August 1962
• 20: J P Roth Diagnosis of automata failures: A calculus and a method IBM Journal of Research and Development 10 No 4 278--291 July 1966
• 21: W C Carter H C Montgomery R J Preiss H J Reinheimer Design of serviceability features for the IBM System/360 IBM Journal of Research and Development 8 No 2 115--126 April 1964
• 22: R. E. Forbes , D. H. Rutherford , C. B. Stieglitz , L. H. Tung, A self-diagnosable computer, Proceedings of the November 30--December 1, 1965, fall joint computer conference, part I, November 30-December 01, 1965, Las Vegas, Nevada [doi>10.1145/1463891.1464010]
• 23: E Manning On computer self-diagnosis: Part I---Experimental study of a processor Part II---Generalizations and design principles IEEE Trans on Electronic Computers EC-15 No 6 873--890 Dec 1966
• 24: R W Downing J S Nowak L S Tuomenoksa No 1 ESS maintenance plan The Bell System Technical Journal 43 No 5 Part 1 1961--2019 Sept 1964
• 25: B J Flehinger Reliability improvement through redundancy at various system levels IBM Journal of Research and Development 2 No2 148--158 April 1958
• 26: J E Griesmer R E Miller J P Roth The design of digital circuits to eliminate catastrophic failures Redundancy Techniques for Computing Systems Spartan Press Inc Washington DC 1962 p3 28--348
• 27: A Avizienis Coding of information for a guidance computer with active redundancy JPL Space Programs Summary No 37--22 Vol IV 9--12 Jet Propulsion Laboratory Pasadena Calif 1963
• 28: D E Rosenheim R S Ash Increasing reliability by use of redundant machines IRE Trans on Electronic Computers EC-8 125--130 June 1959
• 29: R Teoste Design of a repairable redundant computer IRE Trans on Electronic Computers EC-11 No 5 643--649 October 1962
• 30: J Kruus Upper bounds for the mean life of self-repairing systems Coordinated Science Laboratory R-172 University of Illinois Urbana Illinois July 1963 AD-418 174
• 31: I Terris M A Melkanoff Investigation and simulation of a self-repairing digital computer IEEE Conference Record on Switching Circuit Theory and Logical Design 264--272 1965
• 32: R L Alonso A L Hopkins Jr H A Thaler A multiprocessing structure Paper No 6.2 Conference Digest of the 1st Annual IEEE Computer Conference Chicago Illinois Sept 6--8 196
• 33: J Goldberg K N Levitt R A Short Techniques for the realization of ultra-reliable space-borne computers Final Report---Phase 1 Contract NAS12--33 Stanford Research Institute, Menlo Park Calif Sept 1966
• 34: R E Lyons W Vanderkulk The use of triple-modular redundancy to improve computer reliability IBM Journal of Research and Development 6 No 2 200--209 April 1962
• 35: H L Ergott D P Rosenberg Modular redundancy for spaceborne computers Proceedings of IEEE Spaceborne Computer Engineering Conference 137--150 Anaheim California Oct 30--31 1962
• 36: K J Gurzi Estimates for best placement of voters in a triplicated logic network Trans IEEE EC-14 No 5 711--716 October 1965
• 37: D K Rubin The approximate reliability of triply redundant majorityvoted systems Paper No 3.4 Conference Digest of the 1st Annual IEEE Computer Conference Chicago Illinois Sept 6--8 1967
• 38: J E Anderson F J Macri Multiple redundancy applications in a computer Proc 1967 Annual Symposium on Reliability 553--562 Washington D C Jan 10--12 1967
• 39: M A Breuer General survey of design automation of digital computers Proc of the IEEE 54 1708--1721 Dec 1966
• 40: W G Bouricius W C Carter J P Roth P R Schneider Investigations in the design of an automatically repaired computer Paper No 6.4 Conference Digest of the 1st Annual IEEE Computer Conference Chicago Illinois Sept 6--8 1967
• 41: P W Agnew R E Forbes C B Stieglitz An approach to selfrepairing computers Paper No 6.3 Conference Digest of the 1st Annual IEEE Computer Conference Chicago Illinois Sept 6--8 1967
• 42: D Emuller Evaluation of logical and organizational methods for improving the reliability and availability of a computer Paper No 6.1 Conference Digest of the 1st Annual IEEE Computer Conference Chicago Illinois Sept 6--8 1967
• 43: E K Van de Riet D R Bennion J M Yarborough Feasibility study for a reliable magnetic connection switch Final Report---Phase I Contract 951232 under NAS7-100 Stanford Research Institute Menlo Park Calif Feb 1966
• 44: D T Brown Error detecting and correcting codes for arithmetic operations IRE Trans EC-9 333--337 1960
• 45: H L Garner Error codes for arithmetic operations IEEE Trans EC-15 763--770 1966
• 46: A Avizienis The diagnosable arithmetic processor JPL Space Programs Summary 37--37 IV Jet Propulsion Laboratory Pasadena Calif 1966 76--80
• 47: W H Aldrich R L Alonso The 'braid' transformer memory IEEE Trans EC-15 502--508 August 1966