Abstract
Dependability case, assurance case, or safety case is employed to explain why all critical hazards have been eliminated or adequately mitigated in mission-critical and safety-critical systems. Goal Structuring Notation (GSN) is the most employed graphical notation for documenting dependability cases. System Theoretic Process Analysis (STPA) is a technique, based on System Theoretic Accidents Model and Process (STAMP), to identify hazardous control actions, scenarios, and causal factors. STPA is considered a rather complex technique, but there is a growing interest in using STPA in certifications of safety-critical systems development. We investigate how STAMP and STPA can be related to use of assurance cases. This is done in a generic way by representing the STPA steps as part of the evidence and claim documentations within GSN.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Change history
02 September 2019
In the originally published version of this chapter there was an error in figure 2. This has been corrected.
References
Kelly, T.: Arguing safety – a systematic approach to managing safety cases. Ph.D. thesis, Department of Computer Science, University of York (1998)
Kelly, T., Weaver, R.: The goal structuring notation - a safety argument notation. In: Proceedings of the Dependable Systems and Networks Workshop on Assurance Cases (2004)
Leveson, N.: Engineering a Safer World: Systems Thinking Applied to Safety. MIT Press, Cambridge (2011)
Leveson, N., Thomas, J.: STPA Handbook (2018). https://psas.scripts.mit.edu/home/. Accessed 5 June 2019
Thomas, J.: STPA in Industry Standards (2019). https://psas.scripts.mit.edu/home/2019-stamp-workshop-presentations/. Accessed 5 June 2019
Rinehart, D., Knight, J., Rowanhill, J.: Current practices in constructing and evaluating assurance cases with applications to aviation. NASA/CR– 2015-218678 (2015)
The Assurance Case Working Group: Goal Structuring Notation Community Standard (Version 2) (2018). https://scsc.uk/scsc-141B. Accessed 5 May 2019
Rinehart, D., Knight, J., Rowanhill, J.: Understanding what it means for assurance cases to ‘work’. NASA/CR–2017-219582 (2017)
Goodenough, J., Barry, M.: Evaluating Hazard Mitigations with Dependability Cases, AIAA 2009-1943, AIAA Infotech@Aerospace Conference. Seattle, Washington (2009)
Hugues, J., Delange, J.: Model-based design and automated validation of ARINC653 architectures using the AADL. In: Cyber-Physical System Design from an Architecture Analysis Viewpoint. Springer, Singapore (2017)
Denney, E., Pai, G.: Tool support for assurance case development. Autom. Softw. Eng. 25(3), 435–499 (2018)
Thomas, J.: Extending and automating a systems-theoretic hazard analysis for requirements generation and analysis (Doctoral dissertation, MIT) (2013)
Kelly, J., McDermid, J.: Safety case construction and reuse using patterns. In: Proceedings of 16th International Conference on Computer Safety, Reliability and Security (SAFECOMP) (1997)
Acknowledgements
The work of the first author was supported by CNPq (grant numbers 403921/2016-3 and 306186/2018-7). The work of the second author was supported by the national projects on aeronautics (NFFP7-04890) and the research centre on Resilient Information and Control Systems (www.rics.se).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Hirata, C., Nadjm-Tehrani, S. (2019). Combining GSN and STPA for Safety Arguments. In: Romanovsky, A., Troubitsyna, E., Gashi, I., Schoitsch, E., Bitsch, F. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2019. Lecture Notes in Computer Science(), vol 11699. Springer, Cham. https://doi.org/10.1007/978-3-030-26250-1_1
Download citation
DOI: https://doi.org/10.1007/978-3-030-26250-1_1
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-26249-5
Online ISBN: 978-3-030-26250-1
eBook Packages: Computer ScienceComputer Science (R0)