A Design and Implementation of an Assurance Case Language
A Design and Implementation of an Assurance Case Language
复制标题
保证案例语言的设计与实现
DOI：
10.1109/dsn.2014.97
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
Y. Matsuno
中科院分区：
文献类型：
--
作者：
Y. Matsuno
保证用例是证明系统在给定的应用程序和环境中足够可靠的有效和令人信服的论据。在欧盟，安全关键系统的法规普遍要求提供保证案例。对于保证案例，已经提出了几种图形符号系统。GSN（目标结构表示法）和CAE（声明、论证、证据）就是这样的两个表示法系统，OMG（对象管理组）已经尝试对这些表示法系统进行标准化。然而，这些符号系统还没有以正式的方式定义。本文给出了基于GSN的保证用例语言的形式化定义及其模式和模块扩展。我们以函数式编程语言的框架作为我们研究的基础。该实现是在基于Eclipse的GSN编辑器上完成的。我们报告了以前使用GSN完成的工作的案例研究，并展示了保证案例语言的适用性。
Assurance cases are documented bodies of evidence that provide valid and convincing arguments that a system is adequately dependable in a given application and environment. Assurance cases are widely required by regulation for safety-critical systems in the EU. There have been several graphical notation systems proposed for assurance cases. GSN (Goal Structuring Notation) and CAE (Claim, Argument, Evidence) are such two notation systems, and a standardization effort for these notation systems have been attempted in OMG (Object Management Group). However, these notation systems have not been defined in a formal way. This paper presents a formal definition of an assurance case language based on GSN and its pattern and module extensions. We take the framework of functional programming language as the basis of our study. The implementation has been done on an Eclipse based GSN editor. We report case studies on previous work done with GSN and show the applicability of the assurance case language.