Defence Standard 00-56 Issue 4: Towards Evidence-Based Safety Standards
Defence Standard 00-56 Issue 4: Towards Evidence-Based Safety Standards
复制标题
国防标准 00-56 第 4 期：迈向循证安全标准
DOI：
10.1007/978-1-84882-349-5_15
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
J. Mcdermid
中科院分区：
文献类型：
--
作者：
C. Menon;R. Hawkins;J. Mcdermid
国防标准00-56第4期是基于目标的，并要求系统开发人员证明他们是如何实现安全的。为此，使用证据来支持与软件安全性有关的声明。在构建安全论证时，最微妙的问题之一是确定所提供的证据是否足以确保系统的安全性达到所需的水平。本文提出了一个评估证据和索赔保证的框架。我们还提出了一个词汇表，讨论影响保证的因素。这个框架和词汇表使我们能够构建和讨论软件的安全性论点。使用这个框架和词汇表，我们提出了一些示例讨论，展示了影响保证的因素如何相互作用。
Defence Standard 00-56 Issue 4 is goal-based, and requires system developers to demonstrate how they have achieved safety. To this end, evidence is used to support claims relating to software safety. One of the most subtle questions when constructing a safety argument is the determination of whether the evidence presented is sufficient to assure the safety of the system to the level required. This paper presents a framework for assessing the assurance of evidence and claims. We also present a vocabulary for discussing factors which influence assurance. This framework and vocabulary together enable us to construct and discuss safety arguments for software. Using this framework and vocabulary, we present some sample discussions which demonstrate how the factors influencing assurance can interact.