{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,29]],"date-time":"2025-01-29T06:01:34Z","timestamp":1738130494537,"version":"3.33.0"},"publisher-location":"London","reference-count":23,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9781846288050"},{"type":"electronic","value":"9781846288067"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-1-84628-806-7_3","type":"book-chapter","created":{"date-parts":[[2008,3,4]],"date-time":"2008-03-04T18:48:29Z","timestamp":1204656509000},"page":"35-51","source":"Crossref","is-referenced-by-count":4,"title":["Dependability-by-Contract"],"prefix":"10.1007","author":[{"given":"Brian","family":"Dobbing","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Samantha","family":"Lautieri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","volume-title":"SigAda 2001, Ada Letters","author":"P. Amey","year":"2001","unstructured":"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"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"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","DOI":"10.1007\/11499909_12"},{"key":"3_CR3","volume-title":"High Integrity Software The SPARK Approach to Safety and Security","author":"J. Barnes","year":"2003","unstructured":"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"},{"key":"3_CR4","volume-title":"Safety Critical Systems Symposium 2005","author":"J. Blow","year":"2005","unstructured":"Blow J, Cox A, Liddell P (2005). Modular Certification of Integrated Modular Systems. Safety Critical Systems Symposium 2005, Springer-Verlag London Ltd, London 2005"},{"key":"3_CR5","unstructured":"Chapman R, Hall A, (2002). Correctness by Construction: Developing a Commercial Secure System. IEEE Software, 2002, pp 18\u201325"},{"key":"3_CR6","unstructured":"Cockram T (2006). Is this the right room for an Argument \u2014 improving arguments for safety and security. ESREL 2006, Safety and Reliability for Managing Risk \u2014 Guedes Soares and Zio (eds), Taylor and Francis Group London, 2006, ISBN 0-415-41620-5."},{"key":"3_CR7","volume-title":"Safety Critical Systems Symposium 2003","author":"T. Cockram","year":"2002","unstructured":"Cockram T, Lockwood B, (2002) Electronic Safety Cases: Challenges and Opportunities. Safety Critical Systems Symposium 2003, Springer-Verlag Lonon Ltd, London, 2002"},{"key":"3_CR8","unstructured":"Croxford M, Chapman R (2005) Correctness by Construction: A Manifesto for High Integrity Software. In CrossTalk Vol 18 No 12 December 2005"},{"key":"3_CR9","unstructured":"HSE (1988). The Tolerability of Risk from Nuclear Power Stations. Health and Safety Executive, 1988"},{"key":"3_CR10","unstructured":"ISO8652 (1995). Ada 95 Reference Manual International Standard ANSI\/ISO\/IEC-8652:1995. International Standards Organisation, www.iso.org, 1995"},{"key":"3_CR11","unstructured":"ISO15408 (1999). Common Criteria for Information Technology Security Evaluation ISO\/IEC-15408:1999. International Standards Organisation, Version 2.1 www.iso.org, 1999"},{"key":"3_CR12","unstructured":"Jones C B (1980). Software Development: A rigorous approach. Prentice Hall International, ISBN 0-13-821884-6, 1980"},{"key":"3_CR13","volume-title":"Normal Accidents: Living with High Risk Technologies","author":"C. Perrow","year":"1984","unstructured":"Perrow C (1984). Normal Accidents: Living with High Risk Technologies. Basic Books, New York, NY, 1984"},{"key":"3_CR14","unstructured":"Rushby J (2002). Modular Certification. NASA Contractor Report NASA\/CR-2002-212130, NASA Langley Research Center, December 2002"},{"key":"3_CR15","unstructured":"Jones J, Johnson M (2002). Affordable Avionics \u2014 the MoD Strategy. UK MoD 2002"},{"key":"3_CR16","unstructured":"Kelly T. (1998). Arguing Safety \u2014 A Systematic Approach to Managing Safety Cases. DPhil Thesis, Department of Computer Science, University of York, 1998"},{"key":"3_CR17","unstructured":"Praxis (2005a). SafSec Standard. Praxis High Integrity Systems Ltd, 2005"},{"key":"3_CR18","unstructured":"Praxis (2005b). SafSec Guidance. Praxis High Integrity Systems Ltd. 2005"},{"key":"3_CR19","unstructured":"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"},{"key":"3_CR20","unstructured":"Spivey J. M. (1992). The Z Notation: A Reference Manual. Prentice Hall International (UK) Ltd, 1992"},{"key":"3_CR21","unstructured":"Tudor N, (2002). Realising Integrated Modular Avionics in Military Aircraft. UK MoD 2002"},{"key":"3_CR22","unstructured":"UK MoD (2005a). Defence Standards Series 00-74, 00-75, 00-76, 00-77, 00-78. UK Ministry of Defence Directorate of Standardisation, 2005"},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"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","DOI":"10.1049\/ic:20050407"}],"container-title":["The Safety of Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-84628-806-7_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,28]],"date-time":"2025-01-28T22:20:44Z","timestamp":1738102844000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-84628-806-7_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9781846288050","9781846288067"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-1-84628-806-7_3","relation":{},"subject":[],"published":{"date-parts":[[2007]]}}}