SpringerLink
Log in

The Evolution of Fault Tolerant Computing at the Jet Propulsion Laboratory and at UCLA: 1955 – 1986

  • Conference paper
The Evolution of Fault-Tolerant Computing

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

Abstract

The Jet Propulsion Laboratory (JPL) is a research facility in Pasadena, California, that was founded by Professor Theodore von Karman of the California Institute of Technology as a test site in 1936 and was supported by the U.S. Army until October 1958, when it was transferred to the recently founded NASA, the U.S. National Aeronautics and Space Administration. The primary mission of JPL within the NASA structure is to develop unmanned interplanetary spacecraft and to conduct scientific investigations of the other planets of our solar system. Unmanned investigations of the Moon by Ranger spacecraft were the first step in the series of space exploration missions that have continued with the Mariner, Viking, and Voyager series of interplanetary spacecraft that thus far have reached Mercury, Venus, Mars, Jupiter, Saturn and Uranus.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
EUR 32.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or Ebook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

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

Similar content being viewed by others

References

  1. Note: The single asterisks at the references, e.g. [Alav 81]*, designate Ph.D. dissertations, and the double asterisks (**) designate M.S. theses completed at UCLA.

    Google Scholar 

  2. TOPS Outer Planet Spacecraft, Astronautics and Aeronautics (Special Issue), Vol. 8, No. 9, September 1970.

    Google Scholar 

  3. Alavian, F, F., “Database Recovery and Fault-Tolerance Analyses in Parallel Associative Database Processors,” Ph. D. dissertation, UCLA Computer Science Department, University of California, Los Angeles, December 1981; also Technical Report No. CSD-820318, March 1982.

    Google Scholar 

  4. Arens, W., Rennels, D. A., “A Fault-Tolerant Computer for Autonomous Spacecraft,” Digest of FTCS-13, the 13th International Symposium on Fault-Tolerant Computing, Milano, Italy, June 1983, pp. 467–470.

    Google Scholar 

  5. Avizienis, A., “A Set of Algorithms for a Diagnosable Arithmetic Unit,” Jet Propulsion Laboratory, Pasadena, California, Technical Report 32–546, March 1, 1964.

    Google Scholar 

  6. Avizienis, A., “A Study of the Effectiveness of Fault-Detecting Codes for Binary Arithmetic,” Jet Propulsion Laboratory, Pasadena, California, Technical Report 32–711, September 1, 1965.

    Google Scholar 

  7. Avizienis, A., “System Organization of the JPL Self-Testing and Repairing Computer and Its Extension to a Multiprocessor Configuration,” Proceedings of the NASA Seminar on Space-borne Multiprocessing, October 1966, Boston, pp. 61–66.

    Google Scholar 

  8. Avizienis, A., “Design of Fault-Tolerant Computers,” AFIPS Conference Proceedings, 1967 Fall Joint Computer Conference, Vol. 31, Washington, D. C.: Thompson, 1967, pp. 733–743.

    Google Scholar 

  9. Avizienis, A., “Concurrent Diagnosis of Arithmetic Processors,” Digest of the 1st Annual IEEE Computer Conference, Chicago, IL, September 1967, pp. 34–37.

    Google Scholar 

  10. Avizienis, A., “An Experimental Self-Repairing Computer,” in Information Processing’68, Proceedings of the IFIP Congress 1968, Vol. 2, pp. 872–877.

    Google Scholar 

  11. Avizienis, A., “Digital Fault Diagnosis by Low-Cost Arithmetical Coding Techniques,” Proceedings of the Purdue University Centennial Year Symposium on Information Processing, April 1969, pp. 81–92.

    Google Scholar 

  12. Computer: An Investigation of the Theory and Practice of Fault-Tolerant Computer Design, IEEE Trans, on Computers, Vol. C-20, No. 11, November 1971, pp. 1312–1321; also in Digest of the 1971 International Symposium on Fault-Tolerant Computing, Pasadena, CA, March 1971, pp. 92–96.

    Google Scholar 

  13. Avizienis, A., “Arithmetic Error Codes: Cost and Effectiveness Studies for Application in Digital System Design,” IEEE Trans, on Computers, Vol. C-20, No. 11, November 1971, pp. 1322–1330; also in Digest of the 1971 International Symposium on Fault-Tolerant Computing, Pasadena, CA, March 1971, pp. 118–121.

    Google Scholar 

  14. Avizienis, A., “Fault-Tolerant Computing An Overview”, IEEE Computer, Vol. 4, No. 1, February 1971, pp. 5–8.

    Article  Google Scholar 

  15. Avizienis, A., Rennels, D. A., “Fault-Tolerance Experiments With The JPL STAR Computer”, in Digest of COMPCON’72 (Sixth Annual IEEE Computer Society Int. Conf.), San Francisco, California, 1972, pp. 321–324.

    Google Scholar 

  16. Avizienis, A., “The Methodology of Fault-Tolerant Computing,” Proceedings of the 1st USA-Japan Computer Conference, Tokyo, October 1972, pp. 405–413.

    Google Scholar 

  17. Avizienis, A., “Arithmetic Algorithms for Error-Coded Operands”, IEEE Trans, on Computers, Vol. C-22, No. 6, June 1973, pp. 567–572; also in Digest of FTCS-2, the 2nd International Symposium on Fault-Tolerant Computing, Newton, MA, June 1972, pp. 25–29.

    Article  Google Scholar 

  18. Avizienis, A., Parhami, B., “A Fault-Tolerant Parallel Computer System for Signal Processing,” Digest of FTCS-4, the 4th International Symposium on Fault-Tolerant Computing, Champaign, IL., June 1974, pp. 2–8–2–13.

    Google Scholar 

  19. Avizienis, A., “Fault-Tolerance and Fault-Intolerance: Complementary Approaches to Reliable Computing,” Proceedings of the 1975 International Conference on Reliable Software, Los Angeles, April 1975, pp. 458–464.

    Google Scholar 

  20. Avizienis, A., “Architecture of Fault-Tolerant Computing Systems,” Digest of FTCS-5, the 5th International Symposium on Fault-Tolerant Computing, Paris, June 1975, pp. 3–16.

    Google Scholar 

  21. Avizienis, A., “Fault-Tolerant Systems,” IEEE Trans, on Computers, Vol. C-25, No. 12, December 1976, pp. 1304–1312.

    Article  MathSciNet  Google Scholar 

  22. Avizienis, A., “Fault-Tolerance and Longevity: Goals for High-Speed Computers on the Future,” Proceedings of the Symposium on High-Speed Computer Sc Algorithm Organization, University of Illinois at Urbana-Champaign, April 1977, Academic Press, pp. 173–178.

    Google Scholar 

  23. Avizienis, A., Ercegovac, M., Lang, T., Sylvain, P., Thomasian, A., “An Investigation of Fault-Tolerant Architectures for Large-Scale Numerical Computing,” Proceedings of the Symposium on High-Speed Computer Sc Algorithm Organization, University of Illinois at Urbana-Champaign, April 1977, Academic Press, pp. 173–178.

    Google Scholar 

  24. Avizienis, A., “Fault-Tolerant Computing: Progress, Problems, and Prospects,” Information Processing 77, Proceedings of the IFIP Congress 1977, Toronto, August 1977, pp. 405–420.

    Google Scholar 

  25. Avizienis, A., Chen, L., “On the Implementation of Inversion Programming for Software Fault Tolerance During Execution,” Proceedings COMPSAC 77, ( First IEEE-CS International Computer Software and Applications Conference ), Chicago, November 1977, pp. 149–155.

    Google Scholar 

  26. Avizienis, A., “Fault-Tolerance: The Survival Attribute of Digital Systems,” Proceedings of the IEEE, October 1978, 66–10, pp. 1109–1125.

    Article  Google Scholar 

  27. Avizienis, A., Bond, J. W. Ill, “Fault Tolerance in Large Computing Systems,” Proceedings of the 3rd Jerusalem Conference on Information Technology, Jerusalem, August 1978, pp. 9–16.

    Google Scholar 

  28. Avizienis, A., “Toward a Discipline of Reliable Computing,” Proceedings of the EUROIFIP 79, ( European Conference on Applied Information Technology ), London, September 1979, pp. 701–706.

    Google Scholar 

  29. Avizienis, A., “Low Cost Residue and Inverse Residue Error-Detecting Codes for Signed-Digit Arithmetic,” Proceedings of the 5th IEEE Symposium on Computer Arithmetic, Ann Arbor, MI, May 1981, pp. 165–168.

    Google Scholar 

  30. Tolerance by Means of External Monitoring of Computer Systems, AFIPS Conference Proceedings, Vol. 50, May 1981, pp. 27–40.

    Google Scholar 

  31. Avizienis, A., “The Four-Universe Information System Model for Fault-Tolerance,” Digest of FTCS-12, the 12th International Symposium on Fault-Tolerant Computing, Santa Monica, California, June 1982, pp. 6–13.

    Google Scholar 

  32. Avizienis, A., “Design Diversity-the Challenge of the Eighties,” Digest of FTCS-12, the 12th International Symposium on Fault-Tolerant Computing, Santa Monica, California, June 1982, pp. 44–45.

    Google Scholar 

  33. Avizienis, A., Kelly, J. P. J. “Fault-Tolerant Multi-Version Software: Experimental Studies of a Design Diversity Approach,” Proceedings of 6th International Conference on Software Engineering (Poster Sessions), Tokyo, Japan, September 1982, pp. 101–102.

    Google Scholar 

  34. Avizienis, A., Raghavendra, C. S., “Applications for Arithmetic Error Codes in Large, High-Performance Computers,” Proceedings of the 6th IEEE Symposium on Computer Arithmetic, Aarhus, Denmark, June 1983, pp. 169–173.

    Google Scholar 

  35. Avizienis, A., Cardenas, A. F., Alavian, F., “On the Effectiveness of Fault Tolerance Techniques in Parallel Associative Database Processors,” Proceedings of the IEEE 1984 International Conference on Data Engineering, April 1984, pp. 50–59.

    Google Scholar 

  36. Avizienis, A., Kelly, J. P. J., “Fault Tolerance by Design Diversity: Concepts and Experiments,” Computer, Vol. 17, No. 8, August 1984, pp. 67–80.

    Article  Google Scholar 

  37. Avizienis, A., “Arithmetic Algorithms for Operands Encoded in Two-Dimensional Low-Cost Arithmetic Error Codes,” Proceedings of the 7th IEEE Symposium on Computer Arithmetic, Urbana, Illinois, May 1985, pp. 285–292.

    Google Scholar 

  38. Avizienis, A., “The N-Version Approach to Fault-Tolerant Software”, IEEE Transactions on Software Engineering, Vol. SE-11, No. 12, December 1985, pp. 1491–1501.

    Article  Google Scholar 

  39. Avizienis, A., Gunningberg, P., Kelly, J. P. J., Strigini, L., Traverse, P. J., Tso, K. S., Voges, U., “The UCLA DEDIX system: a Distributed Testbed for Multiple-Version Software,” Digest of FTCS-15, the 15th International Symposium on Fault-Tolerant Computing, Ann Arbor, Michigan, June 1985, pp. 126–134.

    Google Scholar 

  40. Avizienis, A. Laprie, J. C., “Dependable Computing: From Concepts to Design Diversity,” Proceedings of the IEEE, Vol. 74, No. 5, May 1986, pp. 629–638.

    Article  Google Scholar 

  41. Avizienis, A., “Two-Dimensional Low-Cost Arithmetic Residue Codes: Effectiveness and Arithmetic. Algorithms,” Digest of FTCS-16, the 16th International Symposium on Fault-Tolerant Computing, Vienna, Austria, July 1986, pp. 330–336.

    Google Scholar 

  42. Avizienis, A., Ball, D. E., “On the Achievement of a Highly Dependable and Fault-Tolerant Air Traffic Control System,” Computer, Vol. 20, No. 2, February 1987, pp. 84–90.

    Article  Google Scholar 

  43. “The Reliability Aspects and Interconnection Network Strategies for ILLIAC IV type Like Array Processors,” M. S. thesis, UCLA Computer Science Department, University of California, Los Angeles, March 1976.

    Google Scholar 

  44. Baqai, I., Lang, T., “Reliability Aspects of the ILLIAC IV Computer,” Proceedings of the 1976 International Conference on Parallel Processing, August 1976, pp. 123–131.

    Google Scholar 

  45. Bigonha, R. S. S., “A Denotational Semantics Implementation System,” Ph. D. dissertation, UCLA Computer Science Department, University of California, Los Angeles, March 1982; also Technical Report No. CSD-820317, March 1982.

    Google Scholar 

  46. Bond, J. W., Ill, “A Comparison of Fault-Tolerance in Large Scale Scientific Computer Systems,” Ph. D. dissertation, UCLA Computer Science Department, University of California, Los Angeles, September 1981; also Technical Report No. CSD-810601, June 1981.

    Google Scholar 

  47. D. D. Burchby et al., “Specification of the Fault-Tolerant Space-Borne Computer (FTSC),” Digest of FTCS-6, the 6th International Symposium on Fault-Tolerant Computing, Pittsburgh, PA, June 1976, pp. 129–133.

    Google Scholar 

  48. Burstall, R. M., Goguen, J. A., “Putting Theories Together to Make Specifications,” Proceedings of the 5th International Joint Conference on Artificial Intelligence, ( MIT, Cambridge, Mass. ) 1977, pp. 1045–1058.

    Google Scholar 

  49. Cardenas, A. F., Alavian, F., Avizienis, A., “Performance of Recovery Architectures in Parallel Associative Database Processors,” ACM Transactions on Database Systems, Vol. 8, No. 3, September 1983, pp. 291–323.

    Article  Google Scholar 

  50. Chen, H. P. D. D., “The Analysis and Synthesis of Interconnection Networks for Distributed Computer Systems,” Ph. D. dissertation, UCLA Computer Science Department, University of California, Los Angeles, June 1981; also Technical Report No. CSD-820203, February 1982.

    Google Scholar 

  51. Chen, L, L., “Improving Software Reliability by N-version Programming,” Ph. D. dissertation, UCLA Computer Science Department, University of California, Los Angeles, June 1978; also Technical Report No. UCLA-ENG-7843, June 1978.

    Google Scholar 

  52. Chen, L., Avizienis, A., “N-version Programming: A Fault Tolerance Approach to Reliability of Software Operation,” Digest of FTCS-8, the 8th International Symposium on Fault-Tolerant Computing, Toulouse, France, June 1978, pp. 3–9.

    Google Scholar 

  53. Chirica, L. M. M., “Contributions to Compiler Correctness,” Ph. D. dissertation, UCLA Computer Science Department, University of California, Los Angeles, September 1976; also Technical Report No. UCLA-ENG-7697, October 1976.

    Google Scholar 

  54. Cleaveland, J. C., “Design, Implementation and Correctness of an Expression-Oriented Language for Microcomputers,” UCLA Computer Science Department, Technical Report No. UCLA-ENG-7837, July 1978.

    Google Scholar 

  55. Conn, R. B., Alexandridis, N. A., Avizienis, A., “Design of a Fault-Tolerant Modular Computer with Dynamic Redundancy,” AFIPS Conference Proceedings, Vol. 41, Fall JCC 1972, pp. 1057–1067.

    Google Scholar 

  56. Covey, C., Rennels, D. A., “Hardware Support Mechanisms for Concurrency Control in Local Computer Networks,” Digest of International Workshop on High Level Language Architecture, Fort Lauderdale, Florida, December 1982.

    Google Scholar 

  57. DePaula, A, A., “Evaluation and Reliability Estimation of Distributed Architectures for On-Board Computers,” Ph. D. dissertation, UCLA Computer Science Department, University of California, Los Angeles, September 1982; also Technical Report No. CSD-821205, December 1982.

    Google Scholar 

  58. Dorato, K., “Coincident Errors in N-Version Programming,” M. S. thesis, UCLA Computer Science Department, University of California, Los Angeles, June 1986.

    Google Scholar 

  59. Gilley, G. C., “Automatic Maintenance of Spacecraft Systems for Long-Life, Deep-Space Missions”, Ph. D. dissertation, UCLA Computer Science Department, University of California, Los Angeles, September 1970.

    Google Scholar 

  60. Gilley, G. C., Editor, Digest of the 1971 International Symposium on Fault-Tolerant Computing, Pasadena, California, March 1971.

    Google Scholar 

  61. Gilley, G. C., “A Fault-Tolerant Spacecraft”, in Digest of FTCS-2, the 2nd International Symposium on Fault-Tolerant Computing, Newton, MA, June 1972, pp. 105–109.

    Google Scholar 

  62. Goguen, J. A., “Abstract Errors for Abstract Data Types,” Proceedings IFIP Working Conference on Formal Description of Programming Concepts, (ed. J. Dennis), MIT, 1977, pp. 21. 1–21. 32; also in Formal Description of Programming Concepts, (ed. E. Neuhold ), North Holland, 1978.

    Google Scholar 

  63. Goguen, J. A., Thatcher, J. W., Wagner, E. G., “An Initial Algebra Approach to the Specification, Correctness, and Implementation of Abstract Data Types,” Current Trends in Programming Methodology, Vol. 4, Data Structuring (ed. R. Yeh ), Prentice Hall, 1978, pp. 80–149.

    Google Scholar 

  64. Goguen, J., “Some Design Principles and Theory for OBJ-O, A Language for Expressing and Executing Algebraic Specifications of Programs,” Proceedings, International Conference on Mathematical Studies of Information Processing, Kyoto, Japan, 1978, pp. 429–475.

    Google Scholar 

  65. Goguen, J. A., “Algebraic Specification,” Research Directions in Software Technology (ed. P. Wegner ), MIT Press, 1979, pp. 370–376.

    Google Scholar 

  66. Goguen, J. A., Tardo, J. J., “An Introduction to OBJ: A Language for Writing and Testing Formal Algebraic Program Specifications,” Proceedings of the Conference on the Specification of Reliable Software, Cambridge, MA, April 1979, pp. 170–189.

    Google Scholar 

  67. Gorji-Sinaki, A, A., “Error-coded Algorithms for On-line Arithmetic,” Ph. D. dissertation, UCLA Computer Science Department, University of California, Los Angeles, February 1981; also Technical Report No. CSD-810303, March 1981.

    Google Scholar 

  68. Grey, B. O., Avizienis, A., Rennels, D. A., “A Fault-Tolerant Architecture for Network Storage Systems,” Digest of FTCS-14, the 14th International Symposium on Fault-Tolerant Computing, Kissimmee, Florida, June 1984, pp. 232–239.

    Google Scholar 

  69. Grey, B. O., “FTSS: A Fault-Tolerant Storage System Supporting High Availability and Security in a Distributed Processing Environment,” Ph. D. dissertation, UCLA Computer Science Department, University of California, Los Angeles, March 1985.

    Google Scholar 

  70. Grnarov, A., Kleinrock, L., Gerla, M., “A New Algorithm for Network Reliability Computation,” Proceedings Computer Networking Symposium, Gaithersburg, Maryland, December 1979.

    Google Scholar 

  71. Grnarov, A., Kleinrock, L., Gerla, M., “A Highly Reliable Distributed Loop Architecture,” Digest of FTCS-10, the 10th International Symposium on Fault-Tolerant Computing, Kyoto, Japan, October 1980, pp. 319–324.

    Google Scholar 

  72. Grnarov, A., Arlat, J., Avizienis, A., “Modeling of Software Fault-Tolerance Strategies,” Proceedings of the 11th Annual Pittsburgh Modeling & Simulation Conference, University of Pittsburgh, Pennsylvania, Vol. 11, Part 2, May 1980, pp. 571–578.

    Google Scholar 

  73. Grnarov, A., Arlat, J., Avizienis, A., “On the Performance of Software Fault-Tolerance Strategies,” Digest of FTCS-10, the 10th International Symposium on Fault-Tolerant Computing, Kyoto, Japan, October 1980, pp. 251–253.

    Google Scholar 

  74. Grnarov, A., Gerla, M., “Multiterminal Analysis of Distributed Processing Systems,” Proceedings of the International Conference on Parallel Processing, August 1981.

    Google Scholar 

  75. Gunningberg, P., Pehrson, B. f “Protocol and Verification of a Synchronization Protocol for Comparison of Results,” Digest of FTCS-15, the 15th International Symposium on Fault-Tolerant Computing, Ann Arbor, Michigan, June 1985, pp. 172–177.

    Google Scholar 

  76. Guttag, J. V., Horning, J. J., Wing, J. M., “Larch in Five Easy Pieces,” Report No. 5, Digital Equipment Corporation Systems Research Center, Palo Alto, California, July 24, 1985.

    Google Scholar 

  77. Hadjioannou, M, M., “Acyclic Parallel Program Schemata,” Ph. D. dissertation, UCLA Computer Science Department, University of California, Los Angeles, March 1975; also Technical Report No. UCLA-ENG-7521, April 1975.

    Google Scholar 

  78. Heiser, J. E., “METAFOR-A Verified, Portable Translator Writing System,” Ph. D. dissertation, UCLA Computer Science Department, University of California, Los Angeles, 1976.

    Google Scholar 

  79. Chicago, IL, September 1967.

    Google Scholar 

  80. Kelly, J. P. J. J., “Specification of Fault-Tolerant Multi-Version Software: Experimental Studies of a Design Diversity Approach,” Ph. D. dissertation, UCLA Computer Science Department, University of California, Los Angeles, June 1982; also Technical Report No. CSD-820927, September 1982.

    Google Scholar 

  81. Kelly, J. P. J., Avizienis, A., “A Specification-oriented Multi-version Software Experiment,” Digest of FTCS-13, the 13th International Symposium on Fault-Tolerant Computing, Milano, Italy, June 1983, pp. 120–126.

    Google Scholar 

  82. Kelly, J. P. J., Avizienis, A., Ulery, B. T., Swain, B. J., Lyu, R. T., Tai, A., Tso, K. S., “Multi-Version Software Development,” Proceedings IFAC Workshop SAFECOMP 86, Sarlat, France, October 1986, pp. 43–49.

    Google Scholar 

  83. Korff, P, P., “A Multiaccess Memory,” Ph. D. dissertation, UCLA Computer Science Department, University of California, Los Angeles, June 1976; also Technical Report UCLA-ENG-7607, July 1976.

    Google Scholar 

  84. Kuehn, R. E., “Computer Redundancy: Design, Performance, and Future”, IEEE Transactions on Reliability, Vol. R-18, Feb. 1969, pp. 3–11.

    Google Scholar 

  85. Lesh, H. F., et al., “Software Techniques for a Distributed Real-time Processing System,” Proceedings of the IEEE National Aerospace and Electronics Conference (NAECON), Dayton, Ohio, pp. 290–295, May 1976.

    Google Scholar 

  86. Makam, S., Avizienis, A., “Modeling and Analysis of Periodically Renewed Closed Fault-Tolerant Systems,” Digest of FTCS-11, the 11th International Symposium on Fault-Tolerant Computing, Portland, Maine, June 1981, pp. 134–144.

    Google Scholar 

  87. Makam, S. V. V., “Design Study of a Fault-Tolerant Computer System to Execute N-Version Software,” Ph. D. dissertation, UCLA Computer Science Department, University of California, Los Angeles, December 1982; also Technical Report No. CSD-821222, December 1982.

    Google Scholar 

  88. Makam, S., Avizienis, A., “ARIES 81: A Reliability and Life-Cycle Evaluation Tool for Fault-Tolerant Systems,” Digest of FTCS-12, the 12th International Symposium on Fault-Tolerant Computing, Santa Monica, California, June 1982, pp. 267–274.

    Google Scholar 

  89. Makam, S., Avizienis, A., Grusas, G., “ARIES 82 User’s Guide,” Technical Report No. 820830, UCLA Computer Science Department, University of California, Los Angeles, August, 1982.

    Google Scholar 

  90. Makam, S. V., Avizienis, A., “An Event-Synchronized System Architecture for Integrated Hardware and Software Fault-Tolerance,” Proceedings of the 4th International Conference on Distributed Computing Systems, San Francisco, California, May 1984.

    Google Scholar 

  91. Malony, A. D. D., “Regular Interconnection Networks,” M. S. thesis, UCLA Computer Science Department, University of California, Los Angeles, September 1982; also Technical Report No. CSD-820825, August 1982.

    Google Scholar 

  92. Mangir, T. E. E., “Use of On-Chip Redundancy for Fault-Tolerant VLSI Design,” Ph. D. dissertation, UCLA Computer Science Department, University of California, Los Angeles, June 1981; also Technical Report No. CSD-820201, February 1982.

    Google Scholar 

  93. Mangir, T. E., Avizienis, A., “Fault-Tolerant Design for VLSI: Effect of Interconnect Requirements on Yield Improvement of VLSI Designs,” IEEE Transactions on Computers, Vol. C-31, No. 7, July 1982, pp. 609–616.

    Article  Google Scholar 

  94. Marsan, A. M., Gerla, M., “Markov Models for Multibus Multiprocessor Systems,” IEEE Transactions on Computers, Vol. C-31, No. 3, March 1982, pp. 239–248.

    Article  Google Scholar 

  95. Mathur, F. P., Avizienis, A., “Reliability Analysis and Architecture of a Hybrid-Redundant Digital System: Generalized Triple Modular Redundancy with Self-Repair”, in Proceedings of the Spring Joint Computing Conference, AFIPS Conference Proceedings, Vol. 36. Montvale, N. J.: AFIPS Press, 1970, pp. 375–383.

    Google Scholar 

  96. Mathur, F. P., “Reliability Modeling and Estimation of Fault-Tolerant Digital Computers,” Ph. D. dissertation, UCLA Computer Science Department, University of California, Los Angeles, June 1970.

    Google Scholar 

  97. Mathur, F. P., “On Reliability Modeling and Analysis of Ultra-Reliable Fault-Tolerant Digital Systems,” IEEE Transactions on Computers, Vol. C-20, No. 11, November 1971, pp. 1376–1382.

    Article  Google Scholar 

  98. Merryman, P. M., Avizienis, A., “Modeling Transient Faults in TMR Computer Systems,” Proceedings of the 1975 Reliability and Maintainability Symposium, Washington, D. C., January 1975, pp. 333–339.

    Google Scholar 

  99. Molloy, M, M., “On the Integration of Delay and Throughput Measures in Distributed Processing Models,” Ph. D. dissertation, UCLA Computer Science Department, University of California, Los Angeles, June 1981; also Technical Report No. CSD-810921, September 1981.

    Google Scholar 

  100. Ng, Y. W., “Reliability Modeling for Fault-Tolerant Computers,” M. S. thesis, UCLA Computer Science Department, University of California, Los Angeles, December 1973.

    Google Scholar 

  101. Ng, Y. W., Avizienis, A., “A Unifying Reliability Model for Closed Fault-Tolerant Systems,” Digest of FTCS-5, the 5th International Symposium on Fault-Tolerant Computing, Paris, June 1975, pp. 224.

    Google Scholar 

  102. Ng, Y. W. W., “Modeling and Analysis of Fault-Tolerant Computers,” Ph. D. dissertation, UCLA Computer Science Department, University of California, Los Angeles, September 1976; also Technical Report No. UCLA-ENG-7698, September 1976.

    Google Scholar 

  103. Ng, Y. W., Avizienis, A., “A Model for Transient and Permanent Fault Recovery in Closed Fault Tolerant Systems,” Digest of FTCS-6, the 6th International Symposium on Fault-Tolerant Computing, Pittsburgh, June 1976, pp. 182–188.

    Google Scholar 

  104. Ng, Y. W., Avizienis, A., “A Reliability Model for Gracefully Degrading and Repairable Fault-Tolerant Systems,” Digest of FTCS-7, the 7th International Symposium on Fault-Tolerant Computing, Los Angeles, June 1977, pp. 22–28.

    Google Scholar 

  105. Ng, Y. W., Avizienis, A., “ARIES-An Automated Reliability Estimation System for Redundant Digital Structures,” Proceedings of the 1977 Annual Reliability and Maintainability Symposium, Philadelphia, January 1977, pp. 108–113.

    Google Scholar 

  106. Ng, Y. W., Avizienis, A., “Local Irredundancy in Combinational Circuits,” Digest of FTCS-7, the 7th International Symposium of Fault-Tolerant Computing, Los Angeles, June 1977, pp. 109–113.

    Google Scholar 

  107. Ng, Y. W., Avizienis, A., “ARIES 76 User’s Guide,” Technical Report No. UCLA-ENG-7894, UCLA Computer Science Department, University of California, Los Angeles, December 1978.

    Google Scholar 

  108. Ng, Y. W., Avizienis, A., “A Unified Reliability Model for Fault-Tolerant Computers,” IEEE Transactions on Computers, Vol. C-29, No. 11, pp. 1002–1011, November 1980.

    Google Scholar 

  109. Oklobdzija, V. G. G., “Design for Testability of VLSI Structures through the Use of Circuit Techniques,” Ph. D. dissertation, UCLA Computer Science Department, University of California, Los Angeles, 1982; also Technical Report No. CSD-820820, August 1982.

    Google Scholar 

  110. Oklobdzija, V. G., Ercegovac, M. D., “Testability Enhancement of VLSI Using Circuit Structures,” Proceedings of IEEE 1982 International Conference on Circuits and Computers, New York, 1982.

    Google Scholar 

  111. Ory-Cristelly, R, R., “Design of a Dynamically Checked, Signed-Digit Arithmetic Unit,” M. S. thesis, UCLA Computer Science Department, University of California, Los Angeles, November 1973; also Technical Report No. UCLA-ENG-7366, November 1973.

    Google Scholar 

  112. Parhami, B., Avizienis, A., “Application of Arithmetic Error Codes for Checking of Mass Memories,” Digest of FTCS-3, the 3rd International Symposium on Fault-Tolerant Computing, June 1973, pp. 47–51.

    Google Scholar 

  113. Parhami, B., Avizienis, A., “Design of Fault-Tolerant Associative Processors,” Proceedings of the 1st Annual Symposium on Computer Architecture, Gainesville, FL., December 1973, pp. 141–145.

    Google Scholar 

  114. Parhami, B, B., “Design Techniques for Associative Memories and Processors,” Ph. D. dissertation, UCLA Computer Science Department, University of California, Los Angeles, March 1973; also Technical Report No. UCLA-ENG-7321, March 1973.

    Google Scholar 

  115. Parhami, B., Avizienis, A., “A Study of Fault-Tolerance Techniques for Associative Processors,” AFIPS Conference Proceedings, Vol. 43, National Computer Conference, Chicago, May 1974, pp. 643–652.

    Google Scholar 

  116. Parhami, B., Avizienis, A., “Detection of Storage Errors in Mass Memories Using Low-Cost Arithmetic Codes,” IEEE Transactions on Computers, Vol. C-27, No. 4, April 1978, pp. 302–308.

    Article  MathSciNet  Google Scholar 

  117. Parker, D. S., Popek, G. J., et al., “Detection of Mutual Inconsistency in Distributed Systems,” Proceedings of the 5th Berkeley Workshop on Computer Networks and Distributed Data Management, Emeryville, California, February 1981.

    Google Scholar 

  118. Parker, D. S., Ramos, R., “A Distributed File System Architecture Supporting High Availability,” Proceedings of the 6th Berkeley Workshop on Distributed Data Management & Computer Networks, Asilomar, California, February 1982, pp. 161–183.

    Google Scholar 

  119. Parker, D. S., Raghavendra, C. S., “The Gamma Network: A Multiprocessor Interconnection Network with Redundant Paths,” Proceedings of the 9th Annual Symposium on Computer Architecture, Austin, Texas, April 1982, pp. 73–80.

    Google Scholar 

  120. Parsaye-Ghomi, K, K., “Higher Order Data Types,” Ph. D. dissertation, UCLA Computer Science Department, University of California, Los Angeles, January 1982; also Technical Report No. CSD-820112, January 1982.

    Google Scholar 

  121. Patterson, D. A., “Verification of Microprograms,” Technical Report No. UCLA-ENG-7707, UCLA Computer Science Department, January 1977.

    Google Scholar 

  122. Pierce, W. H., “Failure-Tolerant Computer Design,” Academic Press: New York and London, 1965.

    Google Scholar 

  123. Raghavendra, N, N., “Fault Tolerance in Computer Communication Architectures,” Ph. D. dissertation, UCLA Computer Science Department, University of California, Los Angeles, June 1982; also Technical Report No. CSD-820928, September 1982.

    Google Scholar 

  124. Raghavendra, C. S., Gerla, M., Avizienis, A., “Reliability Optimization in the Design of Distributed Systems,” Proceedings of the 3rd International Conference on Distributed Computing Systems, Miami, Florida, October 1982, pp. 388–393.

    Google Scholar 

  125. Raghavendra, C. S., Avizienis, A., Ercegovac, M. D., “Fault Tolerance in Binary Tree Architectures,” IEEE Transactions on Computers, Vol. C-33, No. 6, June 1984, pp. 568–572.

    Article  Google Scholar 

  126. Raghavendra, C. S., Gerla, M., Avizienis, A., “Reliable Loop Topologies for Large Local Computer Networks,” IEEE Transactions on Computers, Vol. C-34, No. 1, January 1985, pp. 46–55.

    Article  Google Scholar 

  127. Ramos, R. A. A., “High Reliability, Availability and Consistency in Distributed Systems,” Ph. D. dissertation, UCLA Computer Science Department, University of California, Los Angeles, September 1982; also Technical Report No. CSD-821214, December 1982.

    Google Scholar 

  128. Reed, I. S., Brimley, D. E., “On Increasing the Operating Life of Unattended Machines”, RAND Corp., Memo. RM-3338-PR, November 1962.

    Google Scholar 

  129. Rennels, D. A. A., “Fault Detection and Recovery in Redundant Computer Using Standby Spares”, Ph. D. dissertation, UCLA Computer Science Department, University of California, Los Angeles, June 1973; also Technical Report No. UCLA-ENG-7355, July 1973.

    Google Scholar 

  130. Rennels, D. A., Avizienis, A., “RMS: A Reliability Modeling System for Self-Repairing Computers,” Digest of FTCS-3, the 3rd International Symposium on Fault-Tolerant Computing, June 1973, pp. 131–135.

    Google Scholar 

  131. Rennels, D. A., et al., “The Unified Data System: A Distributed Processing Network for Control and Data Handling on a Spacecraft,” Proceedings of the IEEE National Aerospace and Electronics Conference (NAECON), Dayton, Ohio, May 1976, pp. 283–289.

    Google Scholar 

  132. Rennels, D. A., “Architectures for Fault-Tolerant Spacecraft Computers”, Proceedings of the IEEE, October 1978, Vol. 66, No. 10, pp. 1255–1268.

    Article  Google Scholar 

  133. Rennels, D. A., Avizienis, A., Ercegovac, M., “A Study of Standard Building Blocks for the Design of Fault-Tolerant Distributed Computer Systems”, Digest of FTCS-8, the 8th International Symposium on Fault-Tolerant Computing, Toulouse, France, June 1978, pp. 144–149.

    Google Scholar 

  134. Rennels, D. A., et. al., Fault-Tolerant Computer Study Final Report, JPL Publication 80–73, Jet Propulsion Laboratory, California Institute of Technology, Pasadena, California, February 1981.

    Google Scholar 

  135. Rennels, D. A., “Some Past Experiments and Future Plans in the Experimental Evaluation of Fault-Tolerance”, UCLA Computer Science Department Quarterly, vol. 9, no. 2, Spring 1981, University of California, Los Angeles, pp. 91–98.

    Google Scholar 

  136. Rennels, D. A., DePaula, A., Fremont, M., “Fault-Tolerant Design Considerations for Future Spacecraft Computer Systems,” UCLA Report Prepared for the Aerospace Corporation, El Segundo, California, Aerospace Library Call Number A81 - 04858, October 1981.

    Google Scholar 

  137. Rennels, D. A., “A Building Block Architecture for a High-Speed Distributed Processing System,” Digest GOMAC Government Microcircuits Applications Conference, Las Vegas, Nevada, November 1984.

    Google Scholar 

  138. Rennels, D. A., Chau, S., “A Self-Exercising Self-Checking Memory Design”, Digest of FTCS-16, the 16th International Symposium on Fault-Tolerant Computing, Vienna, Austria, July 1986, pp. 358–363.

    Google Scholar 

  139. Rennels, D. A., “On Implementing Fault Tolerance in Binary Hypercubes,” Digest of FTCS-16, the 16th International Symposium on Fault-Tolerant Computing, Vienna, Austria, July 1986, pp. 344–349.

    Google Scholar 

  140. Rohr, J. A., “System Software for a Fault-Tolerant Digital Computer,” Ph. D. dissertation, Department of Computer Science, University of Illinois, Urbana, Illinois, February 1973.

    Google Scholar 

  141. Rohr, J. A., “STAREX Self-Repair Routines: Software Recovery in The JPL-STAR Computer”, Digest of FTCS-3, the 3rd International Symposium on Fault-Tolerant Computing, Palo Alto, California, June 1973, pp. 11–16.

    Google Scholar 

  142. Sievers, M. W. W., “Computer-Aided Design and Reliability of a General Logic Structure for Custom VLSI,” Ph. D. dissertation, UCLA Computer Science Department, University of California, Los Angeles, June 1980; also Technical Report No. CSD-820111, January 1982.

    Google Scholar 

  143. Sievers, M., Avizienis, A., “Analysis of a Class of Totally Self-Checking Functions Implemented in a MOS LSI General Logic Structure,” Digest of FTCS-11, the 11th International Symposium on Fault-Tolerant Computing, Portland, Maine, June 1981, pp. 256–261.

    Google Scholar 

  144. Stiffler, J. J., Parke IV, N. G., Barr, P. C., “The SERF Fault-Tolerant Computer,” Parts I and II, Digest of FTCS-3, the 3rd International Symposium on Fault-Tolerant Computing, Palo Alto, California, June 1973, pp. 23–31.

    Google Scholar 

  145. Sum, E., “Evaluation Techniques for Self-Checking Logic Circuits,” M. S. thesis, UCLA Computer Science Department, University of California, Los Angeles, June 1975.

    Google Scholar 

  146. Sum, E. K. S., Avizienis, A., “A Probabilistic Model for the Evaluation of Signal Reliability of Self-Checking Logic Circuits,” Digest of FTCS-6, the 6th International Symposium on Fault-Tolerant Computing, Pittsburgh, June 1976, pp. 83–87.

    Google Scholar 

  147. Svoboda, A., “Arithmetic Circuit Fault Detection by Modular Encoding,” Proceedings of the Fourth IEEE Symposium on Computer Arithmetic, Santa Monica, California, October 1978, pp. 208–219.

    Google Scholar 

  148. Swain, B, B., “Group Branch Coverage Testing of Multi-Version Software,” M. S. thesis, UCLA Computer Science Department, University of California, Los Angeles, December 1986; also Technical Report No. CSD-860013, December 1986.

    Google Scholar 

  149. Sylvain, P., “Evaluating the Array Machine,” M. S. thesis, UCLA Computer Science Department, University of California, Los Angeles, June 1974.

    Google Scholar 

  150. Sylvain, P., Vineberg, M., “The Design and Evaluation of the Array Machine: A High-Level Language Processor,” Proceedings of Second Annual Symposium on Computer Architecture, Houston, TX, January 1975, pp. 119–125.

    Google Scholar 

  151. Tai, A. T. T., “A Study of the Application of Formal Specification for Fault-Tolerant Software,” M. S. thesis, UCLA Computer Science Department, Los Angeles, California, June 1986.

    Google Scholar 

  152. Tamir, Y., Sdquin, C. H., “Self-Checking VLSI Building Blocks for Fault-Tolerant Multicomputers,” International Conference on Computer Design, Port Chester, New York, November 1983, pp. 561–564.

    Google Scholar 

  153. Tamir, Y., Sdquin, C. H., “Design and Application of Self-Testing Comparators Implemented with MOSPLAs,” IEEE Transactions on Computers, Vol. C-33, No. 6, June 1984, pp. 493–506.

    Article  Google Scholar 

  154. Tamir, Y., Sdquin, C. H., “Error Recovery in Multicomputers Using Global Checkpoints,” 13th International Conference on Parallel Processing, Bellaire, Michigan, August 1984, pp. 32–41.

    Google Scholar 

  155. Tamir, Y., Sdquin, C. H., “Reducing Common Mode Failures in Duplicate Modules,” International Conference on Computer Design, Port Chester, New York, October 1984, pp. 302–307.

    Google Scholar 

  156. Tamir, Y., “Fault Tolerance for VLSI Multicomputers,” Ph. D. dissertation, also CS Division Report No. UCB/CSD 86/256, Department of Electrical Engineering and Computer Sciences, University of California, Berkeley, California, August 1985.

    Google Scholar 

  157. Tamir, Y., Gafni, E. f “A Software-Based Hardware Fault Tolerance Scheme for Multicomputers,” Proceedings of the 16th Parallel Processing Conference, St. Charles, Illinois, August 1987.

    Google Scholar 

  158. Thomasian, A., Avizienis, A., “Dynamic Scheduling of Tasks Requiring Multiple Processors,” Proceedings of the 11th Annual IEEE Computer Society Conference, Washington, DC, September 1975, pp. 76–80.

    Google Scholar 

  159. Thomasian, A., Avizienis, A., “A Design Study of a Shared-Resource Computing System,” Proceedings of the 3rd Annual Symposium on Computer Architecture, Clearwater, FL., January 1976, pp. 105–112.

    Google Scholar 

  160. Thomasian, A, A., “A Design Study of a Shared Resource Array Processing System,” Ph. D. dissertation, UCLA Computer Science Department, University of California, Los Angeles, June 1977; also Technical Report No. UCLA-ENG-7702, August 1977.

    Google Scholar 

  161. Tso, K. S., Avizienis, A., Kelly, J. P. J., “Error Recovery in Multi-Version Software,” in Proceedings IFAC Workshop SAFECOMP’86, Sarlat, France, October 1986, pp. 35–41.

    Google Scholar 

  162. Tso, K. S. S., “Recovery and Reconfiguration in Multi-Version Software,” Ph. D. dissertation, UCLA Computer Science Department, University of California, Los Angeles, March 1987; also Technical Report No. CSD-870013, March 1987.

    Google Scholar 

  163. Tso, K. S., Avizienis, A., “Community Error Recovery in N-Version Software: A Design Study with Experimentation,” Digest of FTCS-17, the 17th International Symposium on Fault-Tolerant Computing, Pittsburgh, Pennsylvania, July 1987.

    Google Scholar 

  164. Vineberg, M. B. B., “Implementation of a Higher Level Language on an Array Machine,” Ph. D. dissertation, UCLA Computer Science Department, University of California, Los Angeles, June 1971; also Technical Report No. UCLA-ENG-7157, 1971.

    Google Scholar 

  165. Vineberg, M., Avizienis, A., “Implementation of a Higher-Level Language on an Array Machine,” Proceedings of COMP-CON’72, 6th Annual IEEE Computer Society International Conference, September 1972, pp. 37–39.

    Google Scholar 

  166. Vineberg, M., Avizienis, A., “Implementation of a Higher-Level Language on an Array Machine,” Proceedings of the International Workshop on Computer Architecture, Grenoble, France, June 1973.

    Google Scholar 

  167. Wang, S. L. t Avizienis, A., “The Design of Totally Self-Checking Circuits Using Programmable Logic Arrays,” Digest of FTCS-9, the 9th International Symposium on Fault-Tolerant Computing, Madison, WI, June 1979, pp. 173–180.

    Google Scholar 

  168. Wang, S. L. L., “The Design of Totally Self-Checking Circuits by Using Programmable Logic Arrays,” Ph. D. dissertation, UCLA Computer Science Department, University of California, Los Angeles, June 1981; also Technical Report No. CSD-810608, June 1981.

    Google Scholar 

  169. Wilcox, R. H., Mann, W. C., editors, “Redundancy Techniques for Computing Systems”, Spartan Press, Washington, DC, 1962.

    MATH  Google Scholar 

  170. Zamfìr, M, M., “Syntax and Semantics of Concurrent Computing,” Ph. D. dissertation, UCLA Computer Science Department, University of California, Los Angeles, June 1982; also Technical Report No. CSD-820819, August 1982.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. UCLA Dependable Computing and Fault-Tolerant Systems Laboratory, University of California, Los Angeles, CA, 90024, USA

    Algirdas Avižienis & David A. Rennels

Authors
  1. Algirdas Avižienis
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. David A. Rennels
    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

Avižienis, A., Rennels, D.A. (1987). The Evolution of Fault Tolerant Computing at the Jet Propulsion Laboratory and at UCLA: 1955 – 1986. 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_7

Download citation

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

  • 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