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

doi:10.7527/S1000-6893.2019.23436

Abstract

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

CLC Number:

V215.7

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.

References 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.

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

PDF (PC)

Knowledge

Abstract

Cite this article

share this article

References 33

Related Articles 1

Recommended Articles

Metrics

Comments