Abstract
This paper considers the benefits from applying information modelling as the basis for creating an electronically-based safety case. It highlights the current difficulties of developing and managing large document-based safety cases for complex systems such as those found in Air Traffic Control systems. After a review of current tools and related literature on this subject, the paper proceeds to examine the many relationships between entities that can exist within a large safety case. The paper considers the benefits to both safety case writers and readers from the future development of an ideal safety case tool that is able to exploit these information models. The paper also introduces the idea that the safety case has formal relationships between entities that directly support the safety case argument using a methodology such as GSN, and informal relationships that provide links to direct and backing evidence and to supporting information.
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
Cockram T, Lockwood B (2003) Electronic Safety Case: Challenges and Opportunities. In: Redmill F, Anderson T (eds) Current Issues in Safety-Critical Systems. Springer, London
Eardley A, Shelest O, Fararooy S (2006) Electronic Data Interchange System for Safety Case Management. Proceedings of the 3rd International Workshop on Computer Supported Activity Coordination, Paphos, Cyprus
Eurocontrol (2006) Safety Case Development Manual
Kelly T, Weaver R (2004) The Goal Structuring Notation – A Safety Argument Notation. Proceedings of the Dependable Systems and Networks Workshop on Assurance Cases, Florence, Italy
MOD (2007) Defence Standard 00-56, Issue 4. Ministry of Defence
Radjenovic A, Paige R, Conmy P et al (2004) An Information Model for High-Integrity Real Time Systems. Second RTAS Workshop on Model-Driven Embedded Systems, Toronto, Canada
Weaver R, Fenn J, Kelly T (2003) A Pragmatic Approach to Reasoning about the Assurance of Safety Arguments. Proceedings of the 8th Australian workshop on Safety critical systems and software, Canberra, Australia
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag London Limited
About this paper
Cite this paper
Lewis, R. (2009). Safety Case Development as an Information Modelling Problem. In: Dale, C., Anderson, T. (eds) Safety-Critical Systems: Problems, Process and Practice. Springer, London. https://doi.org/10.1007/978-1-84882-349-5_12
Download citation
DOI: https://doi.org/10.1007/978-1-84882-349-5_12
Publisher Name: Springer, London
Print ISBN: 978-1-84882-348-8
Online ISBN: 978-1-84882-349-5
eBook Packages: Computer ScienceComputer Science (R0)