Abstract
This paper presents ongoing research by Praxis High Integrity Systems into a contract-based approach to the definition and composition of dependability characteristics of components of complex systems. The research is founded on the Correctness By Construction methodology with the main aim being to assist in the construction of a demonstrably dependable system, and of its supporting dependability case for the purposes of safety certification and/or security accreditation. Other aims are to maximise re-use, accommodate COTS, and minimise impact of change across the whole lifecycle, including re-certification. The ongoing research is based on the results of an MoD-inspired project known as SafSec — an integrated approach to safety and security argumentation.
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
Amey P (2001). A Language for Systems Not Just Software. SigAda 2001, Ada Letters Volume XXI, Num 4, December 2001, ACM Inc, NY, NY, 2001
Amey P, Chapman R, White N (2005). Smart Certification of Mixed Criticality Systems. AdaEurope 2005, Springer-Verlag London Ltd, ISBN 978-3-540-26286-2, 2005
Barnes J with Praxis Critical Systems (2003). High Integrity Software The SPARK Approach to Safety and Security. Addison-Wesley, London, ISBN 0-321-13616-0,2003
Blow J, Cox A, Liddell P (2005). Modular Certification of Integrated Modular Systems. Safety Critical Systems Symposium 2005, Springer-Verlag London Ltd, London 2005
Chapman R, Hall A, (2002). Correctness by Construction: Developing a Commercial Secure System. IEEE Software, 2002, pp 18–25
Cockram T (2006). Is this the right room for an Argument — improving arguments for safety and security. ESREL 2006, Safety and Reliability for Managing Risk — Guedes Soares and Zio (eds), Taylor and Francis Group London, 2006, ISBN 0-415-41620-5.
Cockram T, Lockwood B, (2002) Electronic Safety Cases: Challenges and Opportunities. Safety Critical Systems Symposium 2003, Springer-Verlag Lonon Ltd, London, 2002
Croxford M, Chapman R (2005) Correctness by Construction: A Manifesto for High Integrity Software. In CrossTalk Vol 18 No 12 December 2005
HSE (1988). The Tolerability of Risk from Nuclear Power Stations. Health and Safety Executive, 1988
ISO8652 (1995). Ada 95 Reference Manual International Standard ANSI/ISO/IEC-8652:1995. International Standards Organisation, www.iso.org, 1995
ISO15408 (1999). Common Criteria for Information Technology Security Evaluation ISO/IEC-15408:1999. International Standards Organisation, Version 2.1 www.iso.org, 1999
Jones C B (1980). Software Development: A rigorous approach. Prentice Hall International, ISBN 0-13-821884-6, 1980
Perrow C (1984). Normal Accidents: Living with High Risk Technologies. Basic Books, New York, NY, 1984
Rushby J (2002). Modular Certification. NASA Contractor Report NASA/CR-2002-212130, NASA Langley Research Center, December 2002
Jones J, Johnson M (2002). Affordable Avionics — the MoD Strategy. UK MoD 2002
Kelly T. (1998). Arguing Safety — A Systematic Approach to Managing Safety Cases. DPhil Thesis, Department of Computer Science, University of York, 1998
Praxis (2005a). SafSec Standard. Praxis High Integrity Systems Ltd, 2005
Praxis (2005b). SafSec Guidance. Praxis High Integrity Systems Ltd. 2005
Praxis (2005c). Practical Guide to Certification and Re-certification of AAvA Software Elements COTS RTOS. Praxis High Integrity Systems Ltd, http://www.ams.mod.uk/ams/content/docs/rtosguid.pdf 2005
Spivey J. M. (1992). The Z Notation: A Reference Manual. Prentice Hall International (UK) Ltd, 1992
Tudor N, (2002). Realising Integrated Modular Avionics in Military Aircraft. UK MoD 2002
UK MoD (2005a). Defence Standards Series 00-74, 00-75, 00-76, 00-77, 00-78. UK Ministry of Defence Directorate of Standardisation, 2005
UK MoD (2005b), Defence Standard 00-56 Safety Management Requirements for Defence Systems Part 1 and 2. UK Ministry of Defence Directorate of Standardisation, 2005
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2007 Springer-Verlag London Limited
About this paper
Cite this paper
Dobbing, B., Lautieri, S. (2007). Dependability-by-Contract. In: Redmill, F., Anderson, T. (eds) The Safety of Systems. Springer, London. https://doi.org/10.1007/978-1-84628-806-7_3
Download citation
DOI: https://doi.org/10.1007/978-1-84628-806-7_3
Publisher Name: Springer, London
Print ISBN: 978-1-84628-805-0
Online ISBN: 978-1-84628-806-7
eBook Packages: Computer ScienceComputer Science (R0)