SIFT: software implemented fault tolerance

ABSTRACT

Many computer applications have stringent requirements for continued correct operation of the computer in the presence of internal faults. The subject of design of such highly reliable computers has been extensively studied, and numerous techniques have been developed to achieve this high reliability. Such computers are termed "fault tolerant"; examples of applications are found in the aerospace industry, communication systems, and computer networks. Several designs of such systems have been proposed and some have been implemented. In general, these designs contain extensive hard-wired logic for such functions as fault masking, comparison, switching, and encoding-decoding.

REFERENCES

• 1: A Avizienis Design methods for fault-tolerant navigation computers Technical Report 32-1409 Jet Propulsion Laboratory Pasadena California October 1969
• 2: A. Avizienis , G. C. Gilley , F. P. Mathur , D. A. Rennels , J. A. Rohr , D. K. Rubin, The STAR (Self-Testing And Repairing) Computer: An Investigation of the Theory and Practice of Fault-Tolerant Computer Design, IEEE Transactions on Computers, v.20 n.11, p.1312-1321, November 1971 [doi>10.1109/T-C.1971.223133]
• 3: A Avizienis Arithmetic error codes: Cost and effectiveness studies for application in digital system design Proceedings of Symposium on Fault Tolerant Computing Pasadena California March 1971
• 4: W G Bouricius et al Investigations in the design of an automatically repaired computer Digest of the First Annual IEEE Computer Conference Chicago Illinois September 1967
• 5: W. C. Carter , W. G. Bouricius, A Survey of Fault Tolerant Computer Architecture and its Evaluation, Computer, v.4 n.1, p.9-16, January 1971 [doi>10.1109/C-M.1971.216739]
• 6: W C Carter et al Logic design for dynamic and interactive recovery Proceeding of Symposium on Fault Tolerant Computing Pasadena California March 1971
• 7: W C Carter P R Schneider Design of dynamically checked computers Proceedings of IFIPS 1968 Congress Edinburgh Scotland August 1968
• 8: R S Entner Presentation of advanced avionic digital computer baseline definition Naval Air Systems Command Washington D C September 1969
• 9: J Goldberg K N Levitt R A Short Techniques for the realization of ultra-reliable spaceborne computers Final Report Phase 1 Contract NAS12-33 SRI Project 5580 Stanford Research Institute Menlo Park California September 1966
• 10: J Goldberg et al Techniques for the realization of ultra-reliable spaceborne computers Final Report Contract NAS12-33 SRI Project 5580 Stanford Research Institute Menlo Park California June 1969
• 11: A. L. Hopkins, A Fault-Tolerant Information Processing Concept for Space Vehicles, IEEE Transactions on Computers, v.20 n.11, p.1394-1403, November 1971 [doi>10.1109/T-C.1971.223145]
• 12: L. J. Koczela, A Three-Failure-Tolerant Computer System, IEEE Transactions on Computers, v.20 n.11, p.1389-1393, November 1971 [doi>10.1109/T-C.1971.223144]
• 13: G Y Wang An in-house experimental aerospace multiprocessor---EXAM ERC Memo KC-T-031 NASA Electronics Research Center Cambridge Massachusetts September 1967
• 14: G Y Wang System design of a multiprocessor organization Memorandum RC-T--179 NASA Electronics Research Center Cambridge Massachusetts 1969