This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bloomfield RE, Littlewood B (2003) Confidence in safety claims. CSR, City University http://bscw.cs.ncl.ac.uk/bscw/bscw.cgi/0/43989
CAA (2001) Regulatory Objective for Software Safety Assurance in Air Traffic Service Equipment: SW01. Civil Aviation Authority, London
Dijkstra EW (1972) Notes on structured programming. In: Dahl O-J, Dijkstra EW, Hoare CAR (eds) Structured Programming. Academic, London New York, pp1–82
Eckhardt DE, Lee LD (1985) A Theoretical Basis of Multiversion Software Subject to Coincident Errors. IEEE Trans. on Software Engineering 11:1511–151
Guiho G, Hennebert C (1990) SACEM software validation. In: Proc 12th International Conference on Software Engineering, IEEE Computer Soc, pp186–191
Henrion M, Fischhoff B (1986) Assessing uncertainty in physical constants Americal J. Physics 54:791–798
Hunns DM, Wainwright N (1991) Software-based protection for Sizewell B: the regulator’s perspective. In: Nuclear Engineering International, September 1991, pp38–40
HSE (1992) Safety Assessment Principles for Nuclear Plants. Health and Safety Executive, London
Littlewood B (2000) The use of proofs in diversity arguments. IEEE Trans Software Engineering 26:1022–1023
Littlewood B, Miller DR (1989) Conceptual Modelling of Coincident Failures in Multi-Version Software. IEEE Trans on Software Engineering 15:1596–1614
Littlewood B, Popov P, Strigini L (2002) Modelling software design diversity-a review. ACM Computing Surveys 33:177–208
Littlewood B, Wright DW (1997) Some conservative stopping rules for the operational testing of safety-critical software. IEEE Trans Software Engineering 23:673–683
MoD (1997) The Procurement of Safety Critical Software in Defence Equipment: Def-Stan 00-55. Ministry of Defence, London
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag London Limited
About this chapter
Cite this chapter
Bloomfield, R., Littlewood, B. (2006). On the use of diverse arguments to increase confidence in dependability claims. In: Besnard, D., Gacek, C., Jones, C.B. (eds) Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective. Springer, London. https://doi.org/10.1007/1-84628-111-3_13
Download citation
DOI: https://doi.org/10.1007/1-84628-111-3_13
Publisher Name: Springer, London
Print ISBN: 978-1-84628-110-5
Online ISBN: 978-1-84628-111-2
eBook Packages: Computer ScienceComputer Science (R0)