Approaches to computer reliability: then and now

ABSTRACT

Approaches to the attainment of reliable computer operation are considered in this paper. The goal is to assure correct execution of programs using less than perfect components. The discussion includes design methodology, fault classification, redundancy techniques, reliability modeling and prediction, and examples of fault-tolerant computers. The last section identifies some relationships between reliability methods for hardware and for software.

REFERENCES

• 1: 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]
• 2: Avižienis, A., "Architecture of Fault-Tolerant Computing Systems," Digest of the 1975 International Symposium on Fault-Tolerant Computing, Paris, France, June 1975, pp. 3--16.
• 3: Algirdas Avižienis, Design of fault-tolerant computers, Proceedings of the November 14-16, 1967, fall joint computer conference, November 14-16, 1967, Anaheim, California [doi>10.1145/1465611.1465708]
• 4: Avižienis, A., "The Methodology of Fault-Tolerant Computing," Proceedings of the First USA-Japan Computer Conference, Tokyo, Japan, October 1972, pp. 405--413.
• 5: Short, R. A., "The Attainment of Reliable Digital Systems Through the Use of Redundancy---A Survey," IEEE Computer Group News, Vol. 2, No. 2, March 1968, pp. 2--17.
• 6: Von Neumann, J., Probabilistic Logics and the Synthesis of Reliable Organisms from Unreliable Components," in Automata Studies, C. E. Shannon and J. McCarthy, eds., Annals of Math. Studies No. 34, Princeton, University Press, 1956, pp. 43--98.
• 7: Moore, E. F. and C. E. Shannon, "Reliable Circuits Using Less Reliable Relays," Journal of the Franklin Institute, Vol. 262, Nos. 9 and 10, September, October 1956, pp. 191--208 and 281--297.
• 8: Cooper, A. E. and W. T. Chow, "Development of On-Board Space Computer Systems," IBM Journal of Research and Development, Vol. 20, No. 1, January 1976, pp. 5--19.
• 9: Downing, R. W., J. S. Nowak and L. S. Tuomenoksa, "No. 1 ESS Maintenance Plan," The Bell System Technical Journal, Vol. 43, No. 5, Part 1, September 1964, pp. 1961--2019.
• 10: Beuscher, H. J. et al., "Administration and Maintenance Plan of No. 2 ESS," The Bell System Technical Journal, Vol. 48, October 1969, pp. 2765--2815.
• 11: 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]
• 12: W. C. Carter , D. C. Jessep , A. B. Wadia , P. R. Schneider , W. G. Bouricius, Logic Design for Dynamic and Interactive Recovery, IEEE Transactions on Computers, v.20 n.11, p.1300-1305, November 1971 [doi>10.1109/T-C.1971.223131]
• 13: "An Application-Oriented Multiprocessing System," IBM Systems Journal, Vol. 6, No. 2, 1967.
• 14: Rohr, J. A., "STAREX Self-Repair Routines: Software Recovery in the JPL-STAR Computer," Digest of the 1973 International Symposium on Fault-Tolerant Computing, Palo Alto, CA, June 1973, pp. 11--16.
• 15: Carter, W. C. and P. R. Schneider, "Design of Dynamically Checked Computers," Information Processing 68 (Proceedings of IFIP Congress 1968), pp. 878--883.
• 16: Ralph B. Conn , Nikitas A. Alexandridis , Algirdas Avižienis, Design of a fault-tolerant, modular computer with dynamic redundancy, Proceedings of the December 5-7, 1972, fall joint computer conference, part II, December 05-07, 1972, Anaheim, California [doi>10.1145/1480083.1480139]
• 17: Gilley, G. C., "A Fault-Tolerant Spacecraft," Digest of 1972 International Symposium on Fault-Tolerant Computing, June 1972, pp. 105--109.
• 18: F. P. Maison, The MECRA: A Self-Reconfigurable Computer for Highly Reliable Process, IEEE Transactions on Computers, v.20 n.11, p.1382-1388, November 1971 [doi>10.1109/T-C.1971.223143]
• 19: R. R. Everett , C. A. Zraket , H. D. Benington, SAGE: a data-processing system for air defense, Papers and discussions presented at the December 9-13, 1957, eastern joint computer conference: Computers with deadlines to meet, p.148-155, December 09-13, 1957, Washington, D.C. [doi>10.1145/1457720.1457747]
• 20: S. M. Ornstein , W. R. Crowther , M. F. Kraley , R. D. Bressler , A. Michel , F. E. Heart, Pluribus: a reliable multiprocessor, Proceedings of the May 19-22, 1975, national computer conference and exposition, May 19-22, 1975, Anaheim, California [doi>10.1145/1499949.1500061]
• 21: Blaauw, G. A., "The Structure of SYSTEM/360: Part V---Multisystem Organization," IBM System Journal, Vol. 3, No. 2, 1964, pp. 181--195.
• 22: A Guide to the IBM System/360 Model 145, IBM Corporation, Technical Publications Department, White Plains, New York, Third Edition, August 1972.
• 23: F. J. Corbató , J. H. Saltzer , C. T. Clingen, Multics: the first seven years, Proceedings of the November 16-18, 1971, fall joint computer conference, November 16-18, 1971, Las Vegas, Nevada [doi>10.1145/1478873.1478950]
• 24: Barry R. Borgerson, Dynamic confirmation of system integrity, Proceedings of the December 5-7, 1972, fall joint computer conference, part I, December 05-07, 1972, Anaheim, California [doi>10.1145/1479992.1480003]
• 25: John H. Wensley, SIFT: software implemented fault tolerance, Proceedings of the December 5-7, 1972, fall joint computer conference, part I, December 05-07, 1972, Anaheim, California [doi>10.1145/1479992.1480025]
• 26: Levy, H. O. and R. B. Conn, "A Simulation Program for Reliability Prediction of Fault Tolerant Systems," Digest of the Fifth International Symposium on Fault-Tolerant Computing, Paris, France, June 1975, pp. 104--109.
• 27: A. L. Hopkins , T. B. Smith, The Architectural Elements of a Symmetric Fault-Tolerant Multiprocessor, IEEE Transactions on Computers, v.24 n.5, p.498-505, May 1975 [doi>10.1109/T-C.1975.224252]
• 28: Tang, D. T. and R. T. Chien, "Coding for Error Control," IBM Systems Journal, Vol. 8, No. 1, 1969, pp. 48--86.
• 29: Behrooz Parhami , Algirdas Avižienis, A study of fault tolerance techniques for associative processors, Proceedings of the May 6-10, 1974, national computer conference and exposition, May 06-10, 1974, Chicago, Illinois [doi>10.1145/1500175.1500299]
• 30: A. Avizienis, Arithmetic Error Codes: Cost and Effectiveness Studies for Application in Digital System Design, IEEE Transactions on Computers, v.20 n.11, p.1322-1331, November 1971 [doi>10.1109/T-C.1971.223134]
• 31: W. G. Bouricius , W. C. Carter , P. R. Schneider, Reliability modeling techniques for self-repairing computer systems, Proceedings of the 1969 24th national conference, p.295-309, August 26-28, 1969 [doi>10.1145/800195.805940]
• 32: Barlow, R. W. and F. Proschan, Mathematical Theory of Reliability, Wiley and Sons, 1965.
• 33: Griesmer, J. E., R. E. Miller, J. P. Roth, "The Design of Digital Circuits to Eliminate Catastrophic Failures," Redundancy Techniques for Computing Systems, Spartan Press, Inc., Washington, D.C., 1962, pp. 328--348.
• 34: Bricker, J. L., "A Unified Method for Analyzing Mission Reliability for Fault-Tolerant Computer Systems," IEEE Transactions on Reliability, Vol. R-22, No. 2, June 1973, pp. 72--77.
• 35: Ng, Y. W. and A. Avižienis, "A Unifying Reliability Model for Closed Fault-Tolerant Systems," Digest of the Fifth International Symposium on Fault-Tolerant Computing, Paris, France, June 1975, p. 224; full text to appear in IEEE Transactions on Computers.
• 36: T. F. Arnold, The Concept of Coverage and Its Effect on the Reliability Model of a Repairable System, IEEE Transactions on Computers, v.22 n.3, p.251-254, March 1973 [doi>10.1109/T-C.1973.223703]
• 37: Merryman, P. M. and A. Avižienis, "Modeling Transient Faults in TMR Computer Systems," Proceedings 1975 Annual Reliability and Maintainability Symposium, Washington, D.C., January 1975, pp. 333--339.
• 38: Ying-Wah Ng, Reliability modeling and analysis for fault-tolerant computers., University of California, Los Angeles, 1976
• 39: Hardie, F. H. and R. S. Suhocki, "Design and Use of Fault Simulation for Saturn Computer Design," IEEE Transactions on Computers, Vol. EC-16, August 1967, pp. 412--429.
• 40: Chang, H. Y., G. W. Smith, Jr. and R. B. Walford, "LAMP: System Description," The Bell System Technical Journal, Vol. 53, No. 8, October 1974, pp. 1431--1449.
• 41: Algirdas Avižienis, Fault-tolerance and fault-intolerance: Complementary approaches to reliable computing, Proceedings of the international conference on Reliable software, p.458-464, April 21-23, 1975, Los Angeles, California
• 42: Shooman, M. L., "Operational Testing and Software Reliability Estimation During Program Development," Proceedings of the 1973 IEEE Symposium on Computer Software Reliability, New York City, 1973, pp. 51--56.
• 43: Moranda, P. B., "Prediction of Software Reliability during Debugging," Proceedings of the 1975 Annual Reliability and Maintainability Symposium, January 1975, pp. 327--332.
• 44: Elmendorf, W. R., "Fault-Tolerant Programming," Digest of the 1972 International Symposium on Fault-Tolerant Computing, IEEE Computer Society, 1972, pp. 79--83.
• 45: Randell, B., "System Structure for Software Fault Tolerance," IEEE Transactions on Software Engineering, Vol. SE-1, No. 2, June 1975, pp. 220--232.