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.
翻译:20多年来,基于模型的安全评估一直是系统安全工程界的主要研究重点之一,然而,对于什么是MBSA,仍然缺乏共识。MBSA的模棱两可性阻碍了MBSA作为一个积极研究领域的进步。为此,本文件旨在调查MBSA的身份,以帮助在全社会达成共识。为此,我们首先考虑MBSA方法必须开展的核心活动。第二,我们确定核心活动必须开展的核心模式,以便将MBSA视为MBSA。最后,最近发表的MBSA文件经过审查,以检验我们对MBSA的定性的有效性。