Towards a Clearer Understanding of Context and Its Role in Assurance Argument Confidence
Towards a Clearer Understanding of Context and Its Role in Assurance Argument Confidence
复制标题
更清楚地理解背景及其在保证论证信心中的作用
DOI：
10.1007/978-3-319-10506-2_10
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
P. Graydon
中科院分区：
文献类型：
--
作者：
P. Graydon
目标结构化符号（GSN）是一种用于记录安全参数的流行图形符号。GSN的关键创新之一是上下文元素，它将论点中使用的短语与其他地方可用的细节联系起来。然而，上下文元素的定义允许多种解释，并与建立有保证的安全论证的指导相冲突。如果读者不理解上下文的含义，使上下文对主要安全声明的影响清楚，那么对安全的信心可能是错误的。在本文中，我们分析了GSN上下文元素的定义和使用，识别矛盾和不确定性，提出了一个更精确的定义，并提出了更新的建议，确保安全的论点结构。
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.