Assessment of the reliability of fault-tolerant software: A Bayesian approach

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1943, Issue , 2000, Pages 294-308

  Littlewood, Bev ^a   Popov, Peter ^a   Strigini, Lorenzo ^a  

^a CITY UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

BAYESIAN NETWORKS; FAULT TOLERANCE; PROGRAM DEBUGGING; SOFTWARE DESIGN;

BAYESIAN APPROACHES; DESIGN DIVERSITY; FAULT TOLERANT SYSTEMS; FAULT-TOLERANT SOFTWARE; MULTI-VERSION; PRIOR DISTRIBUTION; RELIABILITY BENEFITS; SOFTWARE SYSTEMS;

SOFTWARE RELIABILITY;

EID: 84856454455     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-40891-6_26     Document Type: Conference Paper

References (14)

1. Knight, J.C. and N.G. Leveson, An Experimental Evaluation of the Assumption of Independence in Multi-Version Programming. IEEE Transactions on Software Engineering, 1986. SE-12(1): p. 96-109.
2. Knight, J.C. and N.G. Leveson. An empirical study of failure probabilities in multi-version software. in 16th International Symposium on Fault-Tolerant Computing (FTCS-16). 1986. Vienna, Austria: IEEE Computer Society Press.
3. Voges, U., ed. Software diversity in computerized control systems. Dependable Computing and Fault-Tolerance series, ed. A. Avizienis, H. Kopetz, and J.C. Laprie. Vol. 2. 1988, Springer-Verlag: Wien.
4. Briere, D. and P. Traverse. Airbus A320/A330/A340 Electrical Flight Controls – A Family Of Fault-Tolerant Systems. in 23rd International Symposium on Fault- Tolerant Computing (FTCS-23). 1993. Toulouse, France, 22 - 24: IEEE Computer Society Press.
5. Kantz, H. and C. Koza. The ELEKTRA Railway Signalling-System: Field Experience with an Actively Replicated System with Diversity. in 25th IEEE Annual International Symposium on Fault -Tolerant Computing (FTCS-25). 1995. Pasadena, California: IEEE Computer Society Press.
6. Eckhardt, D.E. and L.D. Lee, A theoretical basis for the analysis of multiversion software subject to coincident errors. IEEE Transactions on Software Engineering, 1985. SE-11(12): p. 1511-1517.
7. Littlewood, B. and D.R. Miller, Conceptual Modelling of Coincident Failures in Multi-Version Software. IEEE Transactions on Software Engineering, 1989. SE-15(12): p. 1596-1614.
8. Musa, J.D., A. Iannino, and K. Okumoto, Software Reliability: Measurement, Prediction, Application. 1987: McGraw-Hill International Editions. 621.
9. Brocklehurst, S., et al., Recalibrating software reliability models. IEEE Transactions on Software Engineering, 1990. SE-16(4): p. 458-470.
10. Littlewood, B. and L. Strigini, Validation of Ultra-High Dependability for Software-based Systems. Communications of the ACM, 1993. 36(11): p. 69-80.
11. Butler, R.W. and G.B. Finelli. The Infeasibility of Experimental Quantification of Life-Critical Software Reliability. in ACM SIGSOFT '91 Conference on Software for Critical Systems, in ACM SIGSOFT Software Eng. Notes, Vol. 16 (5). 1991. New Orleans, Louisiana.
12. Johnson, N.L. and S. Kotz, Distributions in Statistics: Continuous Multivariate Distributions. Wiley Series in Probability and Mathematical Statistics, ed. R.A. Bradley, Hunter, J. S., Kendall, D. G., Watson, G. S. Vol. 4. 1972: John Weley and Sons, INc. 333.
13. Miller, K.W., et al., Estimating the Probability of Failure When Testing Reveals No Failures. IEEE Transactions on Software Engineering, 1992. 18(1): p. 33-43.
14. Littlewood, B. and D. Wright, Some conservative stopping rules for the operational testing of safety-critical software. IEEE Transactions on Software Engineering, 1997. 23(11): p. 673-683.