Abstract
Developers of some safety critical systems construct a safety case comprising both safety evidence, and a safety argument explaining that evidence. Safety cases are costly to produce, maintain and manage. Modularity has been introduced as a key to enable the reusability within safety cases and thus reduces their costs. The Industrial Avionics Working Group (IAWG) has proposed Modular Safety Cases as a means of containing the cost of change by dividing the safety case into a set of argument modules. IAWG’s Modular Software Safety Case (MSSC) process facilitates handling system changes as a series of relatively small increments rather than occasional major updates. However, the process doesn’t provide detailed guidelines or a clear example of how to handle the impact of these changes in the safety case. In this paper, we apply the main steps of MSSC process to a real safety critical system from industry. We show how the process can be aligned to ISO 26262 obligations for decomposing safety requirements. As part of this, we propose extensions to MSSC process for identifying the potential consequences of a system change (i.e., impact analysis), thus facilitating the maintenance of a safety case.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Jaradat O, Graydon PJ, Bate I (2014) An approach to maintaining safety case evidence after a system change. In: Proceedings of the 10th european dependable computing conference
EUROCONTROL European organisation for the safety of air navigation, preliminary safety case for enhanced traffic situational awareness during flight operations, PSC ATSA-AIRB. www.eurocontrol.int/articles/cascade-documents. Accessed 20 Feb 2015
Ewan D, Whiteside I (2012) Hierarchical safety cases. Technical report NASA/TM-2012-216481, NASA Ames Research Center
Kelly T, McDermid J (1999) A systematic approach to safety case maintenance. In: Felici M, Kanoun K (eds) Computer safety, reliability and security, vol 1698., Lecture Notes in Computer ScienceBerlin, Springer, pp 13–26
Conmy P (2005) Safety analysis of computer resource management software. Ph.D. thesis, University of York. https://www.cs.york.ac.uk/ftpdir/reports/2006/YCST/07/YCST-2006-07.pdf. Accessed 5 Mar 2015
Kelly T (2007) Modular certification. Lecture Note. http://webhost.laas.fr/TSF/IFIPWG/Workshops&Meetings/52/workshop/10%20Kelly.pdf. Accessed 20 Feb 2015
IAWG MSSC Process (2012) Modular Software Safety Case Process Description. https://www.amsderisc.com/wp-content/uploads/2013/01/MSSC_201_Issue_01_PD_2012_11_17.pdf. Accessed 20 Feb 2015
Kelly T (2006) Using software architecture techniques to support the modular certification of safety-critical systems. In: Eleventh Australian workshop on safety critical systems and software, Australia
ISO 26262 (2011) Road vehicles—functional safety. International organization for standardization
Origin Consulting (2011) GSN Community Standard. http://www.goalstructuringnotation.info/. Accessed 20 Feb 2015
Kelly T (1995) Literature survey for work on evolvable safety cases. Department of Computer Science, University of York
Wilson SP, Kelly TP, McDermid JA (1997) Safety case development: current practice, future prospects. In: Proceedings of software bases systems—12th annual CSR workshop
Fenn JL, Hawkins RD, Williams P, Kelly TP, Banner MG, Oakshott Y (2007) The who, where, how, why and when of modular and incremental certification. In: Proceedings of the 2nd IET international conference on system safety, pp 135–140
Jaradat O, Graydon P, Bate I (2013) The role of architectural model checking in conducting preliminary safety assessment. In: Proceedings of the 31st international system safety conference
Jaradat O (2012) automated architecture-based verification of safety-critical systems. Master thesis. Mälardalen University, Sweden. www.diva-portal.org/smash/record.jsf?pid=diva2%3A723310&dswid=5193, Accessed: 20 Feb 2015
Acknowledgments
We acknowledge the Swedish Foundation for Strategic Research (SSF) SYNOPSIS Project for supporting this work.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Jaradat, O., Bate, I., Punnekkat, S. (2016). Facilitating the Maintenance of Safety Cases. In: Kumar, U., Ahmadi, A., Verma, A., Varde, P. (eds) Current Trends in Reliability, Availability, Maintainability and Safety. Lecture Notes in Mechanical Engineering. Springer, Cham. https://doi.org/10.1007/978-3-319-23597-4_25
Download citation
DOI: https://doi.org/10.1007/978-3-319-23597-4_25
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-23596-7
Online ISBN: 978-3-319-23597-4
eBook Packages: EngineeringEngineering (R0)