Fault Tolerance by Design Diversity: Concepts and Experiments

Computer

Volumn 17, Issue 8, 1984, Pages 67-80

  Avižienis, Algirdas ^a   Kelly, John P ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DESIGN DIVERSITY; MULTIPLE-COMPUTATION APPROACH;

COMPUTER SYSTEMS, DIGITAL;

EID: 0021471901     PISSN: 00189162     EISSN: None     Source Type: Trade Journal    
DOI: 10.1109/MC.1984.1659219     Document Type: Article

References (20)

1. A. Avižienis, ed., “Special Issue on Fault-Tolerant Digital Systems,” Proc. IEEE, Vol. 66, No. 10, Oct. 1978.
2. A. Avižienis and L. Chen, “On the Implementation of N-Version Programming for Software Fault-Tolerance During Execution,” Proc. Compsac 77, Nov. 1977, pp.149-155
3. T. Anderson and P.A. Lee, Fault Tolerance, Principles, and Practice, Prentice-Hill International, London, England 1981, pp. 249–291.
4. F. Cristian, “Exception Handling and Software Fault Tolerance,” IEEE Trans. Computers, Vol. C-31, No. 6. June 1982, pp. 531–539.
5. J. Goldberg, “SIFT: A Provable Fault-Tolerant Computer for Aircraft Flight Control,” Proc. IFIP Congress 80, pp. 151–156.
6. L. Chen and A. Avižienis, “N-Version Programming: A Fault-Tolerance Approach to Reliability of Software Operation,” Digest of Eighth Annual Int'l Conf. Fault-Tolerant Computing, June 1978, pp. 3–9
7. P. Morrison and E. Morrison, eds., Charles Babbage and His Calculating Engines, Dover Publications, Inc., New York, 1961, p. 177.
8. L. Gmeiner and U. Voges, “Software Diversity in Reactor Protection Systems: An Experiment,” Proc. IF AC Workshop Safecomp 79.
9. W. C. Carter, “Architectural Considerations for Detecting Run Time Errors in Programs,” Digest of 13th Annual Int'l Symp. Fault-Tolerant Computing, June 1983, pp. 249–256.
10. T. Anderson and J. C. Knight, “A Framework for Software Fault Tolerance in Real-Time Systems,” IEEE Trans. Software Eng., Vol. SE-9, No. 3, May 1983, pp. 355–364.
11. J. P. J. Kelly and A. Avižienis, “A Specification-Oriented Multiversion Software Experiment” Digest of 13th Annual Int'l Symp. Fault-Tolerant Computing, June 1983, pp. 120–126.
12. J. A. Goguen and J. J. Tardo, “ An Introduction to OBJ: A Language for Writing and Testing Formal Algebraic Program Specifications,” Proc. Specifications Reliable Software, 79CH1401-9C, Apr. 1979, pp. 170–189.
13. B. H. Liskov and V. Berzins, “An Appraisal of Program Specifications,” Research Directions in Software Technology, P. Wegner, ed., MIT Press, Cambridge, Mass., 1979, pp. 170–189.
14. H. Ehrig, H. Kreowski, and H. Weber, “Algebraic Specification Schemes for Database Systems,” Proc. Fourth Int'l. Conf Very Large Databases, Sept. 1978, pp. 427–440.
15. D. L. Parnas, “The Role of Program Specification,” Research Directions in Software Technology, P. Wegner, ed., MIT Press, Cambridge, Mass., 1979, pp. 364–370.
16. J. V. Guttag and J. J. Horning, “An Introduction to the Larch Shared Language,” Proc. IFIP Congress 83, pp. 809–814.
17. P. M. Melliar-Smith, “System Specifications,” Computing Systems Reliability, T. Anderson and B. Randell, eds., Cambridge University Press, Cambridge, England, 1979.
18. G. Popek et al., “LOCUS—A Network Transparent, High Reliability Distributed System,” UCLA Computer science Department Quarterly, Vol. 9, No. 1, Winter 1981, pp. 75–88.
19. R. M. Burstall and J. A. Goguen, “An Informal Introduction to Specifications Using CLEAR,” The Correctness Problem in Computer Science, R. Boyer and H. Moore, eds., Academic Press, New York, 1981, pp. 185–213.
20. J. P. J. Kelly, “Specification of Fault-Tolerant Multiversion Software: Experimental Studies of a Design Diversity Approach,” UCLA Computer Science Department, tech, report CSD-820927, Sept. 1982.