14、安全案例维护方法综述

安全案例维护方法综述

1. 研究方法

1.1 手动搜索

在安全案例维护相关研究中，手动搜索是重要的一环。首先，依据筛选标准，从众多出版物中初步选出了 13 篇。在此基础上，凭借专业知识，又额外增加了 3 篇探讨不同方法的出版物，以及 2 篇介绍 AMASS 平台不同功能的成果。
接着，对特定会议和研讨会的论文集进行手动搜索，时间范围设定在 2000 - 2020 年。这些会议和研讨会被认为与安全工程研究高度相关，包括国际可靠系统与网络会议（DSN）、国际可靠软件技术会议（Ada - Europe）等多个会议及其卫星研讨会。经过筛选，确定了 19 篇展示已有方法额外功能的出版物，同时还引入了 6 种新方法。

1.2 自动搜索与滚雪球法

使用特定搜索字符串在多个数据库进行自动搜索，数据库涵盖 ACM 数字图书馆、IEEE、Springer、Elsevier、Google Scholar 和 dblp 等。搜索字符串基于已纳入研究的出版物中出现频率较高的词汇确定，具体如下：

(“safety case” AND “maintenance”) OR (“assurance case” AND “maintenance”) OR 
(“safety case” AND “change”) OR (“assurance case” AND “change”) OR 
(“safety case” AND “evolution”) OR (“assurance cases” AND “evolution”)

此次搜索得到了 3 篇选定的出版物。为了