Implementing design diversity to achieve fault tolerance

IEEE Software

Volumn 8, Issue 4, 1991, Pages 61-71

  Kelly, John P J ^a   McVittie, Thomas I ^a   Yamamoto, Wayne I ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; REDUNDANCY;

BACK-TO-BACK TESTING; MULTIVERSION SOFTWARE; RANDOM DIVERSITY; REAL-TIME CONCURRENT SYSTEMS; RECOVERY BLOCK SOFTWARE; SOFTWARE FAULTS;

COMPUTER SYSTEMS, DIDITAL;

EID: 0026187361     PISSN: 07407459     EISSN: None     Source Type: Journal    
DOI: 10.1109/52.300038     Document Type: Article

References (12)

1. T. Anderson et al., “Software Fault Tolerance: An Evaluation,” IEEE Trans. Software Eng., Dec. 1985, pp. 1,502–1,510.
2. J.P.J. Kelly, T. McVittie, and S. Murphy, “Techniques for Building Reliable Distributed Systems: Multiversion Software Testing,” Digest 20th Arm. Fault-Tolerant Computing Symp., CS Press, Los Alamitos, Calif., 1990, pp 400–407.
3. A. Avižienis and J. P. J. Kelly, “Fault Tolerance by Design Diversity: Concepts and Experiments,” Computer, Aug. 1984, pp. 67–80.
4. B. Randell, “System Structure for Software Fault Tolerance,” IEEE Trans. Software Eng., June 1975, pp. 220–232.
5. A. Avižienis and L. Chen, “On the Implementation of N-Version Programming for Software Fault-Tolerance During Execution,” Proc. Computer Software and Applications Conf., CS Press, Los Alamitos, Calif., 1977, pp 149–155.
6. T. Anderson and J. Knight, “A Framework for Software Fault Tolerance in Real-Time Systems,” IEEE Trans. Software Eng., May 1983, pp. 355–364.
7. S.S. Brilliant and J.C. Knight, “On the Performance of Software Testing Using Multiple Versions,” Digest 20th Ann. Fault-Tolerant Computing Symp., CS Press, Los Alamitos, Calif., 1990, pp 408–415.
8. H. Hecht, “Fault-Tolerant Software for Real-Time Applications,” Computing Surveys, Dec. 1976, pp. 391–407.
9. J.P.J. Kelly and S. Murphy, “Achieving Dependability Throughout the Development Process: A Distributed Software Experiment,” IEEE Trans. Software Eng., Feb. 1990, pp 153–165.
10. B. Littlewood and D. R. Miller, “Conceptual Modeling of Coincident Failures in Multiversion Software,” IEEE Trans. Software Eng., Dec. 1989, pp 1,596–1,614.
11. D. Eckhardt, Jr. and L. Lee, “A Theoretical Basis for the Analysis of Multiversion Software Subject to Co-incident Errors,” IEEE Trans. Software Eng., Dec. 1985, pp 1,511–1,517.
12. J. C. Knight and N. G. Leveson, “An Experimental Evaluation of the Assumption of Independence in Multiversion Programming,” IEEE Trans. Software Eng., Jan. 1986, 96–109.