考虑安全性需求的航空电子网络可靠性模型

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

Abstract

Abstract:

The reliability level of an avionics network characterizes its capability to support avionics mission completion. Network reliability models based on single connectivity considerations cover only the structural information of the network and cannot effectively evaluate the network’s ability to support different safety-critical missions, affecting the accurate evaluation of network safety. To address this issue, a comprehensive avionic network reliability analysis model that takes into account both the safety-critical attributes of tasks and the structural attributes of the network is proposed. Based on the safety-critical adjacency matrix, an ordered binary decision diagram (OBDD) is constructed through edge expansion decomposition to evaluate the network’s reliability. By analyzing an actual avionics full-duplex switched ethernet (AFDX) switch network and incorporating four levels of safety constraints, high-risk paths can effectively be eliminated. The cumulative average safety-criticality of links through which tasks can be transmitted in the network is reduced by 1.19%, 9.47%, 29.18%, and 58.14%, respectively.

Key words: safety, avionics network, ordered binary decision diagram (OBDD), reliability

CLC Number:

V
240.2

Changxiao ZHAO, Penghui WANG, Xiaoyi TIAN, Kenian WANG. Avionics network reliability model considering safety requirements[J]. Systems Engineering and Electronics, 2024, 46(10): 3462-3472.

Figures/Tables 25

Fig.1

Fig.2

Fig.3

Fig.4

Fig.5

Fig.6

Fig.7

Fig.8

Fig.9

Fig.10

Table 1

Table 2

Table 3

Table 4

Table 5

Table 6

Table 7

Fig.11

Fig.12

Fig.13

Table 8

Table 9

Fig.14

Table 10

Fig.15

References 41

1	CHEN K, DU C J, CHEN J C, et al. Design of virtual simulation experiment platform based on ARINC 653 specification[C]// Proc.of the IEEE 4th Information Technology, Networking, Electronic and Automation Control Conference, 2020: 963-967.
2	DUX Y,DUC L,CHENJ C,et al.A simulation and verification platform for avionics systems based on future air-borne capability environment architecture[J].Applied Sciences,2022,12(22):11533. doi: 10.3390/app122211533
3	LIM,ZHUG C,SAVARIAY,et al.Reliability enhancement of redundancy management in AFDX networks[J].IEEE Trans.on Industrial Informatics,2017,13(5):2118-2129. doi: 10.1109/TII.2017.2732345
4	MA L, WANG Y. Mitigation of sequence inversion in AFDX based on time-triggered scheduling[C]//Proc.of the Integrated Communication, Navigation and Surveillance Conference, 2022.
5	LIJ,LIQ,XIONGH.Enhancing low-priority traffic reconfiguration designs in mixed-critical avionics networks[J].IET Communications,2023,17(13):1524-1540. doi: 10.1049/cmu2.12639
6	VILLEGASJ,FORTESS,ESCANOV,et al.Verification and validation framework for AFDX avionics networks[J].IEEE Access,2022,10,66743-66756. doi: 10.1109/ACCESS.2022.3184329
7	李键,孙东旭,朱志强.航电FC交换网络可靠性建模与仿真研究[J].电光与控制,2019,26(5):73-76.
	LIJ,SUND X,ZHUZ Q.Modeling and simulation of avionics FC switched network reliability[J].Electronics Optics & Control,2019,26(5):73-76.
8	LIF,LIUW Y,GAOW J,et al.Design and reliability analysis of a novel redundancy topology architecture[J].Sensors,2022,22(7):2582. doi: 10.3390/s22072582
9	LIR Y,LIM N,LIAOH T,et al.An efficient method for evaluating the end-to-end transmission time reliability of a switched ethernet[J].Journal of Network and Computer Applications,2017,88,124-133. doi: 10.1016/j.jnca.2017.01.038
10	WANG K, WANG S P, SHI J. Integrated reliability theory and evaluation methodology of AFDX[C]//Proc.of the 10th International Conference on Industrial Informatics, 2012: 657-662.
11	BARONC,LOUISV.Framework and tooling proposals for agile certification of safety-critical embedded software in avionic systems[J].Computers in Industry,2023,148,103887. doi: 10.1016/j.compind.2023.103887
12	陈瑶,李峭,赵长啸,等.基于OBDD的航空电子网络可靠性分析[J].系统工程与电子技术,2013,35(1):230-236.
	CHENY,LIQ,ZHAOC X,et al.Reliability analysis of avio-nics networks based on OBDD[J].Systems Engineering and Electronics,2013,35(1):230-236.
13	赵长啸,戴骏,董方正,等.机载时间敏感网络链路安全关键度均衡调度方法[J].航空学报,2024,45(6):315-328.
	ZHAOC X,DAIJ,DONGF Z,et al.Link security critical balance scheduling for airborne time-sensitive network[J].Acta Aeronautica et Astronautica Sinica,2024,45(6):315-328.
14	ZHAOC X,ZHANGW,DONGF Z,et al.Research on resource allocation method of integrated avionics system consi-dering fault propagation risk[J].International Journal of Aerospace Engineering,2022,2022,8652818.
15	于思凡,何锋,熊华钢.优先级驱动的泛化航电网络实时性能分析[J].航空学报,2022,43(7):395-407.
	YUS F,HEF,XIONGH G.Priority-driven generalized real-time performance analysis of avionics network[J].Acta Aeronautica et Astronautica Sinica,2022,43(7):395-407.
16	HOTESCU O A, JAFFRES-RUNSER K, SCHARBARG J L, et al. Towards quality of service provision with avionics full duplex switching[C]//Proc.of the 29th Euromicro Conference on Real-Time Systems, 2017.
17	WENT,DENGY.Identification of influencers in complex networks by local information dimensionality[J].Information Sciences,2020,512,549-562. doi: 10.1016/j.ins.2019.10.003
18	WANGX J,SLAMUW,GUOW Q,et al.A novel semi local measure of identifying influential nodes in complex networks[J].Chaos, Solitons & Fractals,2022,158,112037.
19	NAMTIRTHAA,DUTTAB,DUTTAA.Semi-global triangular centrality measure for identifying the influential spreaders from undirected complex networks[J].Expert Systems with Applications,2022,206,117791. doi: 10.1016/j.eswa.2022.117791
20	HOTESCU O, JAFFRES-RUNSER K, SCHARBARG J L, et al. Impact of source scheduling on end-to-end latencies in a QoS-aware avionics network[C]//Proc.of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019.
21	BAYRAMO B,OZCANA.Determining optimal paths of virtual links in avionics full-duplex switched ethernet networks using modified ant colony optimization algorithm[J].Expert Systems with Applications,2023,229,120433. doi: 10.1016/j.eswa.2023.120433
22	XUQ,YANGX.Analysis of forward approach for upper bounding end-to-end transmission delays over distributed real-time avionics networks[J].The Aeronautical Journal,2020,124(1279):1399-1435. doi: 10.1017/aer.2020.33
23	YAOJ G,WUJ H,LIUQ C,et al.System-level scheduling of mixed-criticality traffics in avionics networks[J].IEEE Access,2016,4,5880-5888.
24	KUMAR N D, VARDHINI P A H. Implementation of ethernet MAC IP core in the development of AFDX end system card[C]// Proc.of the International Conference on Intelligent Computing and Control Systems, 2019: 593-596.
25	KULTUR O R, BILGE H S. Comparative analysis of next ge-neration aircraft data networks[C]//Proc.of the IEEE EUROCON 19th International Conference on Smart Technologies, 2021: 317-320.
26	何锋,周璇,赵长啸,等.航空电子系统机载网络实时性能评价技术[J].北京航空航天大学学报,2020,46(4):651-665.
	HEF,ZHOUX,ZHAOC X,et al.Real-time performance evaluation technology of airborne network for avionics system[J].Journal of Beijing University of Aeronautics and Astronautics,2020,46(4):651-665.
27	JIANG X, GUO L H, HUANG N, et al. Fault cases management system for avionics system with the characteristics of network[C]//Proc.of the 10th International Conference on Reliability, Maintainability and Safety, 2014: 826-830.
28	赵长啸,何锋,阎芳,等.面向风险均衡的AFDX虚拟链路路径寻优算法[J].航空学报,2018,39(1):261-272.
	ZHAOC X,HEF,YANF,et al.Path optimization algorithm of AFDX virtual link to balance the network risk[J].Acta Aeronautica et Astronautica Sinica,2018,39(1):261-272.
