刻画基于模型的安全性评估之身份：一项系统性分析
软件工程
2022-12-13 v1 系统与控制
系统与控制
摘要
二十多年来，基于模型的安全性评估（MBSA）一直是系统安全工程界的主要研究方向之一。然而，对于 MBSA 是什么仍缺乏共识。MBSA 身份上的模糊性阻碍了其作为一个活跃研究领域的进展。为此，本文旨在探究 MBSA 的身份以帮助学界达成共识。为此，我们首先推理出 MBSA 方法必须开展的核心活动。其次，我们刻画了这些方法要被视为 MBSA 所必须开展核心活动的核心模式。最后，我们回顾了一篇近期发表的 MBSA 论文以检验我们对 MBSA 刻画的有效性。
关键词
引用
@article{arxiv.2212.05401,
title = {Characterizing the Identity of Model-based Safety Assessment: A Systematic Analysis},
author = {Minghui Suna and Smitha Gauthamb and Carl Elksb and Cody Fleming},
journal= {arXiv preprint arXiv:2212.05401},
year = {2022}
}