基于模型的飞控系统安全性分析研究

doi:10.12305/j.issn.1001-506X.2021.11.26

摘要/Abstract

摘要：

针对飞控系统安全性分析问题, 提出一种基于系统拓展模型(extended system model, ESM)的安全性分析方法。首先, 运用Simulink建立系统名义模型。然后, 对名义模型进行故障注入, 得到系统扩展模型, 观察故障情况下的系统响应并对系统进行安全性分析。最后, 选取操纵舵面系统(副翼/方向舵)为例。结果表明，系统故障拓展模型使得模型保持完整性和一致性, 能够模拟系统故障多状态模式, 保证了安全性分析结果的准确性和完整性。

关键词: 基于模型的安全性分析, 飞控系统, 故障注入, 系统扩展模型

Abstract:

Aiming at the problem of safety analysis of flight control system, a safety analysis method based on extended system model (ESM) is proposed. Firstly, the nominal model of the system is established by Simulink. Secondly, the fault is injected into the nominal model to obtain the ESM, and the system response under the fault condition is observed and the system safety is analyzed. Finally, taking a control surface system (ailerons/rudder) as an example. The results show that the system fault expansion model which keeps the integrity and consistency of the model, can simulate the system fault multi-state mode, and ensures the accuracy and integrity of the safety analysis results.

Key words: model-based safety analysis (MBSA), fight control system, fault injection, extended system model (ESM)

中图分类号:

V37
N945.12

柯宇航, 李艳军, 曹愈远, 张兴成. 基于模型的飞控系统安全性分析研究[J]. 系统工程与电子技术, 2021, 43(11): 3259-3265.

Yuhang KE, Yanjun LI, Yuyuan CAO, Xingcheng ZHANG. Research on model-based safety analysis of flight control system[J]. Systems Engineering and Electronics, 2021, 43(11): 3259-3265.

图/表 20

图1

图2

图3

图4

表1

图5

表2

图6

图7

图8

图9

图10

图11

图12

图13

图14

图15

图16

表3

图17

参考文献 31

1	VESELY W E, GOLDBERG F F, ROBERTS N H, et al. Fault tree handbook[R]. Washington D. C. : Nuclear Regulatory Commission, 1981.
2	STAMATIS D H . Failure mode and effect analysis: FMEA from theory to execution[M]. Washington: ASQ Quality Press, 2003.
3	BOZZANO M, VILLAFIORAITA A, AKERLUND O, et al. ESACS: an integrated methodology for design and safety analysis of complex systems[C]//Proc. of the European Safety and Reliability Conference, 2003.
4	VALÉRIE S, JEAN G. Model based safety assessment in dassault aviation[C]//Proc. of the Model-based Safety Assessment, 2010.
5	黄鸣宇. 基于模型检测的综合化航电系统故障树自动生成研究[D]. 南京: 南京航空航天大学, 2017.
	HUANG M Y. Research on automatic fault tree generation of integrated avionics system based on model detection[D]. Nanjing: Nanjing University of Aeronautics and Astronautics, 2017.
6	SAE ARP 4761. Guidelines and methods for conducting the safety assessment process on civil airborne systems and equipment[S]. Warrendale: ENGINEERS I S E A, 1996.
7	JOSHI A, WHALEN M, HEIMDAHL M. Model based safety analysis final report, NASA contractor report[S]. Washington D. C. : NASA/CR, 2006.
8	SULLIVAN J, DUGAN J B, COPPIT D. The Galileo fault tree analysis tool[C]//Proc. of the 29th International Symposium on Fault-tolerant Computing, 1999.
9	BOZZANO M, CAVALLO A, CIFALDI M, et al. Improving safety assessment of complex systems: an industrial case study[C]//Proc. of the International Symposium of Formal Methods Europe, 2003: 208-222.
10	DUGAN J B, SULLIVAN K J, COPPIT D. Developing a high-quality software tool for fault tree analysis[C]//Proc. of the International Symposium on Software Reliability Engineering, 1999.
11	BOZZANO M, VILLAFIORITA A. Integrating fault tree analysis with event ordering information[C]//Proc. of the European Safety and Reliability Conference, 2003: 247-254.
12	CHRISTIAN S. Inclusion of reliability and safety analysis methods in modelica[C]//Proc. of the 8th Modelica Confe-rence, 2011: 616-627.
13	NICHOLAS B, LAN C, DAVID C. Model-driven development of reliable avionics architectures for Lunar surface systems[C]//Proc. of the IEEE Aerospace Conference Proceedings Piscata-way, 2010.
14	董云卫, 王广仁, 张凡, 等. 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.
15	MHENNI F, NGUYEN N, KADIMA H, et al. Safety analysis integration in a SysML-based complex system design process[C]//Proc. of the Systems Conference, 2013: 70-75.
16	MHENNI F , CHOLEY J Y , NGUYEN N , et al. Flight control system modeling with SysML to support validation, qualification and certification[J]. IFAC Papers-online, 2016, 49 (3): 453- 458. doi: 10.1016/j.ifacol.2016.07.076
17	ALFREDO G, ANDREA T. A model-based method for system reliability analysis[C]//Proc. of the Simulation Series-Part of the Symposium on Theory of Modeling and Simulation-DEVS Integrative M&S Symposium, 2012.
18	石鹏飞, 谭智勇, 陈洁. 先进民机飞控系统发展的需求与设计考虑[J]. 中国科学: 技术科学, 2018, 48 (3): 237- 247.
	SHI P F , TAN Z Y , CHEN J . Requirements and design considerations for the development of advanced civil aircraft flight control system[J]. Science China Technological Sciences, 2018, 48 (3): 237- 247.
