[1] Friedenthal S, Griego R, Sampson M. INCOSE model based systems engineering (MBSE) initiative[C]//INCOSE 2007 symposium. San Francisco, USA:INCOSE International Symposium, 2007:18-25.
[2] 邓昱晨,毛寅轩,卢志昂,等.基于模型的系统工程的应用及发展[J].科技导报, 2019, 37(7):49-54.
[3] 王文跃,侯俊杰,毛寅轩,等.面向复杂产品研制的MBSE体系架构及其发展趋势研究[J].控制与决策, 2022, 37(12):3073-3082.
[4] 胡晓义,王如平,王鑫,等.基于模型的复杂系统安全性和可靠性分析技术发展综述[J].航空学报, 2020, 41(6):147-158.
[5] Joshi A, Miller S P, Whalen M, et al. A proposal for model-based safety analysis[C]//Document Analysis Systems VI. Florence, Italy:IEEE, 2005.
[6] 蒋彩云,王维平,李群. SysML:一种新的系统建模语言[J].系统仿真学报, 2006, 18(6):1483-1487.
[7] Helle P. Automatic SysML-based safety analysis[C]//International Workshop on Model Based Architecting&Construction of Embedded Systems 2012. Innsbruck, Austria:ACM, 2012:19-24.
[8] Mhenni F. Safety analysis integration in a systems engineering approach for mechatronic systems design[D]. Paris:Ecole Centrale Paris, 2014.
[9] 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.
[10] 唐红英,胡军,陈朔,等.面向SysML的系统安全性分析工具与实例研究[J].计算机科学, 2020, 47(5):284-294.
[11] 唐红英.面向SysML模型的系统安全性分析方法研究[D].南京:南京航空航天大学, 2020.
[12] Stewart D, Whalen M W, Cofer D, et al. Architectural modeling and analysis for safety engineering[M]. Cham:Springer International Publishing, 2017:97-111.
[13] 楚娜娜,张曙光,高艳蕾,等.基于Simscape模型的航空发动机系统安全性分析方法[J].航空动力学报, 2021, 36(4):885-896.
[14] 柯宇航,李艳军,曹愈远,等.基于模型的飞控系统安全性分析研究[J].系统工程与电子技术, 2021, 43(11):3259-3265.
[15] Bernard R, Aubert J J, Bieber P, et al. Experiments in model based safety analysis:Flight controls[J]. IFAC Proceedings Volumes, 2007, 40(6):43-48.
[16] 徐文华,张育平.一种基于航电系统架构模型的故障树自动建模方法[J].计算机工程与科学, 2017, 39(12):2269-2277.
[17] 贾淑丽.一种基于模型的RCM分析方法[D].银川:北方民族大学, 2021.
[18] Morel M. Model-based safety approach for early validation of integrated and modular avionics architectures[C]//International Symposium on Model-based Safety&Assessmemt. Munich, Germany:Springer, 2014:57-69.
[19] Krishnan R, Bhada S V. An Integrated system design and safety framework for model-based safety analysis[J]. IEEE Access, 2020, 8:146483-146497.
[20] 王如平,周一舟,王鑫.基于MBSE的复杂工程系统可靠性设计分析关键技术研究[J].航空标准化与质量, 2021(5):42-51.
[21] David P, Idasiak V, Kratz F. Improving reliability studies with SysML[C]//Reliability and Maintainability Symposium 2009. Fort worth, Texas, USA:IEEE, 2009.
[22] 宛伟健.基于系统设计模型的动态故障树构建与分析方法研究[D].南京:南京航空航天大学, 2019.
[23] Rudov-Clark S D, Stecki J. The language of FMEA:On the effective use and reuse of FMEA data[C]//AIAC-13 Thirteenth Australian International Aerospace Congress. Australia:Australia Defence Science and Technology Organisation, 2009:9-12.
[24] Sharvia S, Papadopoulos Y. Integrating model checking with HiP-HOPS in model-based safety analysis[J]. Reliability Engineering&System Safety, 2015, 135:64-80.
[25] Schallert C. Inclusion of reliability and safety analysis methods in modelica[C]//8th International Modelica Conference. Dresden, Germany:DLR, 2011.
[26] 刘玮,李蜀瑜.基于AADL模型的静态故障树的自动生成[J].计算机技术与发展, 2013, 23(10):99-102.
[27] Chabane A, Adjerid S, Meddour I. Dependability analysis in systems engineering approach using the FMECA extracted from the SysML and failure modes classification by K-means[J]. International Journal of Dynamics and Control, 2021, 10(3):981-998.
[28] David P, Idasiak V, Kratz F. Automating the synthesis of AltaRica Data-Flow models from SysML[C]//ESREL 2009. Taylor&Francis Group, 2009:8.
[29] 董云卫,王广仁,张凡,等. AADL模型可靠性分析评估工具[J].软件学报, 2011, 22(6):1252-1266.
[30] 邓刘梦,葛晓瑜,宛伟健.基于NuSMV的SysML模型形式化验证[J].计算机技术与发展, 2019, 29(10):153-156.
[31] Cressent R, David P, Idasiak V, et al. Designing the database for a reliability aware Model-Based System Engineering process[J]. Reliability Engineering&System Safety, 2013, 111:171-182.
[32] Garro A, Tundis A. 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. Orlando, FL, USA:Wiley, 2012:1-8.
[33] 孙博,任羿,王自力,等.基于模型的可靠性系统工程[M].北京:国防工业出版社, 2021.
[34] 李娇,隆金波,彭文胜,等. MBSE模式下可靠性安全性测试性一体化建模与评估技术方法[J].计算机测量与控制, 2021, 29(7):247-253.
[35] 危虹,傅耘.基于模型"四性"综保系统工程设计[J].装备环境工程, 2015, 12(6):53-59.
[36] Field H. Logic and ontology[M]. London:Science without Numbers, 2016.
[37] Gruber T R. Toward principles for the design of ontologies used for knowledge sharing[J]. International Journal of Human-computer studies, 1995, 43(5/6):907-928.
[38] Borgida A, Brachman R J. Conceptual modeling with description logics[C]//The Description Logic Handbook:Theory, Implementation, and Applications. London:DBLP, 2003.
[39] Ebrahimipour V, Rezaie K, Shokravi S. An ontology approach to support FMEA studies[J]. Expert Systems with Applications, 2010, 37(1):671-677.
[40] Castet J F, Bareh M, Nunes J, et al. Fault management ontology and modeling patterns[C]//AIAA SPACE 2016. Long Beach, California:2016:5544.
[41] Castet J, Bareh M, Nunes J, et al. Failure analysis and products in a model-based environment[C]//2018 IEEE Aerospace Conference. Yellowstone Conference Center, Piscataway, NJ:IEEE, 2018.
[42] 姚燕.基于FMECA和本体技术的管制内话系统运行风险分析[D].天津:中国民航大学, 2017.
[43] David P, Idasiak V, Kratz F. Reliability study of complex physical systems using SysML[J]. Reliability Engineering&System Safety, 2010, 95(4):431-450.
[44] 王志,夏士雄,牛强,等.基于本体的矿井电机故障知识库构建[J].计算机工程, 2010, 36(10):270-272.
[45] 吴康清,黄利平,李伯舒,等.基于故障知识库的机械零部件故障管理支持系统[J].图学学报, 2019, 40(3):623-630.
