Two Decades of Assurance Case Tools: A Survey
Two Decades of Assurance Case Tools: A Survey
复制标题
保障案例工具的两个十年：调查
DOI：
--
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
M. Chechik
中科院分区：
文献类型：
--
作者：
Mike Maksimov;N. L. S. Fung;Sahar Kokaly;M. Chechik
在受监管的安全关键领域，例如航空航天和核领域，认证机构通常要求系统进行严格的安全评估程序，以表明其符合一个或多个安全标准。保证案例是一种以结构化和全面的方式传达安全关键系统安全性的新兴方式。由于所需材料的显著复杂性，软件工具通常被用作构建保证案例的实用方法。本文介绍了第一，尽我们所知，系统的审查保证案例工具。具体而言，我们提供了过去20年来开发的保证案例工具的全面列表，并对其功能进行了分析。
In regulated safety-critical domains, such as the aerospace and nuclear domains, certification bodies often require systems to undergo a stringent safety assessment procedure to show their compliance to one or more safety standards. Assurance cases are an emerging way of communicating safety of a safety-critical system in a structured and comprehensive manner. Due to the significant complexity of the required materials, software tools are often used as a practical way of constructing assurance cases. This paper presents the first, to the best of our knowledge, systematic review of assurance case tools. Specifically, we provide a comprehensive list of assurance case tools developed over the past 20 years and an analysis of their functionalities.