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

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

Abstract

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)

CLC Number:

V37
N945.12

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.

Figures/Tables 20

Fig.1

Fig.2

Fig.3

Fig.4

Table 1

Fig.5

Table 2

Fig.6

Fig.7

Fig.8

Fig.9

Fig.10

Fig.11

Fig.12

Fig.13

Fig.14

Fig.16

Table 3

Fig.17

References 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

Research on model-based safety analysis of flight control system

RichHTML

PDF (PC)

Knowledge

Abstract

Cite this article

share this article

Figures/Tables 20

References 31

Related Articles 1

Recommended Articles

Metrics

Comments