Abstract
The Aim of this paper is to show how a safety argument could be constructed for the use of blueprints in platforms using Integrated Modular Avionics (IMA). It is assumed that the IMA system will contain safety-critical elements. Given current safety analysis techniques, there is no certainty that this can be achieved satisfactorily.
Initially there is a need to define a blueprint: once this is done, the blueprints will be considered by looking at the impact of Blueprints on IMA Safety. The ultimate objective of IMA is to produce a reconfigurable system. Whilst this has potential safety benefits, there are substantial problems with the ability to argue that a reconfigurable IMA is safe. Consequently, this project will concentrate on a 3 Step Approach towards developing full IMA capability. The three steps are:
-
1.
Fixed number of prioritised configurations (e.g. lookup table)
-
2.
Ground (static) reconfiguration (between operations)
-
3.
Dynamic reconfiguration
This approach is progressively more complex, but will enable confidence to be gained from success at each step. The safety argument that is produced in this paper is generic and has been produced as part of an MSc project. However, the overall IMA safety argument needs to consider many other issues and factors, which may affect the safety of blueprints. This is not covered in this paper, but is expanded in more detail in the MSc project (Jolliffe 2004).
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
ASAAC Phase II Stage 1-Stage 1 Executive Summary, 1999.
Aviation Today Magazine Website, http://www.aviationtoday.com/cgi/av/show_mag.cgi?pub=av, 2003.
Bates S et al (2003). Safety Case Architectures to Complement a Contract-Based Approach to Designing Safe Systems, Proceedings of 21st International System Safety Conference, Chicago, 2003.
LINKS.html, 2003.
Defence Standard 00-56 Safety Management Requirements for Defence Systems (Pt 1) Iss 2, 1996.
Defence Standard 00-58 HAZOP Studies on Systems Containing Programmable Electronics Iss 2, 2000.
Jolliffe G (2004). Exploring the Possibilities Towards a Preliminary Safety Case for IMA Blueprints, MSc Project, Department of Computer Science, University of York, 2004.
Kelly T P (1998). Arguing Safety — A Systematic Approach to Managing Safety Cases, Department of Computer Science, University of York, 1998.
Kelly T P, McDermid J A (1998). Safety Case Patterns-Reusing Successful Arguments, In Proceedings of IEE Colloquium on Understanding Patterns and Their Application to System Engineering, 1998.
Kelly T P (2001). Concepts and Principles of Compositional Safety Case Construction, Department of Computer Science, University of York, 2001.
Kemp J (2000). ASAAC — An Overview Issue: 01, 2000.
MoD ADAS(Air) Aviation Support Vision Website, www.ams.mod.uk/ams/content/docs/fse/fse-avs/inmodavs.htm, 2002.
Murray T (2002). Specification for a Run-Time Blueprint Generator, QinetiQ Report, 2002.
Nicholson M (1998). Selecting a Topology for Safety-Critical Real-Time Control Systems, Department of Computer Science, University of York, 1998.
Rushby J (2002). Modular Certification — CSL technical report, June 2002.
Stevens B (2002). IMA Configuration — Preliminary Blueprint Description, QinetiQ Report, 2002.
Storey N (1996). Safety Critical Computer Systems, Addison Wesley 1996.
Tudor N (2002). Realising Integrated Modular Avionics In Military Aircraft, 2002.
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
Jolliffe, G., Nicholson, M. (2005). Exploring the Possibilities Towards a Preliminary Safety Case for IMA Blueprints. In: Redmill, F., Anderson, T. (eds) Constituents of Modern System-safety Thinking. Springer, London. https://doi.org/10.1007/1-84628-130-X_11
Download citation
DOI: https://doi.org/10.1007/1-84628-130-X_11
Publisher Name: Springer, London
Print ISBN: 978-1-85233-952-4
Online ISBN: 978-1-84628-130-3
eBook Packages: Computer ScienceComputer Science (R0)