Sökning: onr:"swepub:oai:DiVA.org:mdh-26009" >
Towards a clearer u...
Towards a clearer understanding of context and its role in assurance argument confidence
-
- Graydon, Patrick (författare)
- Mälardalens högskola,Inbyggda system
-
(creator_code:org_t)
- Cham : Springer International Publishing, 2014
- 2014
- Engelska.
-
Ingår i: Lecture Notes in Computer Science, vol. 8666. - Cham : Springer International Publishing. - 9783319105055 ; , s. 139-154
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- The Goal Structuring Notation (GSN) is a popular graphical notation for recording safety arguments. One of GSN's key innovations is a context element that links short phrases used in the argument to detail available elsewhere. However, definitions of the context element admit multiple interpretations and conflict with guidance for building assured safety arguments. If readers do not share an understanding of the meaning of context that makes context's impact on the main safety claim clear, confidence in safety might be misplaced. In this paper, we analyse the definitions and usage of GSN context elements, identify contradictions and vagueness, propose a more precise definition, and make updated recommendations for assured safety argument structure.
Ämnesord
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering (hsv//eng)
Nyckelord
- Assurance argument
- assured safety argument
- confidence
- context
- goal structuring notation
- safety argument
- safety case
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas