基于故障注入模型的电传飞控系统安全性分析

doi:10.7527/S1000-6893.2022.27329

电子电气工程与控制

本期目录 | 过刊浏览 | 高级检索

前一篇 | 后一篇

基于故障注入模型的电传飞控系统安全性分析

荘露¹, 陆中¹(), 宋海靖², 董力³, 吴雨婷¹, 周伽⁴

^1.南京航空航天大学民航学院，南京　211106
^2.中国飞行试验研究院可靠性研究中心，西安　710089
^3.中国航空无线电电子研究所民机系统部，上海　200241
^4.东方航空江苏有限公司飞机维修部，南京　211106

收稿日期:2022-04-26 修回日期:2022-06-15 接受日期:2022-09-23 出版日期:2022-10-09 发布日期:2022-09-30
通讯作者: 陆中 E-mail:luzhong@nuaa.edu.cn
基金资助:
国家自然科学基金(U1733124);民航安全能力建设基金(2021-196);航空科学基金(20180252002);南京航空航天大学科研与实践创新计划(xcxjh20210702)

Safety analysis for fly⁃by⁃wire system based on fault injection model

Lu ZHUANG¹, Zhong LU¹(), Haijing SONG², Li DONG³, Yuting WU¹, Jia ZHOU⁴

^1.College of Civil Aviation，Nanjing University of Aeronautics and Astronautics，Nanjing 　211106，China
^2.Reliability Research Center，Chinese Flight Test Establishment，Xi’an 　710089，China
^3.Civil Aviation System Department，Chinese Aeronautical Radio Electronics Research Institute，Shanghai 　200241，China
^4.Aircraft Maintenance Department，China Eastern Airlines Jiangsu Limited，Nanjing 　211106，China

Received:2022-04-26 Revised:2022-06-15 Accepted:2022-09-23 Online:2022-10-09 Published:2022-09-30
Contact: Zhong LU E-mail:luzhong@nuaa.edu.cn
Supported by:
National Natural Science Foundation of China(U1733124);Funds for Civil Aviation Safety Capacity Building(2021-196);Aeronautical Science Foundation of China(20180252002);Research and Practical Innovation Program of Nanjing University of Aeronautics and Astronautics(xcxjh20210702)

摘要/Abstract

摘要：

安全性分析既是飞机研制中提高安全性的主要手段，也是审定中验证设计方案是否满足适航要求的重要符合性方法。传统的安全性分析方法滞后于系统的设计过程，且高度依赖于分析人员的技术和经验，无法满足现代飞机复杂系统研制的需求。针对电传飞控系统提出了一种基于模型的安全性分析方法。使用Simulink分别构建了典型电传飞控系统的名义模型和拓展模型，利用单故障注入后的系统响应提出了故障影响的分析方法，以支持故障模式及影响分析的开展，基于状态遍历实现了组合故障注入，并利用组合故障注入后的系统响应提出故障树最小割集的分析方法，最后结合工程案例说明了本文方法的正确性与有效性。与经典的马尔可夫分析方法相比，该方法避免了对设计人员经验的依赖并且具有更高的精度；当系统方案修改时，该方法能直接更新安全性分析结果，避免了重新建模分析的繁琐工作。

关键词: 系统安全性分析, 飞控系统, 故障注入, 状态遍历, 递归法, 最小割集

Abstract:

Safety analysis is the main method to improve safety in the process of aircraft development， and is also an important method to examine if the design meets the safety requirements of airworthiness standards. Traditional safety analysis methods lag behind the system design process and are significantly dependent on the skills and experience of analysts， and thus cannot meet the requirements of safety analysis for modern complex systems gradually. This paper presents a model-based safety analysis method for the fly-by-wire system. The nominal model and extended model of the fly-by-wire flight control system are established with Simulink. Failure mode and effect analysis can be conducted by injecting the single fault mode and evaluating the impact through the system response. An analysis method of obtaining the minimal cut sets is proposed based on the system response by traversing all failure combinations. Finally， the correctness and effectiveness of the proposed method are illustrated by an engineering case. Compared with the classical Markov method， our method can avoid dependence on designers’ experience， and has higher accuracy. In addition， with the change of design， our method can update the results of safety analysis automatically， which can avoid the tedious work of re-modeling and re-analysis.

Key words: system safety analysis, flight control system, fault injection, state traversal, recursive method, minimal cut set

中图分类号:

V240.2

荘露, 陆中, 宋海靖, 董力, 吴雨婷, 周伽. 基于故障注入模型的电传飞控系统安全性分析[J]. 航空学报, 2023, 44(9): 327329-327329.

