Validation of ultrahigh dependability for software-based systems

Communications of the ACM

Volumn 36, Issue 11, 1993, Pages 69-80

  Littlewood, Bev ^a   Strigini, Lorenzo ^b  

^a CITY UNIVERSITY   (United Kingdom)

^b CNR   (Italy)

Author keywords

Risk assessment; safety critical systems; ultrahigh dependability

Indexed keywords

EID: 84976723958     PISSN: 00010782     EISSN: 15577317     Source Type: Journal    
DOI: 10.1145/163359.163373     Document Type: Article

References (23)

1. Abdel-Ghaly, A.A., Chan, P.Y. and Littlewood, B. Evaluation of competing software reliability predictions. IEEE Trans. Soft. Eng. SE-12, 9 (1986), 950-967.
2. Adams, E.N. Optimizing preventive service of software products. IBM J. Res. Develop. 28, 1 (1984), 2-14.
3. Anderson, T., Barrett, P.A., Halli-well, D.N. and Moulding, M.R. Software fault tolerance: An evaluation. IEEE Trans. Softw. Eng. SE-11, 12, (1985), 1502-1510.
4. Avizienis, A. and Kelly, J.P.J. Fault tolerance by design diversity: Concepts and experiments. IEEE. Comput. 17 (1984), 67-80.
5. Barwise, J. Mathematical proofs of computer system correctness. Not. AMS 36 (Sept. 1989), 844-851.
6. Bishop, P.G. and Pullen, F.D. PODS revisited-A study of software failure behavior. In Proceedings of the Eighteenth International Symposium on Fault-Tolerant Computing, (Tokyo, Japan, 1988), pp. 1-8.
7. Curritt, P.A., Dyer, M. and Mills, H.D. Certifying the reliability of software. IEEE Tram. Softw. Eng. SE-12, 1 (1986), pp. 3-11.
8. de Groot, M.H. Optimal Statistical Decisions. McGraw-Hill, New York, 1970.
9. Federal Aviation Administration Advisory Circular, AC 25.1309-1A.
10. Garrick, B.J. The approach to risk analysis in three industries: Nuclear power, space systems, and chemical process. Reliability Eng. Syst. Safety 23 (1988), 195-205.
11. Giloth, F.K. and Prantzen, K.D. Can the reliability of digital telecommunication switching systems be predicted and measured? In Proceedings of the Thirteenth International Symposium on Fault-Tolerant Computing, (Milano, Italy, 1983), pp. 392-397.
12. Knight, J.C. and Leveson, N.G. An empirical study of failure probabilities in multi-version software. In Proceedings of the Sixteenth International Symposium on Fault-Tolerant Computing (Vienna, Austria, 1986), pp. 165-170.
13. Leveson, N. Software safety in embedded computer systems. Commun. ACM 34, 2 (1991), 34-46.
14. Littlewood, B. Limits to evaluation of software dependability. In Software Reliability and Metrics (Proceedings of Seventh Annual CSR Conference, Garmisch-Partenkirchen), N. Fenton and B. Littlewood, Eds. Elsevier. London, pp. 81-110.
15. Littlewood, B. and Miller, D.R. Conceptual modeling of coincident failures in multiversion software. IEEE Trans. Softw. Eng. SE-15, 12 (1989), 1596-1614.
16. Miller, D.R. The role of statistical modelling and inference in software quality assurance. In Software Certification Elsevier, Barking, Essex, UK, 1989, pp. 135-152.
17. Parnas, D.L., van Schouwen, A.J. and Kwan, S.P. Evaluation of safety-critical software. Commun. ACM 33, 6 (June 1990), 636-648.
18. Perrow, C. Normal Accidents-Living with High Risk Technologies, Basic Books, New York, 1984.
19. Powell. I. Failure mode and assumption coverage. In Proceedings of the Twenty-Second International Symposium on Fault-Tolerant Computing (Boston, Mass., 1992), pp. 386-395.
20. RI CA Committee SC-176, Software Considerations in Airborne Systems and Equipment Certification. Draft DO-178-B.7, July 27, 1992. RTCA, (Requirements and Technical Concepts for Aviation), 1140 Connecticut Ave, NW, Suite 1020, Washington DC 20036.
21. RTCA/EUROCAE: (Radio Technical Commission for Aeronautics and European Organization for Cavil Aviation Electronics). Software Considerations in Airborne Systems and Equipment Certification, Doc. DO178A/EUROCAE ED-12A, 1985.
22. Wainwright, N. Software aspects of digital computer based protection systems. Assessment Guide AG3, Nuclear Installations Inspectorate, Issue 1 (draft), 1991.
23. Wright, G. and Ayton, P. Judgemental Forecasting. Wiley and Sons, Chichester, UK. 1987.