Skip to main content
SpringerLink
Log in

A History of Research in Fault Tolerant Computing at SRI International

  • Conference paper
The Evolution of Fault-Tolerant Computing

Part of the book series: Dependable Computing and Fault-Tolerant Systems ((DEPENDABLECOMP,volume 1))

  • 98 Accesses

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Boyer, R., Moore, J., “A Computational Logic”, Academic Press,1979.

    MATH  Google Scholar 

  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. Elspas, B., “Topological constraints on interconnecting limited logic”, In Conf. on Switching Circuit Theory and Logical Design, pages 133–147, 1964.

    Google Scholar 

  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. Goldberg, J., “Logical design techniques for error control”, In IEEE Wescon 66, 1966.

    Google Scholar 

  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. 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. Goldberg, J., “SIFT: A provable fault tolerant computer for aircraft control”, In Proc. Info. Proc. 80, Tokyo, Japan, 1980.

    Google Scholar 

  9. Goldberg, J., “the SIFT computer and its development”, In Proc. 4th Dig Avionics Conf. November 1981.

    Google Scholar 

  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. 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. Goldberg, J., “A time for integration”, In Digest, 12th Ann. Intl. Symp. on Fault-Tolerant Computing, pages 42, 1984.

    Google Scholar 

  13. Goldberg, J., “Perspectives in fault-tolerant software”, In IEEE COMPCON 85, pages 264–269, 1985.

    Google Scholar 

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

    Article  Google Scholar 

  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. 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. Lamport, L., Shostak, R. E., Pease, M. C., “The Byzantine Generals problem”, ACM TOPLAS 4 (3): 382–401, July 1982.

    Article  MATH  Google Scholar 

  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. Levitt, K. N., Stone, H., “The burst detecting capability of burst correcting codes”, In Proc. Intl. Symp. on Information Theory, 1969.

    Google Scholar 

  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. Lu, L. Y., “A virtual TMR node”, In FTCS 15, pages 286–292, 1985.

    Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  26. Neumann, P. G., “On Hierarchical designs of computer systems for critical applications”, IEEE Tr. on Software Engineering, 1987. To appear.

    Google Scholar 

  27. Pease, M. C., “The indirect binary n-cube multiprocessor array”, IEEE Trans, on Computers C(26): 458–473, May, 1976.

    Google Scholar 

  28. Pease, M., Shostak, R. E., Lamport, L., “Reaching agreements in the presence of faults”, Jrnl. ACM 27 (2): 228–234, April, 1980.

    Article  MATH  MathSciNet  Google Scholar 

  29. Robinson, L., Levitt, K. N., “Proof techniques for Hierarchically structured programs”, CACM, April, 1977.

    Google Scholar 

  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. 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. Weinstock, C. B., “SIFT: System design and implementation”, In Dig. 10th Intl. Symp. on Fault-Tolerant Computing, pages 75–77, 1980

    Google Scholar 

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

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. SRI International, Menlo Park, California, USA

    Jack Goldberg

Authors
  1. Jack Goldberg
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. UCLA, Los Angeles, Calif., USA

    Algirdas Avižienis

  2. Technical University, Wien, Austria

    Hermann Kopetz

  3. LAAS, Toulouse, France

    Jean-Claude Laprie

Rights and permissions

Reprints and permissions

Copyright information

© 1987 Springer-Verlag/Wien

About this paper

Cite this paper

Goldberg, J. (1987). A History of Research in Fault Tolerant Computing at SRI International. In: Avižienis, A., Kopetz, H., Laprie, JC. (eds) The Evolution of Fault-Tolerant Computing. Dependable Computing and Fault-Tolerant Systems, vol 1. Springer, Vienna. https://doi.org/10.1007/978-3-7091-8871-2_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-7091-8871-2_5

  • Publisher Name: Springer, Vienna

  • Print ISBN: 978-3-7091-8873-6

  • Online ISBN: 978-3-7091-8871-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation