摘要
基于模型的安全分析(model-based safety analysis,MBSA)的最终目的是以复杂的安全关键性系统的形式化和半形式化模型为基础,实现自动化的安全分析。MBSA的方法众多,涵盖了用以实现对复杂的安全关键性系统进行建模、安全分析和验证的所有理论、技术、工具及语言。根据MBSA技术在安全分析过程所使用的模型的不同,即安全模型与系统设计模型之间的不同关系,将MBSA的实现手段分为两类:一类是基于系统扩展模型(extended system model,ESM)的MBSA方法;另一类是基于故障逻辑建模(failure logic modelling,FLM)技术的MBSA方法。文中对这两种方法的实现过程分别进行了描述,并分别对每种方法的优点和局限性进行了分析说明,最后对两类MBSA方法可做的改进进行了分析。
The ultimate goal of model-based safety analysis （MBSA） is to implement the automated safety analysis based on semi-formal and formal models of the complex safety-critical system. There are many MBSA methods which contain all the relevant theory, techniques, tools and language used for modelling, safety verification and analysis. Implementation approaches of MBSA could be divided into two categories according to different models used in the safety analysis which means the different relationship between safety models and system models. One of the MBSA approach is based on the extended system model （ESM） and the other one is based on the failure logic modelling （FLM）. The implementation of each approach is described. Advantages and boundedness of each approach are analyzed and indicated. Finally, the improvements for each way which could be carried out in the future are proposed.
出处
《系统工程与电子技术》
EI
CSCD
北大核心
2017年第6期1287-1291,共5页
Systems Engineering and Electronics
关键词
基于模型的安全分析
复杂安全关键性系统
系统扩展模型
故障逻辑建模
model-based safety analysis （MBSA）
complex safety-critical system
extended system model（ESM）
failure logic modelling （FLM）
