Fault injection strategy for network of integrated modular avionics platform
SUN Yigang1, XU Chang2, LIU Zhexu2
1. College of Aerospace Engineering, Civil Aviation University of China, Tianjin 300300, China; 2. College of Electronics Information and Automation, Civil Aviation University of China, Tianjin 300300, China
Abstract：The network of Integrated Modular Avionics (IMA) platform has complex communication structure. When fault injection testing, it is difficult to select a appropriate test path, and there are much equivalent and invalid fault injection. According to the characteristics of the network communication structure of the IMA platform, a new fault injection strategy was proposed. Firstly, according to the requirements of real-time and certainty in the network of IMA platform, a test path optimization algorithm based on communication links was proposed, optimal test paths were generated to achieve orderly coverage of IMA platform network test tasks. Secondly, after determining the test path, a test case automatic generation model was constructed by using Colored Petri Net (CPN) modeling method, the equivalent and invalid faults were eliminated, and test cases required for each test task in the path were streamlined. The simulation results show that the proposed method is less than the traditional fault injection strategy in terms of test times and test time, so it can overcome the shortcomings of disorder and blindness in the traditional strategy and reduce the time cost of the test.
[1] Airlines Electronic Engineering Committee. ARINC specification 653 P0:overview of ARINC653[S]. Maunaloa,HI,USA:Aeronautical Radio Inc., 2013. [2] 李浩.IMA平台网络的通信调度数据自动生成方法研究[D].天津:中国民航大学,2016:5-8.(LI H. Reasearch on automatic generation method of communication scheduling data in the network of IMA platform[D]. Tianjin:Civil Aviation University of China, 2016:5-8.) [3] Aeronautical Radio Inc. ARINC664 P7 avionics full duplex switched ethernet network[S]. Maunaloa,HI,USA:Aeronautical Radio Inc., 2009. [4] 王运盛.综合模块化航空电子分区软件可靠性研究[D].成都:电子科技大学,2017:6-12. (WANG Y S. Research on reliability of partition software in integrated modular avionics[D]. Chengdu:University of Electronic Science and Technology of China, 2017:6-12.) [5] 李佳亮.故障注入技术研究与展望[J].机械工程师,2016(8):83-85. (LI J L. Research and prospect of fault injection technology[J]. Mechanical Engineer, 2016(8):83-85.) [6] 李安龙.RTL级故障注入工具开发与应用[D].哈尔滨:哈尔滨工业大学,2017:1-2.(LI A L. Design and application of fault-injection tool at RTL level[D]. Harbin:Harbin Institute of Technology, 2017:1-2.) [7] 张如佩.飞控系统的故障样本选取与故障注入方法研究[D].南京:南京航空航天大学,2017:5-8. (ZHANG R P. Research on fault samples selection and fault injection method for flight control systems[D]. Nanjing:Nanjing University of Aeronautics and Astronautics, 2017:5-8.) [8] 肖皓天,熊华钢,李峭,等.基于AFDX网络的综合模块化航电故障注入技术[J].电光与控制,2017,24(10):75-79. (XIAO H T, XIONG H G, LI Q, et al. AFDX based fault injection technology for integrated modular avionics system[J]. Electronics Optics and Control, 2017, 24(10):75-79.) [9] 陈冬英,宋东,陈杰.航空电子全双工交换式以太网故障注入方法研究[J].测控技术,2015,34(1):91-94.(CHEN D Y, SONG D, CHEN J. Research on fault injection on AFDX[J]. Measurement and Control Technology, 2015, 34(1):91-94.) [10] 王磊,陈琳,李勇.AFDX网络测试技术研究与实现[J].计算机测量与控制,2017,25(3):40-42. (WANG L, CHEN L, LI Y. Research and implementation of AFDX network test technology[J]. Computer Measurement and Control, 2017,25(3):40-42.) [11] 王臣虎.AFDX航空网络的可靠性建模与性能分析[D].上海:上海交通大学,2012:1-2. (WANG C H. Reliability modeling and performance analysis of AFDX avionics network[D]. Shanghai:Shanghai Jiao Tong University, 2012:1-2.) [12] 刘继华,陈策.基于变迁的完全路径覆盖测试[J].计算机应用,2012,32(11):3075-3077. (LIU J H, CHEN C. Complete path coverage testing based on change[J]. Journal of Computer Applications, 2012, 32(11):3075-3077.) [13] 杨宁宁.基于遗传蚁群算法的路径覆盖测试数据生成的研究[D].邯郸:河北工程大学,2013:14-18. (YANG N N. Based on genetic and ant colony algorithm for path coverage test data generation[D]. Handan:Hebei University of Engineering, 2013:14-18.) [14] HU H S, ZHOU M C, LI Z W. Liveness and ratio-enforcing supervision of automated manufacturing systems using Petri nets[J]. IEEE Transactions on Systems, Man, and Cybernetics-Part A:Systems and Humans, 2012, 42(2):392-403. [15] 董健.基于着色Petri网的列控系统等级转换建模分析与半实物仿真[D].北京:北京交通大学,2017:8-9. (DONG J. Modeling and semi-physical simulation of level transition based on colored Petri nets[D]. Beijing:Beijing Jiaotong University, 2017:8-9.)
2018, Vol. 38 
