Multi-legged arguments: The impact of diversity upon confidence in dependability arguments

Proceedings of the International Conference on Dependable Systems and Networks

Volumn , Issue , 2003, Pages 25-34

  Bloomfield, Robin ^a   Littlewood, Bev ^a  

^a CITY UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

INTELLECTUAL DIVERSITY; MULTI-LEGGED ARGUMENTS;

COMPUTER SOFTWARE; MATHEMATICAL MODELS; PROBABILITY; PROCESS CONTROL; PRODUCTION;

INTELLIGENT NETWORKS;

EID: 1542300205     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DSN.2003.1209913     Document Type: Conference Paper

References (14)

1. B. Littlewood, P. Popov, and L. Strigini, "Modelling software design diversity - a review," ACM Computing Surveys, vol. 33, pp. 177-208, 2002.
2. D. M. Hunns and N. Wainwright, "Software-based protection for Sizewell B: the regulator's perspective," Nuclear Engineering International, vol. September, pp. 38-40, 1991.
3. HSE, "Safety Assessment Principles for Nuclear Plants," Health and Safety Executive ISBN Oil 882043 5, 1992.
4. MoD, "The Procurement of Safety Critical Software in Defence Equipment," Ministry of Defence Def-Stan 00-55, Issue 2, August, 1997 1997.
5. CAA, "Regulatory Objective for Software Safety Assurance in Air Traffic Service Equipment," Civil Aviation Authority SW01, 2001.
6. M. Henrion and B. Fischhoff, "Assessing uncertainty in physical constants," Americal J. of Physics, vol. 54, pp. 791-798, 1986.
7. J. C. Knight and N. G. Leveson, "A reply to the criticisms of the Knight and Leveson experiment," ACM Software Engineering Notes, vol. 15, 1990.
8. G. Guiho and C. Hennebert, "SACEM software validation," presented at 12th International Conference on Software Engineering, 1990.
9. B. Littlewood, "The use of proofs in diversity arguments," IEEE Trans Software Engineering, vol. 26, pp. 1022-1023, 2000.
10. E. W. Dijkstra, "Notes on structured programming," in Structured Programming, O.-J. Dahl, E. W. Dijkstra, and C. A. R. Hoare, Eds. London and New york: Academic, 1972, pp. 1-82.
11. B. Littlewood and D. R. Miller, "Conceptual Modelling of Coincident Failures in Multi-Version Software," IEEE Trans on Software Engineering, vol. 15, pp. 1596-1614, 1989.
12. B. Littlewood and D. Wright, "Some conservative stopping rules for the operational testing of safety-critical software," IEEE Trans Software Engineering, vol. 23, pp. 673-683, 1997.
13. D. E. Eckhardt and L. D. Lee, "A Theoretical Basis of Multiversion Software Subject to Coincident Errors," IEEE Trans, on Software Engineering, vol. 11, pp. 1511-1517, 1985.
14. J. C. Knight and N. G. Leveson, "Experimental evaluation of the assumption of independence in multiversion software," IEEE Trans Software Engineering, vol. 12, pp. 96-109, 1986.