A History of Research in Fault Tolerant Computing at SRI International

  • Jack Goldberg
Conference paper
Part of the Dependable Computing and Fault-Tolerant Systems book series (DEPENDABLECOMP, volume 1)


This paper offers a history of the research in fault-tolerant computing at the Computer Science Laboratory of SRI International. This research program, one of several in the lab, started in 1961 and from time to time has involved almost every lab member. The author did not initiate the program, but has had the good fortune of participating in it since its inception.


Fault Tolerance Logic Network Formal Verification NASA Langley Research Computer Science Laboratory 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Boyer, R., Moore, J., “A Computational Logic”, Academic Press,1979.MATHGoogle Scholar
  2. [2]
    Boyer, R. S., Elspas B., Levitt K. N., “SELECT-A System for testing and debugging programs by symbolic execution”, In Pore. Intl. Conf. on Reliable Software, pages 234–245, 1975.Google Scholar
  3. [3]
    Elspas, B., “Topological constraints on interconnecting limited logic”, In Conf. on Switching Circuit Theory and Logical Design, pages 133–147, 1964.Google Scholar
  4. [4]
    Forman, P., Moses, K., “SIFT: Multiprocess architecture for software implemented fault tolerance flight control and avionics computers”, In In 3rd Digital Avionics Systems Conference, pages 325–329, 1979.Google Scholar
  5. [5]
    Goldberg, J., “Logical design techniques for error control”, In IEEE Wescon 66, 1966.Google Scholar
  6. [6]
    Goldberg, J., Levitt, K. N., Wesley. J. H., “An organization for a highly survivable memory”, IEEE Tr. on Computers C-23(7): 693–705, July 1974.Google Scholar
  7. [7]
    Goldberg, J., “New Problems in fault-tolerant computing”, In Dig. 5th Ann Intl. Symp. on Fault-Tolerant Computing, pages 29–34, 1975.Google Scholar
  8. [8]
    Goldberg, J., “SIFT: A provable fault tolerant computer for aircraft control”, In Proc. Info. Proc. 80, Tokyo, Japan, 1980.Google Scholar
  9. [9]
    Goldberg, J., “the SIFT computer and its development”, In Proc. 4th Dig Avionics Conf. November 1981.Google Scholar
  10. [10]
    Goldberg, J., Green, M. W., Kautz, W. H., Lamport, L. B., Levitt, K. N., Melliar-Smith, P. M., Schwarz, R. L. Weinstock, C. B. “Development and analysis of the software implemented fault-tolerance (SIFT) Computer”, Technical Report, SRI International, Menlo Park, CA, February 1984. Nasa Contractor Report 172146, Contract NASl-15428.Google Scholar
  11. [11]
    Goldberg, J., “The problem of confidence in fault-tolerant computer design”, In Informatik-Fachberichte 78: Proc. GI/NTG conference: Architektur und Betrieb von Rechensyte-men, pages 347–361. Springer Verlag, 1984.Google Scholar
  12. [12]
    Goldberg, J., “A time for integration”, In Digest, 12th Ann. Intl. Symp. on Fault-Tolerant Computing, pages 42, 1984.Google Scholar
  13. [13]
    Goldberg, J., “Perspectives in fault-tolerant software”, In IEEE COMPCON 85, pages 264–269, 1985.Google Scholar
  14. [14]
    Hopkins, A. L., “A fault-tolerant information processing concept for spaces vehicles”, IEEE Tr, on Computers C-20(ll): 1394–1403, November 1971.Google Scholar
  15. [15]
    Hopkins, A. L., Smith, T. B., III, Lala J. H., “FTMP-A highly reliable fault-tolerant multiprocessor for aircraft”, Proceedings of the IEEE 66 (10): 1221–1239, October 1978.CrossRefGoogle Scholar
  16. [16]
    Kautz, W. H., “Automatic fault detection in combinational switching networks”, In Proc. Second Ann. Symp. on Switching Circuit Theory and logical Design, pages 195–214, 1961.Google Scholar
  17. [17]
    Kautz, W. K., “Testing for faults in combinational cellular logic arrays”, In Conf. Record of 8th Ann. Symp. on Switching and Automata Theory, pages 161–174, 1967.Google Scholar
  18. [18]
    Lamport, L., Shostak, R. E., Pease, M. C., “The Byzantine Generals problem”, ACM TOPLAS 4 (3): 382–401, July 1982.CrossRefMATHGoogle Scholar
  19. [19]
    Levitt, K. N., Green, M. W., Goldberg, J., “A study of the data communication problems in a self-repairable multiprocessor”, In Proc. Spring Joint Computer Conference, pages 515–527, 1968.Google Scholar
  20. [20]
    Levitt, K. N., Stone, H., “The burst detecting capability of burst correcting codes”, In Proc. Intl. Symp. on Information Theory, 1969.Google Scholar
  21. [21]
    Levitt, K. N., Melliar-Smith, P. M., R. Schwartz, Shostak, R. E., Hare, D., Boyer, R., Moore, J. S., Green, M., Elliot, W. D. Integration, development, and evaluation of performance proving for fault-tolerance computers, Technical Report, SRI International, Menlo Park, CA, August, 1983, NASA Contractor Report 166008, Contract NAS1–15528.Google Scholar
  22. [22]
    Lu, L. Y., “A virtual TMR node”, In FTCS 15, pages 286–292, 1985.Google Scholar
  23. [23]
    Melliar-Smith, P. M., Schwartz, R., “Formal specification and mechanical verification of SIFT: a fault-tolerant flight control system”, IEEE TC C-31(7): 616–630, July, 1982.Google Scholar
  24. [24]
    Neumann, P. G., Fabry, R. S., Levitt, K. N., Robinson, L., Wensley, J. H. “On the design of a provably secure operating system” In proc. of the Intl. Workshop on Protection in Operating Systems, pages 161–175, 1974.Google Scholar
  25. [25]
    Neumann, P. G., Rao, T. R. N., “Error-correction codes for byte-organized arithmetic processors”, IEEE Tr. on Computers C-24(3): 226–232, March, 1975.CrossRefMathSciNetGoogle Scholar
  26. [26]
    Neumann, P. G., “On Hierarchical designs of computer systems for critical applications”, IEEE Tr. on Software Engineering, 1987. To appear.Google Scholar
  27. [27]
    Pease, M. C., “The indirect binary n-cube multiprocessor array”, IEEE Trans, on Computers C(26): 458–473, May, 1976.Google Scholar
  28. [28]
    Pease, M., Shostak, R. E., Lamport, L., “Reaching agreements in the presence of faults”, Jrnl. ACM 27 (2): 228–234, April, 1980.CrossRefMATHMathSciNetGoogle Scholar
  29. [29]
    Robinson, L., Levitt, K. N., “Proof techniques for Hierarchically structured programs”, CACM, April, 1977.Google Scholar
  30. [30]
    Shostak, R. E., Schwartz, R., Melliar-Smith, P. M., STP: A mechanized logic for specification and verification, In 6th Conf. on Automated Deduction, June, 1982.Google Scholar
  31. [31]
    Weinstock, C. B., Goldberg, J., “SIFT: Software implemented fault-tolerance”, In Dig. 9th Intl. Symp. on Fault-Tolerant Computing, pages 169, 1979.Google Scholar
  32. [32]
    Weinstock, C. B., “SIFT: System design and implementation”, In Dig. 10th Intl. Symp. on Fault-Tolerant Computing, pages 75–77, 1980Google Scholar
  33. [33]
    Wensley, J., Levitt, K. N., Neumann, P. G., “A comparative study of architectures for fault tolerance”, In Dig. Fourth Intl. Symp. on Fault-Tolerant Computing, pages 4/16–4/21, 1974.Google Scholar
  34. [34]
    Wensley, J. H., Lamport, L., Goldberg, J., Green, M. W., Levitt, K. N., Melliar-Smith, P. M., Shostak, R. E., Weinstock, C. B., “SIFT: The design and analysis of a fault-tolerant computer for aircraft control”, Proceedings of the IEEE 66 (10): 1255–1268, October, 1978.CrossRefGoogle Scholar

Copyright information

© Springer-Verlag/Wien 1987

Authors and Affiliations

  • Jack Goldberg
    • 1
  1. 1.SRI InternationalMenlo ParkUSA

Personalised recommendations