综述

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

  • 胡晓义 ,
  • 王如平 ,
  • 王鑫 ,
  • 付永涛
展开
  • 1. 中国航空工业成都飞机设计研究所, 成都 610041;
    2. 中国航空综合技术研究所, 北京 100028

收稿日期: 2019-09-03

  修回日期: 2019-09-17

  网络出版日期: 2019-12-26

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

  • HU Xiaoyi ,
  • WANG Ruping ,
  • WANG Xin ,
  • FU Yongtao
Expand
  • 1. AVIC Chengdu Aircraft Design and Research Institute, Chengdu 610041, China;
    2. China Aero-Polytechnology Establishment, Beijing 100028, China

Received date: 2019-09-03

  Revised date: 2019-09-17

  Online published: 2019-12-26

摘要

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

本文引用格式

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

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.

参考文献

[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.
文章导航

/