基于模型的可靠性、安全性分析方法

A survey of model-based reliability and safety analysis methods

随着系统日趋复杂,呈现出功能高度复杂、故障动态重构、各领域耦合关联等特点,传统可靠性、安全性分析方法的局限愈加明显。依托于基于模型的系统工程(MBSE)方法的迅速发展,可靠性、安全性工程师提出了基于模型的安全性分析方法(MBSA)和基于模型的可靠性分析方法(MBRA)。从故障模型与系统模型如何进行集成、如何提高安全性分析结果可读性、如何设计恰当的安全性分析流程等3方面综述了MBSA研究进展;从如何提高分析工具的自动化程度及适用范围、加强建模语言对可靠性分析的适配能力、构建不同模型间的映射转换规则等3方面综述了MBRA研究进展。从如何设计一套针对安全性、可靠性分析的集成分析流程和如何解决可靠性模型、安全性模型和系统模型之间的接口问题等2方面介绍了基于模型的可靠性、安全性集成分析方法,阐述目前该领域所存在的问题和未来的发展方向。

With the increasing complexity of the system,showing the characteristics of highly complex functions,dynamic fault reconstruction and coupling correlation in various fields,the limitations of traditional reliability and security analysis methods are becoming more and more obvious.Relying on the rapid development of model-based systems engineering method(MBSE),reliability and security engineers put forward model-based security analysis method(MBSA)and model-based reliability analysis method(MBRA).This paper summarizes the research progress of MBSA from three aspects:how to integrate fault model and system model,how to improve the readability of safety analysis results and how to design appropriate safety analysis flow.This paper summarizes the research progress of MBRA from three aspects:how to improve the automation and scope of analysis tools.how to strengthen the adaptability of modeling language to reliability analysis,and how to construct mapping transformation rules between different models.Then the integrated analysis method of reliability and security based on model is introduced from two aspects:how to design a set of integrated analysis flow for security and reliability analysis and how to solve the interface problems among reliability model,security model and system model.Finally,the existing problems and future development direction in this field aredescribed.