Model-based safety assessment: Review of the discipline and its challenges
Model-based safety assessment: Review of the discipline and its challenges
复制标题
DOI：
10.1109/icrms.2011.5979344
复制
发表时间：
2011-06
期刊：
影响因子：
--
通讯作者：
O. Lisagor;T. Kelly;R. Niu
中科院分区：
文献类型：
--
作者：
O. Lisagor;T. Kelly;R. Niu
自20世纪90年代出现以来，基于模型的安全评价（MBSA）一直受到学术界和工业界的极大关注。在过去十年中，不仅开发了许多方法、技术和工具，而且工业界也逐渐采用了MBSA技术，并被监管机构接受。然而，MBSA领域包含大量根本不同的技术。本文提出了一个简单的分类模式MBSA技术的基础上两个标准-起源的模型和工程语义的组件依赖捕获的模型。该分类将现有技术组织成若干连贯的家族。最突出的家庭MBSA技术的适用性，局限性和挑战，MBSA学科面临的一些共同的挑战进行了讨论。
Since its emergence in 1990s, Model-Based Safety Assessment (MBSA) has enjoyed significant interest from both academia and industry. The last decade has seen not only the development of a number of methods, techniques and tools, but also the gradual adoption of MBSA techniques by industry and its acceptance by regulators. However, the field of MBSA encompasses a large number of fundamentally dissimilar techniques. This paper presents a simple classification schema for MBSA techniques based on two criteria — provenance of the model and engineering semantics of component dependencies captured by the model. The classification organizes the existing techniques into a number of coherent families. Applicability, limitations and challenges of most prominent families of MBSA techniques are presented, and some of the common challenges faced by MBSA discipline are discussed.