基于模型的复杂系统安全性和可靠性分析技术发展综述

doi:10.7527/S1000-6893.2019.23436

综述

本期目录 | 过刊浏览 | 高级检索

前一篇 | 后一篇

基于模型的复杂系统安全性和可靠性分析技术发展综述

胡晓义¹, 王如平², 王鑫², 付永涛¹

1. 中国航空工业成都飞机设计研究所, 成都 610041;
2. 中国航空综合技术研究所, 北京 100028

收稿日期:2019-09-03 修回日期:2019-09-17 出版日期:2020-06-15 发布日期:2019-12-26
通讯作者: 胡晓义 E-mail:cdhuxiaoyi67@163.com

Recent development of safety and reliability analysis technology for model-based complex system

HU Xiaoyi¹, WANG Ruping², WANG Xin², FU Yongtao¹

1. AVIC Chengdu Aircraft Design and Research Institute, Chengdu 610041, China;
2. China Aero-Polytechnology Establishment, Beijing 100028, China

Received:2019-09-03 Revised:2019-09-17 Online:2020-06-15 Published:2019-12-26

摘要/Abstract

摘要： 复杂系统的安全性、可靠性分析一直是装备通用质量特性领域关注的热点问题。随着航空机载系统向综合化、集成化、智能化方向发展，系统的功能逻辑、架构设计以及容错设计越来越复杂，以人工演绎推理为主的传统安全性、可靠性分析手段已经越来越不能满足要求，模型驱动的分析方法正在成为复杂系统安全性、可靠性设计所依赖的重要技术手段。特别是近几年，基于模型的系统工程技术发展迅猛，并在国内外航空企业中得到了广泛的应用和认可，这为基于模型的系统安全性、可靠性设计技术的进一步发展提供了有利条件。本文主要对国内外基于模型的复杂系统安全性、可靠性分析技术的研究进展进行了介绍，并对该项技术未来的发展方向和趋势进行了分析，为装备开展系统安全性、可靠性分析工作提供借鉴。

关键词: 基于模型的系统工程(MBSE), 基于模型的安全性分析(MBSA), 基于模型的可靠性分析(MBRA), 同源设计, 模型驱动

Abstract: Safety and reliability analyses of complex systems have always been a hot issue in the general quality characteristics design of the material. With the development of airborne system towards integration, complexity, and intellectualization, the function logic, architecture design, and fault-tolerant design of the system become more and more complex. The traditional safety and reliability analytical methods based on artificial deductive reasoning cannot meet the current requirements. The model-driven design method is becoming an important technique for the safety and reliability design of complex systems. Especially in recent years, model-based system engineering technology has developed rapidly and has been widely used and recognized in domestic and foreign aviation enterprises, providing favorable conditions for the further development of model-based system safety and reliability design technology. This paper mainly introduces the research progress of model-based safety and reliability analysis technology of complex system at home and abroad analyzing the future development direction and trend of this technology, providing references for system safety and reliability analysis of the material.

Key words: Model-Based System Engineering(MBSE), Model-Based Safety Analysis(MBSA), Model-Based Reliability Analysis(MBRA), Homologous desigh, model-driven

中图分类号:

V215.7

胡晓义, 王如平, 王鑫, 付永涛. 基于模型的复杂系统安全性和可靠性分析技术发展综述[J]. 航空学报, 2020, 41(6): 523436-523436.

HU Xiaoyi, WANG Ruping, WANG Xin, FU Yongtao. Recent development of safety and reliability analysis technology for model-based complex system[J]. ACTA AERONAUTICAET ASTRONAUTICA SINICA, 2020, 41(6): 523436-523436.

参考文献 33