19	MALONE R, FRIEDLAND B, HERROLD J, et al. Insights from large scale model based systems engineering at Boeing[C]// Proc. of the INCOSE International Symposium, 2016, 26(1): 542-555.
20	李永锋. 宽体客机飞控电作动系统设计[J]. 航空学报, 2017, 38 (S1): 148- 156.
	LI Y F . Design of flight control electric actuation system for wide-body passenger aircraft[J]. ACTA Aeronauticaet Astronautica Sinica, 2017, 38 (1): 148- 156.
21	沈磊. 大型民用飞机新型飞控作动系统浅析[J]. 中国制造业信息化, 2012, 41 (23): 67- 71.
	SHEN L . Analysis of new flight control and actuation system of large civil aircraft[J]. Chinese Manufacturing Information, 2012, 41 (23): 67- 71.
22	SAE ARP4754. Certification consideration for highly-integrated or complex aircraft systems[R]. Warrendale: Society of Automotive Engineers, 1996.
23	陈磊, 焦健, 赵廷弟. 基于模型的复杂系统安全分析综述[J]. 系统工程与电子技术, 2017, 39 (6): 1287- 1291.
	CHEN L , JIAO J , ZHAO T D . Overview of complex system safety analysis based on model[J]. Systems Engineering and Electronics, 2017, 39 (6): 1287- 1291.
24	JOSHI A, MILLER S P, WHALEN M, et al. A proposal for model-based safety analysis[C]//Proc. of the IEEE 24th Digital Avionics Systems Conference, 2005.
25	WANG T, WANG R P, ZHANG H, et al. System reliability analysis method based on functional model[C]//Proc. of the Prognostics & System Health Management Conference, 2017.
26	LISAGOR O, KELLY T, NIU R. Model-based safety assessment: review of the discipline and its challenges[C]//Proc. of the IEEE 9th International Conference on Reliability, Maintainbility and Safety, 2011: 625-632.
27	胡晓义, 王如平, 王鑫, 等. 基于模型的复杂系统安全性和可靠性分析技术发展综述[J]. 航空学报, 2020, 41 (6): 147- 158.
	HU X Y , WANG R P , WANG X , et al. Recent development of safety and reliability analysis technology for model-based complex system[J]. ACTA Aeronauticaet Astronautica Sinica, 2020, 41 (6): 147- 158.
28	王明明. 基于形式化模型的系统安全性分析与验证方法研究[D]. 南京: 南京航空航天大学, 2018.
	WANG M M. Research on system security analysis and verification method based on formal model[D]. Nanjing: Nanjing University of Aeronautics and Astronautics, 2018.
29	BOZZANO M , VILLAFIORITA A . The FSAP/NUSMV-SA safety analysis platform[J]. Software Tools for Technology Transfer, 2007, 9 (1): 5- 24.
30	孙峻朝, 李运策, 杨孝宗. 故障注入研究的一种理论框架[J]. 小型微型计算机系统, 1999, (11): 816- 819.
	SUN J C , LI Y C , YANG X Z . A theoretical framework for fault injection research[J]. Journal of Chinese Computer Systems, 1999, (11): 816- 819.
31	邢清雄. 民机机电系统的故障注入和故障诊断研究[D]. 南京: 南京航空航天大学, 2019.
	XING Q X. Study on fault injection and fault diagnosis of electromechanical system of civil aircraft[D]. Nanjing: Nanjing University of Aeronautics and Astronautics, 2019.

故障特性	故障属性内容
故障位置	传感组件、控制元件、被控对象
故障类型	卡死、漂移、失效等
故障注入数量	单个、多个同时、多个顺序
故障注入时刻	随机、定时、事件触发

部件	故障模式	故障描述	失效率	故障参数
(左右)副翼/方向舵	卡死	输出卡死在某个值	1×10^-8	FT _n =2
(左右)副翼/方向舵	漂移	依据空气动力输出	1×10^-8	FT _n =3

部件故障模式	故障描述	系统响应	失效率
(左右)副翼卡死	输出卡死在某个值	正常	1×10^-8
(左右)副翼漂移	依据空气动力输出	故障	1×10^-8
方向舵卡死	输出卡死在某个值	正常	1×10^-8
方向舵漂移	依据空气动力输出	故障	1×10^-8

[1]	李耀华, 高源. 基于STPA-ANP模型的民机系统安全性分析[J]. 系统工程与电子技术, 2022, 44(9): 2986-2994.
[2]	陈露, 焦健, 魏钱锌. 面向模型检查的NuSMV统一建模方法[J]. 系统工程与电子技术, 2018, 40(7): 1654-1659.
[3]	陈磊, 焦健, 赵廷弟. 基于模型的复杂系统安全分析综述[J]. 系统工程与电子技术, 2017, 39(6): 1287-1291.
[4]	柴雪，王钢林，武哲. 智能决策系统及其在飞控系统设计中的应用[J]. Journal of Systems Engineering and Electronics, 2010, 32(4): 833-836.