Estimating bounds on the reliability of diverse systems

IEEE Transactions on Software Engineering

Volumn 29, Issue 4, 2003, Pages 345-359

  Popov, Peter ^a   Strigini, Lorenzo ^a   May, John ^b   Kuball, Silke ^b  

^a CITY UNIVERSITY   (United Kingdom)

^b UNIVERSITY OF BRISTOL   (United Kingdom)

Author keywords

Common mode failure; Demand space partitioning; Design diversity; Software fault tolerance; Subdomain testing

Indexed keywords

FAILURE ANALYSIS; FAULT TOLERANT COMPUTER SYSTEMS; RELIABILITY; STATISTICAL METHODS; SYSTEMS ANALYSIS;

COMMON MODE FAILURE; DEMAND SPACE PARTITIONING; DESIGN DIVERSITY; DIVERSE SYSTEMS; SOFTWARE FAULT TOLERANCE; SUBDOMAIN TESTING;

SOFTWARE ENGINEERING;

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

References (24)

1. M.R. Lyu, "Software Fault Tolerance," Trends in Software, p. 337, 1995.
2. MoD "Requirements for Safety Related Software in Defence Equipment," UK Ministry of Defence, Defence Standard 00-55, Issue 2, Aug. 1997.
3. P.G. Bishop and F.D. Pullen, "PODS Revisited-A Study of Software Failure Behaviour," Proc. 18th Int'l Symp. Fault-Tolerant Computing, 1988.
4. J.C. Knight and N.G. Leveson, "An Experimental Evaluation of the Assumption of Independence in Multi-Version Programming," IEEE Trans. Software Eng., vol. 12, pp. 96-109, 1986.
5. B. Littlewood and L. Strigini, "Validation of Ultra-High Dependability for Software-based Systems," Comm. the ACM, vol. 36, pp. 69-80, 1993.
6. D.E. Eckhardt and L.D. Lee, "A Theoretical Basis for the Analysis of Multiversion Software Subject to Coincident Errors," IEEE Trans. Software Eng., vol. 11, pp. 1511-1517, 1985.
7. R.P. Hughes, "A New Approach to Common Cause Failure," Reliability Eng., vol. 17, pp. 211-236, 1987.
8. B. Littlewood, "The Impact of Diversity Upon Common Mode Failures," Reliability Eng. and System Safety, vol. 51, pp. 101-113, 1996.
9. P.G. Bishop, "Software Fault Tolerance by Design Diversity," Software Fault Tolerance, M. Lyu, ed., pp. 211-229, 1995.
10. B. Littlewood and D.R. Miller, "Conceptual Modelling of Coincident Failures in Multi-Version Software," IEEE Trans. Software Eng., vol. 15, pp. 1596-1614, 1989.
11. V.F. Nicola and A. Goyal, "Modeling of Correlated Failures and Community Error Recovery in Multiversion Software," IEEE Trans. Software Eng., vol. 16, pp. 350-359, 1990.
12. K.B. Djambazov and P. Popov, "The Effects of Testing on the Reliability of Single Version and 1-out-of-2 Software," Proc. Sixth Int'l Symp. Software Reliability Eng, ISSRE'95, 1995.
13. A. Gnrarov, J. Arlat, and A. Avizienis, "On the Performance of Software Fault-Tolerance Strategies," Proc. 10th Int'l Symp. Fault-Tolerant Computing (FTCS-10), 1980.
14. J. Arlat, K. Kanoun, and J.C. Laprie, "Dependability Modelling and Evaluation of Software Fault-Tolerant Systems," IEEE Trans. Computers, vol. 39, pp. 504-513, 1990.
15. A.T. Tai, A. Avizienis, and J.F. Meyer, "Performability Enhancement of Fault-Tolerant Software," IEEE Trans. Reliability, Special Issue on Fault-Tolerant Software, vol. 42, pp. 227-237, 1993.
16. A. Csenki, "Recovery Block Reliability Analysis with Failure Clustering," Dependable Computing for Critical Applications (DCCA-1), Dependable Computing and Fault-Tolerant Systems Series, A. Avizienis and J.-C. Laprie, eds., Fourth ed. pp. 75-103, 1991.
17. J.B. Dugan and M.R. Lyu, "System Reliability Analysis of An N-Version Programming Application," IEEE Trans. Reliability, vol. 43, pp. 513-519, 1994.
18. A. Bondavalli, S. Chiaradonna, F. Di Giandomenico, and L. Strigini, "A Contribution to the Evaluation of the Reliability of Iterative-Execution Software," Software Testing, Verification, and Reliability, vol. 9, pp. 145-166, 1999.
19. R. Geist, A.J. Offutt, and F.C. Harris, "Estimation and Enhancement of Real-Time Software Reliability through Mutation Analysis," IEEE Trans. Computers, vol. 41, pp. 550-558, 1992.
20. A. Bertolino and L. Strigini, "Assessing the Risk Due to Software Faults: Estimates of Failure Rate vs. Evidence of Perfection," Software Testing, Verification, and Reliability, vol. 8, pp. 155-166, 1998.
21. D.E. Eckhardt, A.K. Caglayan, J.C. Knight, L.D. Lee, D.F. McAllister, M.A. Vouk, and J.P.J. Kelly, "An Experimental Evaluation of Software Redundancy as a Strategy for Improving Reliability," IEEE Trans. Software Eng., vol. 17, pp. 692-702, 1991.
22. R.K. Iyer and I. Lee, "Measurement-Based Analysis of Software Reliability," Handbook of Software Reliability Eng., M. Lyu, ed., pp. 303-358, 1996.
23. K.W. Miller, L.J. Morell, R.E. Noonan, S.K. Park, D.M. Nicol, B.W. Murrill, and J.M. Voas, "Estimating the Probability of Failure When Testing Reveals No Failures," IEEE Trans. Software Eng., vol. 18, pp. 33-43, 1992.
24. B. Littlewood, P. Popov, and L. Strigini, "Assessment of the Reliability of Fault-Tolerant Software: a Bayesian Approach," Proc. 19th Int'l Conf. Computer Safety, Reliability, and Security, SAFE-COMP '2000, 2000.