Assurance Case Patterns On-line Catalogue
Assurance Case Patterns On-line Catalogue
复制标题
DOI：
10.1007/978-3-319-59415-6_39
复制
发表时间：
2017-07
期刊：
影响因子：
--
通讯作者：
Monika Szczygielska;Aleksander Jarzębowicz
中科院分区：
文献类型：
--
作者：
Monika Szczygielska;Aleksander Jarzębowicz
保证案例是一个基于证据的论证，证明系统的给定属性（例如安全性，安全性）得到保证。保证案例是为高完整性系统开发的，因为在许多行业领域，法规明确要求此类论证。尽管事实上每个保证案例都是唯一的，但已经确定并发布了几个可重用的参数模式。本文报告了在NOR-STA基于网络的软件工具中开发在线保证案例模式目录的工作。这项工作包括一个广泛的文献检索，可用的模式和选择最相关的关键评价，最后选择的模式翻译到他们的目标表示。本文还描述了一个验证案例研究，其中通过引入模式对医疗器械的保证案例进行了审查和重组。由此产生的目录已经发布，其45个模式可以直接用于使用NOR-STA工具构建的保证案例。
Assurance case is an evidence-based argument demonstrating that a given property of a system (e.g. safety, security) is assured. Assurance cases are developed for high integrity systems, as in many industry domains such argument is explicitly required by regulations. Despite the fact that each assurance case is unique, several reusable argument patterns have been identified and published. This paper reports work on development of an on-line assurance case patterns catalogue available in NOR-STA web-based software tool. This work included an extensive literature search, critical evaluation of available patterns and selection of most relevant ones, finally translation of selected patterns to their target representation. The paper also describes a validation case study in which an assurance case for medical devices was reviewed and restructured by introducing patterns. The resulting catalogue was published and its 45 patterns can be directly used in assurance cases built using NOR-STA tool.