29	DAVILAF A,YADAVO P.All-terminal network reliability estimation using convolutional neural networks[J].Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability,2022,236(4):584-597.
30	WONGVILAISAKULW,NETINANTP,RUKHIRANM.Dynamic multi-criteria decision making of graduate admission recommender system: AHP and fuzzy AHP approaches[J].Sustainability,2023,15(12):9758.
31	BANERJEES,HUANGX.Degree centrality and root finding in growing random networks[J].Electronic Journal of Probability,2023,28,42.
32	ARP4754A. Guidelines for development of civil aircraft and systems[S]. Warrendale: SAE International, 2010.
33	HUH Z,LIUJ X,ZHANGX P,et al.An effective and adaptable K-means algorithm for big data cluster analysis[J].Pattern Recognition,2023,139,109404.
34	NIEF P,LIZ H,WANGR,et al.An effective and efficient algorithm for K-means clustering with new formulation[J].IEEE Trans.on Knowledge and Data Engineering,2023,35(4):3433-3443.
35	ABDALHAQB,AWADA,HAWASHA.A fast binary decision diagram (BDD)-based reversible logic optimization engine driven by recent meta-heuristic reordering algorithms[J].Microelectronics Reliability,2021,123,114168.
36	KUOS Y,LUS K,YEHF M.Determining terminal-pair reliability based on edge expansion diagrams using OBDD[J].IEEE Trans.on Reliability,1999,48(3):234-246.
37	KHADIEVK,KHADIEVAA,KNOPA.Exponential separation between quantum and classical ordered binary decision diagrams, reordering method and hierarchies[J].Natural Computing,2023,22(4):723-736.
38	HEL F,LIUG J.Verifying computation tree logic of know-ledge via knowledge-oriented Petri nets and ordered binary decision diagrams[J].Computing and Informatics,2021,40(5):1174-1196.
39	LATOURA L D,BABAKIB,FOKKINGAD,et al.Exact stochastic constraint optimisation with applications in network analysis[J].Artificial Intelligence,2022,304,103650.
40	LIR Y,WANGJ F,LIAOH T,et al.A new method for reliabi-lity allocation of avionics connected via an airborne network[J].Journal of Network and Computer Applications,2015,48,14-21.
41	YUQ Y,HOUL H,LIY H,et al.Pipeline failure assessment based on fuzzy Bayesian network and AHP[J].Journal of Pipeline Systems Engineering and Practice,2023,14(1):04022059.

Scale函数取值	相对重要性
1	2个元素相比, 具有同等重要性
3	2个元素相比, 前者比后者稍重要
5	2个元素相比, 前者比后者明显重要
7	2个元素相比, 前者比后者强烈重要
9	2个元素相比, 前者比后者极端重要
2, 4, 6, 8	两相邻判断的中间值
以上数的倒数	若元素i与元素j的重要性之比为a_ij, 则元素j与元素i的重要性之比为a_ji=1/a_ij

标度	RI
1	0.00
2	0.00
3	0.58
4	0.90
5	1.12
6	1.24
7	1.32
8	1.41
9	1.45

失效分类与评价结果	对机组的影响	对乘客的影响	对飞机的影响
Ⅳ类失效	0.055	0.041	0.095
Ⅲ类失效	0.118	0.082	0.160
Ⅱ类失效	0.263	0.349	0.278
Ⅰ类失效	0.564	0.528	0.467
CR值	0.044	0.048	0.012
一致性检验	通过	通过	通过

失效状态等级	严重程度W_Ci
Ⅰ类失效C1	0.815
Ⅱ类失效C2	0.268
Ⅲ类失效C3	0.046
Ⅳ类失效C4	0.014

系统功能ID	Ⅰ类	Ⅱ类	Ⅲ类	Ⅳ类
Fun₁	0	4	5	4
Fun₂	1	5	4	5
Fun₃	3	0	5	3
Fun₄	2	1	4	4
Fun₅	2	4	2	3
Fun₆	2	2	5	5
Fun₇	0	2	5	6
Fun₈	2	5	6	3
Fun₉	1	0	4	5

Avionics network reliability model considering safety requirements

RichHTML

PDF (PC)

Knowledge

Abstract

Cite this article

share this article

Figures/Tables 25

References 41

Related Articles 15

Recommended Articles

Metrics

Comments

网络节点	DC值(DC_i)		综合SC(G_i)
网络节点	网络(1)	网络(2)	网络(1)	网络(2)
SW1	0.429	0.375	0.060	0.067
SW2	0.429	0.500	0.106	0.158
SW3	0.714	0.375	0.120	0.134
SW4	0.714	0.250	0.157	0.070
SW5	0.429	0.375	0.125	0.140
SW6	0.429	0.500	0.109	0.162
SW7	0.571	0.500	0.050	0.056
SW8	0.571	0.375	0.193	0.162
SW9	-	0.375	-	0.053

任务	源节点	目的节点	任务描述
T1	1	9	远距离节点
T2	2	3	相邻节点
T3	6	4	任意节点

