论文标题
表征基于模型的安全评估的身份：系统分析
Characterizing the Identity of Model-based Safety Assessment: A Systematic Analysis
论文作者
论文摘要
二十年来，基于模型的安全评估一直是系统安全工程社区的主要研究作用之一。但是，关于MBSA是什么，仍然缺乏共识。 MBSA身份的歧义阻碍了MBSA作为活跃研究领域的发展。因此，本文旨在调查MBSA的身份，以帮助在整个社区达成共识。为此，我们的第一个原因是MBSA方法必须进行的核心活动。其次，我们表征必须进行核心活动的核心模式，以便将其视为MBSA。最后，对最近发表的MBSA论文进行了审查，以测试我们对MBSA表征的有效性。
Model-based safety assessment has been one of the leading research thrusts of the System Safety Engineering community for over two decades. However, there is still a lack of consensus on what MBSA is. The ambiguity in the identity of MBSA impedes the advancement of MBSA as an active research area. For this reason, this paper aims to investigate the identity of MBSA to help achieve a consensus across the community. Towards this end, we first reason about the core activities that an MBSA approach must conduct. Second, we characterize the core patterns in which the core activities must be conducted for an approach to be considered MBSA. Finally, a recently published MBSA paper is reviewed to test the effectiveness of our characterization of MBSA.
