An Experimental Evaluation of the Assumption of Independence in Multiversion Programming

IEEE Transactions on Software Engineering

Volumn SE-12, Issue 1, 1986, Pages 96-109

  Knight, John C ^a   Leveson, Nancy G ^b  

^a UNIVERSITY OF VIRGINIA   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Design diversity; fault tolerant software; multiversion; N version programming; programming; software reliability

Indexed keywords

COMPUTER PROGRAMMING;

FAULT TOLERANCE; MULTIVERSION PROGRAMMING;

COMPUTER SOFTWARE;

EID: 0022581573     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSE.1986.6312924     Document Type: Article

References (20)

1. L. Chen and A. Avizienis, “ N -version programming: A fault-tolerance approach to reliabilty of software operation,” in Dig. Papers ETCS-8: 8th Annu. Int. Conf. Fault Tolerant Comput., Toulouse, France, June 1978, pp. 3–9.
2. C. V. Ramamoorthy, Y. R. Mok, E. B. Bastani, G. H. Chin, and K. Suzuki, “Application of a methodology for the development and validation of reliable process control software,” IEEE Trans. Software Eng., vol. SE-7, pp. 537–555, Nov. 1981.
3. J. P. J. Kelly, “Specification of fault-tolerant multi-version software: Experimental studies of a design diversity approach,” Ph.D. dissertation, Univ. California, Los Angeles, 1982.
4. J. P. J. Kelly, and A. Avizienis, “A specification-oriented multi-version software experiment,” in Dig. Papers FTCS-13: 13th Int. Conf. Fault Tolerant Comput., Milan, Italy, June 1983, pp. 120–125.
5. T. Anderson and P. A. Lee, Fault Tolerance: Principles and Practice. Englewood Cliffs, NJ: Prentice-Hall Int., 1981.
6. B. Bonnett, “Software in safety and security critical systems,” presented at COMPCON 84, Washington, DC, Sept. 1984 (transcript of the panel session available from A. W. Friend, ELEX 70343, NAVELEX, Washington, DC 20363).
7. A. Grnarov, J. Arlat, and A. Avizienis, “On the performance of fault-tolerance strategies,” in Dig. Papers FTCS-10: 10th Annu. Int. Conf. Fault Tolerant Comput., Kyoto, Japan, Oct. 1980, pp. 251–253.
8. D. E. Eckhardt and L. D. Lee, “A theoretical basis for the analysis of redundant software subject to coincident errors,” NASA Langley Research Center, Hampton, VA, Rep. NASA TM 86369, Jan. 1985.
9. D. J. Martin, “Dissimilar software in high integrity applications in flight controls,” in Software for Avionics (AGARD Conf. Proc. 330), Jan. 1983, pp. 36-1-36-9.
10. J. R. Taylor, “Letter from the editor,” ACM Software Eng. Notes, vol. 6, no. 1, pp. 1–2, Jan. 1981
11. U. Voges, F. Fetsch, and L. Gmeiner, “Use of microprocessors in a safety-oriented reactor shut-down system,” in Reliability in Electrical and Electronic Components and Systems, E. Lauber and J. Moltoft, Eds. Amsterdam, The Netherlands: North-Holland, 1982, 493–497.
12. G. Dahll and J. Lahti, “An investigation of methods for production and verification of highly reliable software,” in Safety of Computer Control Systems (Proc. SAFECOMP ‘79), L. Lauber, Ed. New York: Pergamon, 1980, pp. 89–94.
13. L. Gmeiner and U. Voges, “Software diversity in reactor protection systems: An experiment,” in Safety of Computer Control Systems (Proc. SAFECOMP ’79), L. Lauber, Ed. New York: Pergamon, 1980, pp. 75–79.
14. A. Avizienis and J. P. J. Kelly, “Fault tolerance by design diversity: Concepts and experiments,” Computer, vol. 17, no. 8, Aug. 1984.
15. J. F. Wakerly, “Microcomputer reliability improvement using triple-modular redundancy,” Proc. IEEE, vol. 64, no. 6, pp. 889–895, June 1976.
16. P. M. Nagel and J. A. Skrivan, “Software Reliability: Repetitive run experimentation and modeling,” NASA Contractor Rep. CR-165836, Feb. 1982.
17. J. R. Dunham, “Experiments in software reliability: Life-critical applications,” IEEE Trans. Software Eng., this issue, pp. 110–123.
18. M. S. Raff, “On approximating the point binomial,” J. Amer. Statist. Ass., vol. 51, 1956.
19. S. S. Brilliant, “Analysis of faults in a multi-version software experiment,” M.S, thesis, Univ. Virginia, Charlottesville, May 1985.
20. L. D. St. Jean, “Testing version independence in multi-version programming,” M.S. thesis, Univ. Virginia, Charlottesville, 1985.