聚类种类	中心值
聚类种类	SCT	任务T1可靠度	任务T2可靠度	任务T3可靠度
1	1.725	0.968	0.983	0.968
2	1.465	0.967	0.987	0.968
3	1.200	0.954	0.986	0.955
4	0.965	0.927	0.975	0.865

顶层失效条件分类	任务相关顶层FDAL分配	SCT
灾难性的	A	0.965
危险的/严重的	B	1.200
主要的	C	1.465
次要的	D	1.725

SCT	改变数目(百分比/%)	全端可靠性改变均值	ASC平均数
无约束	0(0.00)	0	49.868 0
次要的	6(7.40)	-0.000 007	49.275 5
主要的	24(29.63)	-0.001 230	45.147 4
危险的/严重的	56(69.14)	-0.001 970	35.341 6
灾难性的	68(83.95)	-0.231 850	20.872 8

[1]	Tingyu ZHANG, Ying ZENG, Nan LI, Hongzhong HUANG. Spacecraft power-signal composite network optimization algorithm based on DRL [J]. Systems Engineering and Electronics, 2024, 46(9): 3060-3069.
[2]	Zeliu DING, Ming JI, Jing DU. Operation system architecture reliability analysis method based on connectivity [J]. Systems Engineering and Electronics, 2024, 46(9): 3112-3117.
[3]	Zhiwei CHEN, Luogeng ZHANG, Xiaotong FANG, Yuan YUAN, Weiwei CUI, Hongyan DUI, Dongpao HONG. Reliability concepts, modeling, and prediction methods for weapon system of systems [J]. Systems Engineering and Electronics, 2024, 46(6): 1975-1985.
[4]	Xi WANG, Hui REN, Wei WANG, Jiayi ZHANG, Hongshan ZHAO. Channel connectivity reliability prediction in URLLC scenario [J]. Systems Engineering and Electronics, 2024, 46(5): 1810-1819.
[5]	Xinyue YUAN, Hong CHEN, Lu DING, Lei SONG, Dan HUANG. ILS signal design based on modeling of safety for civil aircraft [J]. Systems Engineering and Electronics, 2024, 46(4): 1255-1263.
[6]	Guijie LI, Yang ZHAN, Dawei LI, Guangqing XIA. Fault tree importance measure analysis method and its application considering uncertainty [J]. Systems Engineering and Electronics, 2024, 46(3): 935-941.
[7]	Zhigeng FANG, Chenchen HUA, Ding CHEN, Jingru ZHANG, Yadong ZHANG, Honghua WU. GERT network technology for reliability structure analysis and modeling of complex system-of-systems [J]. Systems Engineering and Electronics, 2024, 46(10): 3427-3436.
[8]	Xiaogang QI, Yutong ZHOU, Lifang LIU. Evaluation of the reliability of UAV swarm for ground combat missions [J]. Systems Engineering and Electronics, 2023, 45(9): 2971-2978.
[9]	Hongjun ZHANG, Baiqiao HUANG, Tian BAI. Adaptive mechanism construction and evaluation method of complex engineering SoS [J]. Systems Engineering and Electronics, 2023, 45(8): 2325-2331.
[10]	Ying ZENG, Yanfeng LI, Hongyi WANG, Huaming QIAN, Hongzhong HUANG. Reliability analysis of industrial robot driver combining MRGP and PSO [J]. Systems Engineering and Electronics, 2023, 45(8): 2643-2650.
[11]	Xiangyu LI, Hongzhong HUANG, Xiaoyan XIONG. Reliability modeling of phased mission system considering shocks and phase backups [J]. Systems Engineering and Electronics, 2023, 45(7): 2280-2286.
[12]	Yanqiu HE, Youyuan WANG, Liping HE. Bootstrap estimation method of confidence interval for long-life product reliability based on maximum information entropy [J]. Systems Engineering and Electronics, 2023, 45(6): 1880-1892.
[13]	Jiang LI, Hecheng WU, Chen ZHU. Reliability assessment of long-life products based on semi-parametric degradation model [J]. Systems Engineering and Electronics, 2023, 45(6): 1893-1901.
[14]	Weining MA, Qiwei HU, Wenbin CAO, Xisheng JIA. Equipment selective maintenance decision optimization considering maintenance task assignment [J]. Systems Engineering and Electronics, 2023, 45(6): 1902-1910.
[15]	Haotian NIU, Cunbao MA, Pei HAN, Jianmin YI. Formal modeling and verification for mission safety of avionics system [J]. Systems Engineering and Electronics, 2023, 45(5): 1553-1569.