Abstract
This paper presents ongoing research into the modular certification of Integrated Modular Systems (IMS) within BAE Systems. An IMS is an open systems approach to the construction of systems from a set of standard hardware and software modules. Modular certification is the modular safety assessment of such systems. The aim is to reduce the certification costs of a system following a change to the system. To achieve this, a strategy has been proposed that is based on the concept of change isolation through the use of rely/guarantee contracts. The strategy advocates a more product-oriented approach to the development of safety cases for IMS.
Keywords
- Safety Case
- Model Drive Architecture
- Contract Violation
- Standard Hardware
- Safety Argument
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, access via your institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Bate I., Bates S and Hawkins R. (2003). Safety Case Architectures to Complement a Contract Based Approach to Designing Safe Systems, Department of Computer Science, University of York, TN/2003/5, March 2003
Conmy P, Nicholson M, and Mc Dermid J. (2003). Safety Assurance Contracts for Integrated Modular Avionics, 8th Australian Workshop on Safety Critical Systems and Software, Canberra, CRPIT Vol. 33, pp69–78, October 2003
Defence Standard 00-56 (1996). Safety Management Requirements for Defence Systems, Issue 2, United Kingdom Ministry of Defence, December 1996
Kelly T P. (1998). Arguing Safety — A Systematic Approach to Safety Case Management. PhD Thesis. Department of Computer Science, University of York, 1998
Kelly T P. (2001). Concepts and Principles of Compositional Safety Case Construction. COMSA/2001/1/1. Department of Computer Science. University of York, 2001
Meyer B. (1992). Applying Design by Contract. IEEE Computer 1992; 25:40–52
Pygott C H. (2003). Compositional Safety Cases for COTS Assessment, QinetiQ, QinetiQ/KI/TIM/TR021996, March 2003
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag London Limited
About this paper
Cite this paper
Blow, J., Cox, A., Liddell, P. (2005). Modular Certification of Integrated Modular Systems. In: Redmill, F., Anderson, T. (eds) Constituents of Modern System-safety Thinking. Springer, London. https://doi.org/10.1007/1-84628-130-X_12
Download citation
DOI: https://doi.org/10.1007/1-84628-130-X_12
Publisher Name: Springer, London
Print ISBN: 978-1-85233-952-4
Online ISBN: 978-1-84628-130-3
eBook Packages: Computer ScienceComputer Science (R0)