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 . DOI: 10.7527/S1000-6893.2019.23436

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