[1]	JOSHI A, HEIMDAHL M P E, MILLER S P M, et al. Model-based safety analysis:NASA/CR-2006-213953[R].Washington, D.C.:NASA,2006.
[2]	HAMELIN R D, WALDEN D D, KRUEGER M E. INCOSE systems engineering handbook v3.2:Improving the process for SE practitioners[J]. INCOSE International Symposium, 2010, 20(1):532-541.
[3]	BAJAJ M, BACKHAUS J, WALDEN T, et al. Graph-based digital blueprint for model based engineering of complex systems[J]. INCOSE International Symposium, 2017, 27(1):151-169.
[4]	WYMORE A W. Model-based systems engineering[J]. Proceedings of the SPIE, 1993, 9150(1):101-111.
[5]	SIMI S M, MULHOLLAND S P, TANNER W G. TES-SAVi AWESUM model-based systems engineering (MBSE) for FACETM applications[C]//Aerospace Conference, 2014.
[6]	MARCO B, ADOLFO V. The FSAP/NUSMV-SA safety analysis platform[J]. International Journal on Software Tools for Technology Transfer, 2007, 9(1):5-24.
[7]	PROSVIRNOVA T, BRAMERET P A, RAUZY A. Model-based safety assessment:The AltaRica 3.0 Project[J]. INSIGHT, 2013, 16(4):24-25.
[8]	MALONE R, FRIEDLAND B, HERROLD J, et al. Insights from large scale model based systems engineering at Boeing[J]. INCOSE International Symposium, 2016, 26(1):542-555.
[9]	谷青范, 王国庆, 张丽花, 等. 基于模型驱动的航电系统安全性分析技术研究[J]. 计算机科学, 2015, 42(3):124-127. GU Q F, WANG G Q,ZHANG L H, et al. Research on the security analysis technology of aeroelectric system based on model driven[J]. Computer Science, 2015, 42(3):124-127(in Chinese).
[10]	车程, 刘轶斐. 基于模型的安全性分析技术研究[J]. 航空工程进展, 2016, 7(3):369-373. CHE C,LIU Y F. Research on model based safety analysis[J].Advanced in Aeronautical Science and Engineering,2016, 7(3):369-373(in Chinese).
[11]	SEPTAVERA S, YIANNIS P. Integrating model checking with HiP-HOPS in model-based safety analysis[J]. Reliability Engineering & System Safety, 2015,135(3):64-80.
[12]	刘玮, 李蜀瑜. 基于AADL模型的静态故障树的自动生成[J]. 计算机技术与发展, 2013(10):105-108,112. LIU W, LI S Y. A method for conversion of AADL model into static fault tree[J]. Computer Technology & Development, 2013(10):105-108,112(in Chinese).
[13]	RUDOV S D, STECKI J. The language of FMEA:On the effective use and reuse of FMEA data[C]//AIAC-13 Thirteen Australian International Aerospace Congress,2013.
[14]	SULLIVAN K J, DUGAN J B, COPPIT D. The Galileo fault tree analysis tool[C]//Twenty-ninth International Symposium on Fault-tolerant Computing,1999
[15]	BOZZANO M, CAVALLO A, CIFALDI M, et al. Improving safety assessment of complex systems:An industrial case study[C]//Proceedings of Formal Methods, 2003:208-222.
[16]	DUGAN J B, SULLIVAN K J, COPPIT D. Developing a high-quality software tool for fault tree analysis[C]//International Symposium on Software Reliability Engineering, 1999.
[17]	BOZZANO M, VILLAFIORITA A. Integrating fault tree analysis with event ordering information[C]//Proceedings of ESREL, 2003:247-254.
[18]	CLARKE E M, GRUMBERG O, PELED D A. Model checking[M]. Cambridge:The MIT Press, 2001.
[19]	CIMATTI A, CLARKE E M, GIUNCHIGLIA E, et al. NuSMV 2:An openSource tool for symbolic model checking[R]. Pittsburgh:Carnegie Mellon University, 2002.
[20]	ALESSANDEO C, EDMUUD C, FAUSTO G. NUSMV:A new symbolic model checker[J]. International Journal on Software Tools for Technology Transfer, 2000,2(4):410-425.
[21]	陈松. 基于AltaRica的模型转换与安全性验证方法研究[D]. 南京:南京航空航天大学,2017. CHEN S. Research on AltaRica based model conversion and security verification method[D]. Nanjing:Nanjing University of Aeronautics and Astronautics, 2017(in Chinese).
[22]	WANG T, WANG R, ZHANG H, et al. System reliability analysis method based on functional model[C]//Prognostics & System Health Management Conference, 2017.
[23]	CHRISTIAN S. Inclusion of reliability and safety analysis methods in modelica[C]//Proceedings 8th Modelica Conference, 2011:616-627.
[24]	NICHOLAS B, LAN C, DAVID C. Model-driven development of reliable avionics architectures for Lunar Surface Systems[C]//IEEE Aerospace Conference Proceedings. Piscataway:IEEE Press, 2010.
[25]	董云卫, 王广仁, 张凡, 等. AADL模型可靠性分析评估工具[J]. 软件学报, 2011, 22(6):1252-1266. DONG Y W, WANG G R, ZHANG F, et al. AADL model reliability analysis assessment tool[J]. Software Journal, 2011, 22(6):1252-1266(in Chinese).
[26]	SHARVIA S, PAPADOPOULOS Y. Integrated application of compositional and behavoural safety analysis[J]. Dependable Computer System Advances in Intelligent and Soft Computing, 2011, 97:179-192.
[27]	KAPOS G D, DALAKAS V, TSADIMAS A, et al. Model-based system engineering using SysML:Deriving executable simulation models with QVT[C]//IEEE International Systems Conference Proceedings. Piscataway:IEEE Press, 2014:1-7.
[28]	KAUFMANN M. Systems engineering with SysML/UML[J]. Computer, 2008,83(6):285-293.
[29]	DAVID P, IDASIAK V, KRATZ F. Reliability study of complex physical systems using SysML[J]. Reliability Engineering & System Safety, 2010, 95(4):431-450.
[30]	CRESSENT R, IDASIAK V, KRATZ F, et al. Mastering safety and reliability in a model based process[C]//Proceedings-Annual Reliability and Maintainability Symposium, 2011.
[31]	MHENNI F, NGUYEN N, KADIMA H, et al. Safety analysis integration in a SysML-based complex system design process[C]//Systems Conference, 2013.
[32]	MHENNI F, CHOLEY J Y, NGUYEN N, et al. Flight control system modeling with SysML to support validation, qualification and certification[J]. IFAC Papersonline, 2016, 49(3):453-458.
[33]	ALFREDO G, ANDREA T. A model-based method for system reliability analysis[C]//Simulation Series-Part of the 2012 Symposium on Theory of Modeling and Simulation-DEVS Integrative M&S Symposium,2012.

