Combining GSN and STPA for Safety Arguments
2019 (English)In: Proceedings of the 7th International workshop on Assurance Cases for Software-intensive Systems (ASSURE), held in conjunction with SAFECOMP, Springer, 2019Conference paper, Published paper (Refereed)
Abstract [en]
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.
Place, publisher, year, edition, pages
Springer, 2019.
Series
Lecture Notes in Computer Science, ISSN 0302-9743, E-ISSN 1611-3349 ; 11699
Keywords [en]
Safety assurance, GSN, Assurance case, STAMP, STPA
National Category
Other Engineering and Technologies not elsewhere specified
Identifiers
URN: urn:nbn:se:liu:diva-161758DOI: 10.1007/978-3-030-26250-1_1ISI: 000561031400001Scopus ID: 2-s2.0-85072885947ISBN: 978-3-030-26249-5 (print)ISBN: 978-3-030-26250-1 (print)OAI: oai:DiVA.org:liu-161758DiVA, id: diva2:1368916
Conference
SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019
Note
Funding agencies: CNPqNational Council for Scientific and Technological Development (CNPq) [403921/2016-3, 306186/2018-7, NFFP7-04890]
2019-11-082019-11-082020-09-12Bibliographically approved