Toward a formalism for conservative claims about the dependability of software-based systems

IEEE Transactions on Software Engineering

Volumn 37, Issue 5, 2011, Pages 708-717

  Bishop, Peter ^a,b   Bloomfield, Robin ^a,b   Littlewood, Bev ^a   Povyakalo, Andrey ^a   Wright, David ^a  

^a CITY UNIVERSITY   (United Kingdom)

^b ADELARD LLP   (United Kingdom)

Author keywords

Bayesian probability; safety case; software reliability

Indexed keywords

BAYESIAN PROBABILITIES; EXPERT JUDGMENT; HIGH CONFIDENCE; PROBABILITY OF FAILURE ON DEMAND; SAFETY CASE; SOFTWARE-BASED;

SOFTWARE RELIABILITY;

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

References (24)

1. P.G. Bishop and R.E. Bloomfield, "The SHIP Safety Case," Proc. 14th IFAC Conf. Computer Safety, Reliability and Security, 1995.
2. R.E. Bloomfield, P.G. Bishop, C.C.M. Jones, and P.K.D. Froome, ASCAD-Adelard Safety Case Development Manual. Adelard, 1998.
3. J. Gorski, "Trust Case-A Case for Trustworthiness of IT Infrastructures," Proc. NATO Advanced Research Workshop Cyberspace Security and Defence: Research Issues, 2004.
4. T.P. Kelly and R.A. Weaver, "The Goal Structuring Notation-A Safety Argument Notation," Proc. Workshop Assurance Cases Dependable Systems and Networks, 2004.
5. J. Penny, A. Eaton, P.G. Bishop, and R.E. Bloomfield, "The Practicalities of Goal-Based Regulation," Proc. Ninth Safety-Critical Systems Symp., 2001.
6. SW01: Regulatory Objective for Software Safety Assurance in Air Traffic Service Equipment. Civil Aviation Authority, 2001.
7. Def-Stan 00-56, Issue 4: Safety Management Requirements for Defence Systems. Ministry of Defence, 2007.
8. R. Bloomfield and B. Littlewood, "Multi-Legged Arguments: The Impact of Diversity Upon Confidence in Dependability Arguments," Proc. Int'l Conf. Dependable Systems and Networks, 2003.
9. R. Bloomfield and B. Littlewood, "Confidence: Its Role in Dependability Cases for Risk Assessment," Proc. Int'l Conf. Dependable Systems and Networks, 2007.
10. B. Littlewood and D. Wright, "The Use of Multi-Legged Arguments to Increase Confidence in Safety Claims for Software-Based Systems: A Study Based on a BBN of an Idealized Example," IEEE Trans. Software Eng., vol. 33, no. 5, pp. 347-365, May 2007. (Pubitemid 46681202)
11. W.L. Oberkampf and J.C. Helton, "Alternative Representations of Epistemic Uncertainty," Reliability Eng. and System Safety, vol. 85, special issue, 2004.
12. B. Littlewood and D. Wright, "Some Conservative Stopping Rules for the Operational Testing of Safety-Critical Software," IEEE Trans. Software Eng., vol. 23, no. 11, pp. 673-683, Nov. 1997. (Pubitemid 127762230)
13. D.L. Parnas, A.J.V. Schowan, and S.P. Kwan, "Evaluation of Safety-Critical Software," Comm. ACM, vol. 33, no. 6, pp. 636-648, 1990.
14. R.M. Cooke, "Expert Judgement," Reliability Eng. and System Safety, vol. 93, no. 5, special issue, 2008.
15. D.M. Hunns and N. Wainwright, "Software-Based Protection for Sizewell B: The Regulator's Perspective," Proc. Nuclear Eng. Int'l., pp. 38-40, Sept. 1991.
16. J. May, G. Hughes, and A.D. Lunn, "Reliability Estimation from Appropriate Testing of Plant Protection Software," Software Eng. J., vol. 10, no. 6, pp. 206-218, 1995.
17. The Use of Computers in Safety-Critical Applications. HSE Books, 1998.
18. Safety Assessment Principles for Nuclear Facilities. Health and Safety Executive, 2006.
19. IEC61508: Functional Safety of Electrical, Electronic and Programmable Electronic Safety Related Systems, Parts 1 to 7. Int'l Electrotechnical Commission, 2000.
20. Def-Stan 00-56, Issue 2: Hazard Analysis and Safety Classification of the Computer and Programmable Electronic Systems Elements of Defence Equipment. Ministry of Defence, 1996.
21. R.W. Butler and G.B. Finelli, "The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software," IEEE Trans Software Eng., vol. 19, no. 1, pp. 3-12, Jan. 1993.
22. B. Littlewood and L. Strigini, "Validation of Ultra-High Dependability for Software-Based Systems," Comm. ACM, vol. 36, no. 11, pp. 69-80, 1993.
23. Software Considerations in Airborne Systems and Equipment Certification, DO-178B. Requirements and Technical Concepts for Aeronautics, 1992.
24. G. Guiho and C. Hennebert, "SACEM Software Validation," Proc. 12th Int'l Conf. Software Eng., 1990.