E-mail：hkxb@buaa.edu.cn

关于我们

期刊社服务

专业学科

封面文章

友情链接

主管单位：中国科学技术协会主办单位：中国航空学会北京航空航天大学

基于模型的复杂系统安全性和可靠性分析技术发展综述

Recent development of safety and reliability analysis technology for model-based complex system

PDF (PC)

可视化

摘要/Abstract

引用本文

使用本文

参考文献 33

相关文章 5

编辑推荐

Metrics

本文评价

[1]	毕文豪, 范秋岑, 李德林, 张安. 基于多视角的民机正向设计建模方法[J]. 航空学报, 2023, 44(10): 227536-227536.
[2]	孙霄剑, 罗明强, 张驰, 关若曦, 刘虎. 民用飞机预研论证权威真相源构建技术[J]. 航空学报, 2021, 42(2): 224222-224222.
[3]	黄斌达, 周来水, 安鲁陵, 卫炜, 王小平, 卜庆奎. 工序模型驱动的航空发动机零件机加夹具变型设计方法[J]. 航空学报, 2017, 38(1): 420091-420091.
[4]	徐丙凤, 黄志球, 胡军, 于笑丰. 面向适航认证的模型驱动机载软件构件的安全性验证 [J]. 航空学报, 2012, (5): 796-808.
[5]	宋利康;崔德刚;周儒荣. 企业模型与ERP系统间映射技术[J]. 航空学报, 2007, 28(6): 1513-1520.