liu.seSearch for publications in DiVA
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Combining GSN and STPA for Safety Arguments
Instituto Tecnológico de Aeronáutica (ITA), Brazil.ORCID iD: 0000-0002-9746-7605
Linköping University, Department of Computer and Information Science, Software and Systems. Linköping University, Faculty of Science & Engineering. (Real-time Systems Laboratory)ORCID iD: 0000-0002-1485-0802
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]

Available from: 2019-11-08 Created: 2019-11-08 Last updated: 2020-09-12Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Nadjm-Tehrani, Simin

Search in DiVA

By author/editor
Hirata, CelsoNadjm-Tehrani, Simin
By organisation
Software and SystemsFaculty of Science & Engineering
Other Engineering and Technologies not elsewhere specified

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 195 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf