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

安全案例维护方法综述与分析

1. 研究背景与搜索策略

在安全案例维护领域的研究中，为了全面了解相关方法，采用了多种搜索策略。

1.1 手动搜索

首先，从已确定的一些高质量出版物（QGS）中筛选出 13 篇符合过滤标准的文献，并基于专家知识额外添加 3 篇不同方法的文献以及 2 篇介绍 AMASS 平台不同功能的文献。接着，对 2000 - 2020 年期间在一些与安全工程研究高度相关的会议和研讨会的会议记录进行手动搜索，这些会议包括国际可靠系统与网络会议（DSN）、国际可靠软件技术会议（Ada - Europe）等。经过过滤，确定了 19 篇展示已有方法额外功能的文献，并引入了 6 种新方法。

1.2 自动搜索与滚雪球法

使用特定的搜索字符串在 ACM Digital library、IEEE、Springer、Elsevier、Google Scholar 和 dblp 等数据库中进行自动搜索。搜索字符串基于 QGS 文献中出现的高频词汇确定，如 (“safety case” AND “maintenance”) 等。搜索结果得到 3 篇选定文献。为了减轻模糊术语带来的潜在限制，采用了滚雪球法，又筛选出 10 篇描述在其他搜索阶段已确定方法的相关文献。

1.3 排除与纳入标准

在搜索过程中，仅选择标题和摘要明确表明是关于安全案例维护方法或至少是安全案例变更影响分析的主要研究结果的文献。纳入标准包括：文献发表年份在 2000 年及以后；对于呈现相同方法的多篇文献，全部予以考虑。排除标准如下：
1. 仅提出保证案例建模方法，但对保证案例维护支持不足的文献；
2. 描述其他