安全系统模型驱动开发的详尽系统性文献综述

背景：模型驱动安全（MDS）是一个专门的模型驱动工程研究领域，用于支持安全系统的开发。超过十年的 MDS 研究产生了大量出版物。目标：为了提供 MDS 技术水平的详细分析，系统性文献综述（SLR）必不可少。方法：我们对 MDS 进行了广泛的 SLR。源于我们的研究问题，我们设计了一个严格、广泛的搜索和选择过程，以识别一组尽可能完整的 MDS 主要研究。我们的三管齐下的搜索过程包括自动搜索、手动搜索和滚雪球法（snowballing）。在发现并考量了超过千篇相关论文后，我们严格筛选并审阅了 108 篇 MDS 出版物。结果：我们的 SLR 结果展示了 MDS 关键构件的总体状态以及所识别的 MDS 主要研究。例如，关于安全建模构件，我们发现开发领域特定语言在许多 MDS 方法中起关键作用。指出了每个 MDS 构件当前的局限性，并提出了相应的潜在研究方向。此外，我们将识别出的 MDS 主要研究分类为 5 类主要 MDS 研究，以及其他新兴或较少见的 MDS 研究。最后，给出了一些 MDS 研究的趋势分析。结论：我们的结果表明，需要更系统且同时地处理多重安全关注点，需要支持 MDS 开发周期的工具链，以及需要更多关于 MDS 方法学应用的实证研究。据我们所知，该 SLR 是软件工程领域中首个将滚雪球策略与数据库搜索相结合的综述。这种结合交付了对 MDS 的广泛文献研究。