Software reliability and dependability: A roadmap

Proceedings of the Conference on the Future of Software Engineering, ICSE 2000

Volumn , Issue , 2000, Pages 175-188

  Littlewood, Bev ^a   Strigini, Lorenzo ^a  

^a CITY UNIVERSITY   (United Kingdom)

Author keywords

COTS reliability; Dependability modelling and assessment; Diversity; Reliability engineering

Indexed keywords

BEHAVIORAL RESEARCH; DECISION MAKING; RELIABILITY; SOFTWARE ENGINEERING; TECHNOLOGY TRANSFER;

DEPENDABILITY MODELLING AND ASSESSMENT; DIVERSITY; PREDICTION AND DECISION; RELIABILITY ENGINEERING; SCIENTIFIC RESULTS; SOFTWARE DEPENDABILITY; SOFTWARE RELIABILITY ENGINEERING; SOUND ENGINEERINGS;

SOFTWARE RELIABILITY;

EID: 84973491099     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/336512.336551     Document Type: Conference Paper

References (31)

1. E. N. Adams. Optimizing preventive service of software products. IBM Journal of Research and Development 28, 1 (January 1984), 2-14.
2. S. Brocklehurst, B. Littlewood. New ways to get accurate reliability measures. IEEE Software 9, 4 (July 1992), 34-42.
3. R. C. Cheung. A User-Oriented Software Reliability Model. IEEE Transactions on Software Engineering SE-6, 2 (March 1980), 118-125.
4. G. F. Clement, P. K. Giloth. Evolution of Fault Tolerant Switching Systems in AT&T. In A. Avizienis, H. Kopetz and J.-C. Laprie (Eds.) The Evolution of Fault-Tolerant Computing, Springer-Verlag, 1987, 37-54.
5. FAA. Federal Aviation Administration, Advisory Circular AC 25.1309-1A, 1985.
6. J.-C. Fabre et al., Assessment of COTS microkernels by fault injection, in Proc. DCCA-7 (San Jose, California, USA, January 1999), 25-44.
7. N. Fenton, M. Neil. Software Metrics: A Roadmap", in this volume.
8. N. Fenton, S. L. Pfleeger, R. Glass. Science and Substance: A Challenge to Software Engineers. IEEE Software 11, 4 (July 1994), 86-95.
9. N. E. Fenton, M. Neil. A Critique of Software Defect Prediction Models. IEEE Transactions on Software Engineering 25, 5 (September/October 1999), 675-689.
10. N. Fota et al., Safety analysis and evaluation of an air traffic control computing system, in Proc. SAFECOMP '96 (Vienna, Austria, October 1996), 219-229.
11. M. J. Harrold. Testing: A roadmap", in this volume.
12. L. Hat-ton, Programming Languages and safety-Related Systems, in Proc. Safety-Critical Systems Symposium (Brighton, U.K., 1995), 49-64.
13. P. Koopman, J. DeVale, Comparing the robustness of POSIX Operating Systems, in Proc. FTCS-29 (Madison, USA, June 1999), 30-37.
14. H. Kopetz. Software Engineering for Real-time: A roadmap", in this volume.
15. D. R. Kuhn. Sources of failure in the public switched telephone network. IEEE Computer 30, 4 (April 1997), 31-36.
16. J.-C. Laprie, K. Kanoun. X-ware reliability and availability modeling. IEEE Transactions on Software Engineering 18, 2 (February 1992), 130-47.
17. J. C. Laprie (Ed.) Dependability: Basic Concepts and Associated Terminology. Springer-Verlag, 1991.
18. A. Laryd, Operating experience of software in programmable equipment used in ABB Atom nuclear I&C application, in Proc. Advanced Control and Instrumentation Systems in Nuclear Power Plants (Espoo, Finland, June 1994), 31-42.
19. N. G. Leveson. Safeware: system safety and computers. Addison Wesley, 1995.
20. N. G. Leveson, C. S. Turner. An Investigation of the Therac-25 Accidents. IEEE Computer 25, 7 (July 1992), 18-41.
21. B. Littlewood. Software Reliability Model for Modular Program Structure. IEEE Transactions on Reliability 28, 3 (August 1985), 241-246.
22. B. Littlewood, D. R. Miller. Conceptual Modelling of Coincident Failures in Multi-Version Software. IEEE Transactions on Software Engineering SE-15, 12 (December 1989), 1596-1614.
23. B. Littlewood et al. Modelling the effects of combining diverse software fault removal techniques. IEEE Transactions on Software Engineering (to appear).
24. B. Littlewood, L. Strigini. Validation of Ultra-High Dependability for Software-based Systems. Communications of the ACM 36, 11 (November 1993), 69-80.
25. M. R. Lyu (Ed.) Handbook of Software Reliability Engineering. IEEE Computer Society Press and McGraw-Hill, 1996.
26. D. A. Norman. The Design of Everyday Things. Doubleday, 1990.
27. R. R. Panko, R. P. J. Halverson, Spreadsheets on trial: A survey of research on spreadsheet risks, in Proc. HICSS-29 (Wailea, Hawaii, USA, January 1996), 326-335.
28. D. Powell, Failure Mode Assumptions and Assumption Coverage, in Proc. FTCS-22 (Boston, Massachusetts, USA, 1992), 386-395.
29. J. Reason. Human Error. Cambridge University Press, 1990.
30. M. Shooman, Avionics Software Problem Occurrence Rates, in Proc. ISSRE'96 (White Plains, New York, U.S.A., October/November 1996), 55-64.
31. N. J. Ward, The static analysis of safety critical software using MALPAS, in Proc. SAFECOMP'89 (Vienna, Austria, December 1989), 91-96.