Abstract
A safety case contains safety arguments together with supporting evidence that together should demonstrate that a system is acceptably safe. System changes pose a challenge to the soundness and cogency of the safety case argument. Maintaining safety arguments is a painstaking process because it requires performing a change impact analysis through interdependent elements. Changes are often performed years after the deployment of a system making it harder for safety case developers to know which parts of the argument are affected. Contracts have been proposed as a means for helping to manage changes. There has been significant work that discusses how to represent and to use them but there has been little on how to derive them. In this paper, we propose a sensitivity analysis approach to derive contracts from Fault Tree Analyses and use them to trace changes in the safety argument, thus facilitating easier maintenance of the safety argument.
This is a preview of subscription content, log in via an institution to check access.
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
SAE ARP4761 Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment, December 1996
Modular software safety case (MSSC) – process description, November 2012. https://www.amsderisc.com/related-programmes/
Benvenuti, L., Ferrari, A., Mazzi, E., Vincentelli, A.L.S.: Contract-based design for computation and verification of a closed-loop hybrid system. In: Egerstedt, M., Mishra, B. (eds.) HSCC 2008. LNCS, vol. 4981, pp. 58–71. Springer, Heidelberg (2008)
Cullen, A., Frey, H.: Probabilistic techniques in Exposure assessment. Plenum Press, New York (1999)
Fenn, J.L., Hawkins, R.D., Williams, P., Kelly, T.P., Banner, M.G., Oakshott, Y.: 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. IET (2007)
GSN Community Standard: Version 1; (c) 2011 Origin Consulting (York) Limited. http://www.goalstructuringnotation.info/
ISO 26262:2011. Road Vehicles – Functional Safety, Part 1–9. International Organization for Standardization, November 2011
Jaradat, O., Graydon, P.J., Bate, I.: An approach to maintaining safety case evidence after a system change. In: Proceedings of the 10th European Dependable Computing Conference (EDCC), August 2014
Kelly, T.: Literature survey for work on evolvable safety cases. Department of Computer Sceince, University of York, 1st Year Qualifying Dissertation (1995)
Kelly, T.P., McDermid, J.A.: A systematic approach to safety case maintenance. In: Felici, M., Kanoun, K., Pasquini, A. (eds.) SAFECOMP 1999. LNCS, vol. 1698, pp. 13–26. Springer, Heidelberg (1999)
Lisagor, O., Pretzer, M., Seguin, C., Pumfrey, D.J., Iwu, F., Peikenkamp, T.: Towards safety analysis of highly integrated technologically heterogeneous systems - a domain-based approach for modelling system failure logic. In: The 24th International System Safety Conference (ISSC), Albuquerque, USA (2006)
Meyer, B.: Object-Oriented Software Construction, 1st edn. Prentice-Hall Inc, Upper Saddle River (1988)
Pannell, D.J.: Sensitivity analysis of normative economic models: theoretical framework and practical strategies. Agricultural Economics 16(2), 139–152 (1997)
Rausand, M., Høyland, A.: System Reliability Theory: Models, Statistical Methods and Applications. Wiley-Interscience, Hoboken (2004)
Wilson, S.P., Kelly, T.P., McDermid, J.A.: Safety case development: current practice, future prospects. In: proc. of Software Bases Systems - 12th Annual CSR Workshop. Springer-Verlag (1997)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Jaradat, O., Bate, I., Punnekkat, S. (2015). Using Sensitivity Analysis to Facilitate the Maintenance of Safety Cases. In: de la Puente, J., Vardanega, T. (eds) Reliable Software Technologies – Ada-Europe 2015. Ada-Europe 2015. Lecture Notes in Computer Science(), vol 9111. Springer, Cham. https://doi.org/10.1007/978-3-319-19584-1_11
Download citation
DOI: https://doi.org/10.1007/978-3-319-19584-1_11
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-19583-4
Online ISBN: 978-3-319-19584-1
eBook Packages: Computer ScienceComputer Science (R0)