Towards measurement of confidence in safety cases

International Symposium on Empirical Software Engineering and Measurement

Volumn , Issue , 2011, Pages 380-383

  Denney, Ewen ^a   Pai, Ganesh ^c   Habli, Ibrahim ^b  

^a NASA AMES RESEARCH CENTER   (United States)

^b UNIVERSITY OF YORK   (United Kingdom)

^c NONE

Author keywords

Bayesian networks; Measurement; Safety; Safety case; Uncertainty

Indexed keywords

ACCIDENT PREVENTION; BAYESIAN NETWORKS; MEASUREMENT; SAFETY FACTOR; SOFTWARE ENGINEERING; UNMANNED AERIAL VEHICLES (UAV);

BAYESIAN NETWORKS (BNS); GOAL STRUCTURING NOTATION; PROCESS MATURITY; QUANTITATIVE MEASUREMENT; SAFETY CASE; SAFETY-CRITICAL FUNCTIONS; UNCERTAINTY; UNMANNED AIRCRAFT SYSTEM;

UNCERTAINTY ANALYSIS;

EID: 84858744920     PISSN: 19493770     EISSN: 19493789     Source Type: Conference Proceeding    
DOI: 10.1109/esem.2011.53     Document Type: Conference Paper

References (13)

1. F. Jensen, Bayesian Networks and Decision Graphs. Springer-Verlag, 2001.
2. T. Kelly and R. Weaver, "The goal structuring notation - a safety argument notation, " in Proc. Dependable Systems and Networks Workshop on Assurance Cases, Jul. 2004.
3. M. Stamatelatos et al., "Probabilistic risk assessment, " NASA OSMA, Procedures and Guide for NASA managers and practitioners 1.1, Aug. 2002.
4. C. H. Cave, "An Independent Review Into the Broader Issues Surrounding the Loss Of The RAF Nimrod MR2 Aircraft XV230 In Afghanistan in 2006, " The Stationary Office, Tech. Rep., 2006.
5. R. Hawkins, T. Kelly, J. Knight, and P. Graydon, "A new approach to creating clear safety arguments, " in Proc. Safety Critical Systems Symp., Feb. 2011.
6. P. Bishop, R. Bloomfield, B. Littlewood, A. Povyakalo, and D. Wright, "Towards a formalism for conservative claims about the dependability of software-based systems, " IEEE Trans. Soft. Eng. (Article in Press), vol. PP, no. 99, 2010.
7. R. Bloomfield, B. Littlewood, and D. Wright, "Confidence: its roles in dependability cases for risk assessment, " in Proc. 37th Int. Conf. Dependable Systems and Networks, 2007.
8. B. Littlewood and D. Wright, "The use of multilegged arguments to increase confidence in safety claims for software-based systems: A study based on a BBN analysis of an idealized example, " IEEE Trans. Soft. Eng., vol. 33, no. 5, pp. 347-365, May 2007.
9. C. Menon, R. Hawkins, and J. McDermid, "Interim standard of best practice on software in the context of DS 00-56 Issue 4, " SSEI, University of York, Standard of Best Practice Issue 1, 2009.
10. C. Ippolito, "Wind tunnel calibration of the exploration aerial vehicle (EAV) five-hole pitot probe, " NASA Ames Research Center, Technical Report, 2006.
11. E. Denney and S. Trac, "A software safety certification tool for automatically generated guidance, navigation and control code, " in IEEE Aerospace Conf. Electronic Proc., Big Sky, Montana: IEEE, 2008.
12. N. Fenton, M. Neil, and J. Caballero, "Using ranked nodes to model qualitative judgments in Bayesian networks, " IEEE Trans. Knowledge and Data Eng., vol. 19, no. 10, pp. 1420-1432, Oct. 2007.
13. V. Basili, G. Caldiera, and D. Rombach, "Goal question metric approach, " in Encyclopedia of Soft. Eng. John Wiley, 1994, pp. 528-532.