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 Transactions on Software Engineering

Volumn 33, Issue 5, 2007, Pages 347-365

  Littlewood, Bev ^a   Wright, David ^a  

^a CITY UNIVERSITY   (United Kingdom)

Author keywords

Bayesian belief networks; Safety arguments; Safety claims; Software reliability; Software safety

Indexed keywords

BAYESIAN NETWORKS; NUMERICAL METHODS; PROBABILITY; SOFTWARE ENGINEERING; VERIFICATION;

SAFETY ARGUMENTS; SAFETY CLAIMS; SOFTWARE SAFETY; SOFTWARE-BASED SYTEMS;

SOFTWARE RELIABILITY;

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

References (26)

1. Requirements for Safety Related Software in Defence Equipment, Def Stan 00-55, no. 2., UK Ministry of Defence, Aug. 1997.
2. "Regulatory Objective for Software Safety Assurance in Air Traffic Service Equipment," CAA SW01, UK Civil Aviation Authority, 2001.
3. R.E. Bloomfield and B. Littlewood, "Multi-Legged Arguments: The Impact of Diversity upon Confidence in Dependability Arguments," Proc. Int'l Conf. Dependable Systems and Networks (DSN '03), pp. 25-34, 2003.
4. D.E. Eckhardt and L.D. Lee, "A Theoretical Basis for the Analysis of Multi-Version Software Subject to Coincident Errors," IEEE Trans. Software Eng., vol. 11, no. 12, pp. 1511-1517, Dec. 1985.
5. B. Littlewood and D.R. Miller, "Conceptual Modeling of Coincident Failures in Multiversion Software," IEEE Trans. Software Eng., vol. 15, pp. 1596-1614, 1989.
6. J.C. Knight and N.G. Leveson, "An Experimental Evaluation of the Assumption of Independence in Multi-Version Programming," IEEE Trans. Software Eng., vol. 12, no. 1, pp. 96-109, Jan. 1986.
7. J. Pearl, Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference, Mathematics and Its Applications, revised second printing. Morgan Kaufmann, 1991.
8. M. Volf and M. Studený, "A Graphical Characterisation of the Largest Chain Graphs," Int'l J. Approximate Reasoning, vol. 20, no. 3, pp. 209-236, ftp://ftp.utia.cas.cz/pub/staff/studeny/ volstu.ps, 1999.
9. D.R. Wright, "Elicitation and Validation of Graphical Dependability Models," technical report, ROPA Project Report, City Univ., www.csr.city.ac.uk/people/david.wright/ropa/, 2003.
10. A.P. Dawid, "Conditional Independence in Statistical Theory," J. Royal Statistical Sec. B, vol. 41, no. 1, pp. 1-31, 1979.
11. R.G. Cowell, A.P. Dawid, S.L. Lauritzen, and D.J. Spiegelhalter, "Probabilistic Networks and Expert Systems," Statistics for Engineering and Information Science, Springer, 1999.
12. S.L. Lauritzen, Graphical Models. Clarendon Press, 1996.
13. G. Shafer, "Probabilistic Expert Systems," Proc. Conf. Board Math. Sciences - Nat'l Science Foundation Regional Conf. Series Applied Math. 1996.
14. A.P. Dawid, "Conditional Independence for Statistical Operations," Annals of Statistics, vol. 8, no. 3, pp. 598-617, 1980.
15. M. Studený, "On Mathematical Description of Probabilistic Conditional Independence Structures," DrSc dissertation, Inst. of Information Theory and Automation, Academy of Sciences of the Czech Republic, May 2001.
16. N. Wermuth and S.L. Lauritzen, "On Substantive Research Hypotheses, Conditional Independence Graphs and Graphical Chain Models," with discussion, J. Royal Statistical Soc. B, vol. 52, no. 1, pp. 21-72, 1990.
17. D. Wright, "Elicitation and Validation of Graphical Dependability Models," Proc. 22nd Int'l Conf. Computer Safety (SAFECOMP '03 , S. Anderson, M. Felici, and B. Littlewood, eds., pp. 8-21, Sept. 2003.
18. G. de Barra, Measure Theory and Integration, Mathematics and Its Applications. Ellis Horwood, 1981.
19. M.H. DeGroot, Optimal Statistical Decisions. John Wiley & Sons, 2004.
20. Handbook of Math. Functions, M. Abramowitz and I.A. Stegun, eds. Dover, http://www.math.sfu.ca/~cbm/aands/, 1970.
21. 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.
22. S.K. Andersen, K.G. Olesen, F.V. Jensen, and F. Jensen, "Hugin - A Shell for Building Bayesian Belief Universes for Expert Systems," Proc. 11th Int'l Joint Conf. Artificial Intelligence, pp. 1080-1084, 1989.
23. S. Yih and C.-F. Fan, "Search for the Unnecessary," Nuclear Eng. Int'l, pp. 24-26, 2001.
24. R. Bloomfield, P.-J. Courtois, L. Strigini, and B. Littlewood, "Letter to the Editor," Nuclear Eng. Int'l, p. 11, 2002.
25. "GAP - Groups, Algorithms, and Programming," The GAP Group, http://www.gap-system.org, 2007.
26. L.H. Soicher, "GRAPE: A System for Computing with Graphs and Groups," http://www.gap-system.org/Packages/grape.html, 2007.