[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.) |