Lu ZHUANG, Zhong LU, Haijing SONG, Li DONG, Yuting WU, Jia ZHOU. Safety analysis for fly⁃by⁃wire system based on fault injection model[J]. ACTA AERONAUTICAET ASTRONAUTICA SINICA, 2023, 44(9): 327329-327329.

图/表 18

图 1

图 2

表 1

常见故障模式及说明

序号	故障模式	描述	数学模型	使用的Simulink模块
1	无响应	无论输入为何种形式输出始终为0	$y (t) = 0$	Constant模块：生成0信号
2	随机输出	输出数值在一定范围内的随机信号	$y (t) = r a n d (m i n, m a x)$	Random模块：生成随机数
3	延迟	输出延迟一定的时间	$y (t) = y r (t - t 0)$	Delay模块：延迟时间量的输入
4	卡滞	输出卡滞在某一数值	$y (t) = y r (t')$	Memory模块：输出上一时间步的输入
5	舵面松浮	舵面随气动力处于松浮状态	$y (t) = y i i = 1,2, ⋯, n$	若干Constant模块：不同状态舵面松浮时的角度
6	增益改变	输出信号增益发生变化	$y (t) = a y r (t)$	Gain模块：信号放大/缩小
7	信号漂移	实际信号与测量信号之间的恒定偏移/误差	$y (t) = y r (t) ± y 0$	Constant模块：设置漂移量 Add模块：信号值的加减

表 1

图 3

表 2

图 4

图 5

图 6

图 7

图 8

图 9

表 3

图 10

表 4

表 5

图 11

图 12

表 6

不同方法得到的顶层FC发生概率

FC	MA方法	蒙特卡罗仿真	本文方法
导致不安全飞行路径的滚转功能丧失	$(3 002.66 × 10 - 10, 3 002.69 × 10 - 10)$	$3 002.662$ $× 10 - 10$	$3 002.661$ $× 10 - 10$
导致不安全飞行路径的滚转振荡	$(1.139 9 × 10 - 10, 1.166 2 × 10 - 10)$	$1.140 9$ $× 10 - 10$	$1.140 6$ $× 10 - 10$

表 6

参考文献 27

1	中国民用航空局. 运输类飞机适航标准： CCAR-25-R4 ［S］. 北京：中国民用航空局， 2011： 129-130.
	Civil Aviation Administration of China. Airworthiness standards for transport aircraft： CCAR-25-R4 ［S］. Beijing：Civil Aviation Administration of China， 2011： 129-130 （in Chinese）.
2	Society of Automotive Engineers International. Certification considerations for highly-integrated or complex aircraft systems： ARP4754A ［S］. Warrendale： Society of Automotive Engineers， 2010： 1-12.
3	Society of Automotive Engineers International. Guidelines and methods for conducting the safety assessment process on civil airborne systems and equipment： ARP4761 ［S］. Warrendale： Society of Automotive Engineers， 1996： 4-6.
4	胡晓义，王如平，王鑫，等. 基于模型的复杂系统安全性和可靠性分析技术发展综述［J］. 航空学报， 2020， 41（6）： 523436.
	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 Aeronautica et Astronautica Sinica， 2020， 41（6）： 523436 （in Chinese）.
5	陈磊，焦健，赵廷弟. 基于模型的复杂系统安全分析综述［J］. 系统工程与电子技术， 2017， 39（6）： 1287-1291.
	CHEN L， JIAO J， ZHAO T D. Review for model-based safety analysis of complex safety-critical system［J］. Systems Engineering and Electronics， 2017， 39（6）： 1287-1291 （in Chinese）.
6	LIU J T， WANG H W， ZHENG W. A safety modelling method for high-speed train control systems based on UML extension［C］∥2020 Chinese Automation Congress. Piscataway： IEEE Press， 2020： 317-321.
7	WANG H L， ZHONG D M， ZHAO T D， et al. Integrating model checking with SysML in complex system safety analysis［J］. IEEE Access， 2019， 7： 16561-16571.
8	STEWART D. AADL-Based safety analysis using formal methods applied to aircraft digital systems［J］. Reliability Engineering & System Safety， 2021， 213： 107649.
9	WEI X M. AADL-based safety analysis approaches for safety-critical systems［C］∥2019 12th IEEE Conference on Software Testing， Validation and Verification. Piscataway： IEEE Press， 2019： 481-482.
10	ZHANG F K， DONG H Y. Research on formal modeling and safety analysis method of head-up display system for civil aircraft based on AltaRica［C］∥2019 3rd International Conference on Circuits， System and Simulation. Piscataway： IEEE Press， 2019： 116-120.
11	LI Z， JIANG Z Q， WANG D S， et al. System modeling and fault tree analysis based on AltaRica［J］. IEEE Access， 8： 168879-168897.
12	LU Z， ZHANG Z W， ZHUANG L， et al. Reliability model of the fly-by-wire system based on stochastic Petri net［J］. International Journal of Aerospace Engineering， 2019， 2019： 2124836.
13	WU D H. Formal model-based quantitative safety analysis using timed coloured Petri nets［J］. Reliability Engineering & System Safety， 2018， 176： 62-79.
14	SINGH L K， RAJPUT H. Dependability analysis of safety critical real-time systems by using Petri nets［J］. IEEE Transactions on Control Systems Technology， 2018， 26（2）： 415-426.
15	SAVELEV A S， EROSHCHENKOV E V， NERETIN E S， et al. Finite-state machine method in the safety assessment process using Stateflow diagrams［J］. Journal of Physics： Conference Series， 2021， 1958（1）： 012034.
16	CARRILLO M， ESTIVILL-CASTRO V， ROSENBLUETH D. Model-to-model transformations for efficient time-domain verification of concurrent models by NuSMV modules［C］∥ Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development. Science and Technology Publications， 2020： 287-298.
17	ZHONG D M， SUN R， GONG H Y， et al. System-theoretic process analysis based on SysML/MARTE and NuSMV［J］. Applied Sciences， 2022， 12（3）： 1671.
18	DOMÍNGUEZ-GARCÍA A D. An integrated methodology for the dynamic performance and reliability evaluation of fault-tolerant systems［J］. Reliability Engineering & System Safety， 2008， 93（11）： 1628-1649.
19	SHAO N， ZHANG S G， LIANG H. Model-based safety analysis of a control system using Simulink and Simscape extended models［C］∥ 2017 3rd International Conference on Mechanical， Electronic and Information Technology Engineering. Les Ulis： EDP Sciences， 2017， 139： 00219.
20	KIRAN R， JEPPU Y. Autopilot mode transitions and voter logic validation using model checking： A design study of formal methods［M］∥Lecture Notes in Electrical Engineering. Berlin： Springer， 2021： 263-281.
21	PING M L， ZHANG X B， GAO Z H， et al. Simulation model development of three-stage synchronous generator for aircraft power systems based on modelica［C］∥2016 19th International Conference on Electrical Machines and Systems. Piscataway： IEEE Press， 2016： 1-6.
22	MCRUER D T， MYERS T T， THOMPSON P M. Literal singular-value-based flight control system design techniques［J］. Journal of Guidance， Control， and Dynamics， 1989， 12（6）： 913-919.
23	DOMINGUEZ-GARCIA A D. An integrated methodology for the performance and reliability evaluation of fault-tolerant systems［D］. Cambridge： Massachusetts Institute of Technology， 2007： 103-122.
24	DOMINGUEZ-GARCIA A D， KASSAKIAN J G， SCHINDALL J E， et al. On the use of behavioral models for the integrated performance and reliability evaluation of fault-tolerant avionics systems［C］∥2006 IEEE/AIAA 25th Digital Avionics Systems Conference. Piscataway： IEEE Press， 2006： 1-14.
25	LU Z， ZHUANG L， DONG L， et al. Model-based safety analysis for the fly-by-wire system by using Monte Carlo simulation［J］. Processes， 2020， 8（1）： 90.
26	BABCOCK P S， ROSCH G， ZINCHUK J J. An automated environment for optimizing fault-tolerant systems designs［C］∥Annual Reliability and Maintainability Symposium. Piscataway： IEEE Press， 1991： 360-367.
27	董力. 基于模型的飞行控制系统安全性分析方法研究［D］. 南京：南京航空航天大学， 2020： 51-53.
	DONG L. Research on model-based safety analysis of flight control system［D］. Nanjing： Nanjing University of Aeronautics and Astronautics， 2020： 51-53 （in Chinese）.

E-mail：hkxb@buaa.edu.cn

关于我们

期刊社服务

专业学科

封面文章

友情链接

主管单位：中国科学技术协会主办单位：中国航空学会北京航空航天大学

部件序号	部件名称	故障模式序号
A	PFC1指令单元	1， 2， 3， 4
B	PFC2指令单元	1， 2， 3， 4
C	PFC1监控单元	1， 2， 3， 4
D	PFC2监控单元	1， 2， 3， 4
E	LAA1	1， 4
F	LAA2	1， 4
G	RAA1	1， 4
H	RAA2	1， 4
I	RA1	1， 4
J	RA2	1， 4
K	左副翼	4， 5
L	右副翼	4， 5
M	方向舵	4， 5
N	左副翼位置传感器1	1， 6， 7
O	左副翼位置传感器2	1， 6， 7
P	左副翼位置传感器3	1， 6， 7
Q	右副翼位置传感器1	1， 6， 7
R	右副翼位置传感器2	1， 6， 7
S	右副翼位置传感器3	1， 6， 7
T	方向舵位置传感器1	1， 6， 7
U	方向舵位置传感器2	1， 6， 7
V	方向舵位置传感器3	1， 6， 7
W	IMU1	1， 6， 7
X	IMU2	1， 6， 7
Y	IMU3	1， 6， 7

部件序号	部件名称	故障模式	故障率/10^-7	飞行阶段	局部影响	对高一层次的影响	最终影响	检测方法
A	PFC1指令单元	无响应	2	爬升，巡航，下降	PFC1指令单元输出为零	PFC1监控单元抑制PFC1指令单元的输出，并向PFC2发送重配置信号	系统响应正常	机内测试仿真
A	PFC1指令单元	随机输出	1	爬升，巡航，下降	PFC1指令单元随机输出	PFC1监控单元抑制PFC1指令单元的输出，并向PFC2发送重配置信号	系统响应正常	机内测试仿真
A	PFC1指令单元	延迟	1	爬升，巡航，下降	PFC1指令单元输出延迟一段时间	PFC1监控单元抑制PFC1指令单元的输出，并向PFC2发送重配置信号	系统响应正常	机内测试仿真
A	PFC1指令单元	卡滞	1	爬升，巡航，下降	PFC1指令单元输出卡滞在之前的数值	PFC1监控单元抑制PFC1指令单元的输出，并向PFC2发送重配置信号	系统响应正常	机内测试仿真

[1]	刘海港, 刘亮, 王鹏, 周维. 基于模型的多电飞机能源优化特性仿真分析[J]. 航空学报, 2021, 42(8): 525801-525801.
[2]	杨绚, 魏小勇, 崔德龙. 舰载机飞行控制系统总线接口策略[J]. 航空学报, 2019, 40(4): 622283-622283.
[3]	周庆, 刘斌, 余正伟, 冯时雨. 综合模块化航电软件仿真测试环境研究[J]. 航空学报, 2012, (4): 722-733.
[4]	蔡林, 张玲, 杨善水, 王莉. 大型飞机供配电系统可靠性评估与分析[J]. 航空学报, 2011, 32(8): 1488-1496.
[5]	巩磊, 张曙光, 刘晓锋, 邱天. 基于功能危险分析的涡扇发动机数字控制系统危险识别方法研究[J]. 航空学报, 2011, 32(12): 2194-2203.
[6]	李天梅, 胡昌华, 周鑫. 基于故障传递特性的位置不可访问故障注入方法[J]. 航空学报, 2011, 32(12): 2277-2286.
[7]	石君友;李郑;刘骝;田仲. 自动控制故障注入设备的设计与实现[J]. 航空学报, 2007, 28(3): 556-560.
[8]	陈云霞;段朝阳. 飞控系统最坏情况分析方法研究[J]. 航空学报, 2005, 26(5): 647-651.
[9]	陈宗基;黄浩东;秦旭东. 飞行控制系统虚拟原型技术[J]. 航空学报, 2002, 23(5): 441-447.
[10]	王少萍;李沛琼;裴英. 飞控系统功能重构技术研究[J]. 航空学报, 1998, 19(S1): 113-115.
[11]	吴斌;程鹏. 多变量飞控系统的稳定裕度分析[J]. 航空学报, 1998, 19(6): 18-22.
[12]	吴方向;史忠科;戴冠中. 飞控系统的模糊模型及其研究[J]. 航空学报, 1997, 18(5): 595-598.
[13]	熊玉玺;李林. 用最小割集有效系数法确定航炮系统故障的诊断程序[J]. 航空学报, 1992, 13(2): 70-73.

基于故障注入模型的电传飞控系统安全性分析

Safety analysis for fly⁃by⁃wire system based on fault injection model

RichHTML

PDF (PC)

可视化

摘要/Abstract

引用本文

使用本文

图/表 18

参考文献 27

相关文章 13

编辑推荐

Metrics

本文评价