Conceptual Modeling of Coincident Failures in Multiversion Software

IEEE Transactions on Software Engineering

Volumn 15, Issue 12, 1989, Pages 1596-1614

  Littlewood, Bev ^a   Miller, Douglas R ^b  

^a CITY UNIVERSITY   (United Kingdom)

^b GEORGE WASHINGTON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SYSTEMS, DIGITAL--FAILURE; FAILURE ANALYSIS;

CONCEPTUAL MODELING; SOFTWARE FAULT TOLERANCE;

COMPUTER SOFTWARE;

EID: 0024884032     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.58771     Document Type: Article

References (15)

1. A. Avizienis, “The n-version approach to fault tolerant software,” IEEE Trans. Software Eng., vol. SE-11, no. 12, pp. 1491–1501, 1985.
2. P.G. Bishop et al., “PODS-A project on diverse software,” IEEE Trans. Software Eng., vol. SE-12, no. 9, pp. 929–940, 1986.
3. D.E. Eckhardt and L.D. Lee, “A theoretical basis for the analysis of redundant software subject to coincident errors,” NASA Tech. Memo. 86369, Jan. 1985.
4. D.E. Eckhardt, “A theoretical basis for the analysis of multiversion software subject to coincident errors,” IEEE Trans. Software Eng., vol. SE-11, no. 12, pp. 1511–1517, 1985.
5. G.H. Hardy, J.E. Littlewood, and G. Polya, Inequalities, 2nd ed. London: Cambridge University Press, 1973.
6. J.P.J. Kelly and A. Avizienis, “A specification-oriented multiversion software experiment,” Dig. 13th Fault-Tolerant Computing Symp. (FTCS-13), Milan, Italy, 1983, pp. 120–126.
7. J.C. Knight and P.E. Ammann, “An experimental evaluation of simple methods for seeding program errors,” in Proc. 8th Int. Conf. Software Engineering. Washington, DC: IEEE Computer Society Press, 1985, pp. 337–342.
8. J.C. Knight and N.G. Leveson, “An experimental evaluation of the assumption of independence in multiversion programming,” IEEE Trans. Software Eng., vol. SE-12, no. 1, pp. 96–109, 1986.
9. J.C. Knight, “An empirical study of failure probabilities in multiversion software,” in Dig. Fault-Tolerant Computing Symp. (FTCS-16), Vienna, Austria, 1986, pp. 165–170.
10. B. Littlewood and D.R. Miller, “A conceptual model of multiversion software,” in Dig. 17th Annu. Symp. Fault-tolerant Computing (FTCS-17). Washington, DC: IEEE Comput. Soc. Press, 1987, pp. 150–155.
11. B. Littlewood, “A conceptual model of the effect of diverse methodologies on coincident failures in multiversion software,” in Proc. 3rd Int. Conf. Fault-Tolerant Computing Systems, Bremerhaven. Berlin: Springer-Verlag, 1987, pp. 263–272.
12. A.W. Marshall and I. Olkin, Inequalities: Theory of Majorization and Its Applications. New York: Academic, 1979.
13. P.M. Nagel, F.W. Scholz, and J.A. Skrivan, “Software reliability: Additional investigations into modeling with replicated experiments,” NASA Langley Research Center, NASA Contractor Rep. 172378, June 1984.
14. P.M. Nagel and J.A. Skrivan, “Software reliability: Repetitive run experimentation and modelling,” NASA Langley Research Center, NASA Contractor Rep. 165836, Feb. 1982.
15. B. Randell, “System structure for software fault tolerance,” IEEE Trans. Software Eng., vol. SE-1, no. 2, pp. 220–232, 1975.