[1] 俞大磊,解文涛,孙靖国,等.综合化核心处理平台关键技术研究与实现[J].工业控制计算机,2015,28(12):150-151.(YU D L, XIE W T, SUN J G, et al. Research and realization of key technology for integrated core processing platform[J]. Industrial Control Computer, 2015, 28(12):150-151). [2] GASKA T, WATKIN C, CHEN Y. Integrated modular avionics-past, present, and future[J]. IEEE Aerospace and Electronic Systems Magazine, 2015, 30(9):12-23. [3] GE为C919提供综合模块化航电系统[J/OL]. 国际航空,2010(10):35.[2016-08-10]. http://www.ixueshu.com/document/2592969bcf6e768d318947a18e7f9386.html.(GEs integrated modular avionics for C919[J/OL]. International Aviation, 2010(10):35.[2016-08-10]. http://www.ixueshu.com/document/2592969 bcf6e768d318947a18e7f9386.html. [4] 谭龙华,杜承烈,雷鑫.ARINC653分区实时系统的可调度分析[J].航空学报,2015,36(11):3698-3705.(TAN L H, DU C L, LEI X. Schedulability analysis for ARINC 653 partitioned real-time systems[J]. Acta Aeronautica Et Astronautica Sinica, 2015, 36(11):3698-3705.). [5] 王震,朱剑锋.基于在线加载分区机制的重构方案的设计与实现[J].航空电子技术,2016,47(1):25-30.(WANG Z, ZHU J F. Design and implementation of a reconfiguration blueprint based on online-loaded partition mechanism[J]. Avionics Technology, 2016, 47(1):25-30.). [6] 安乐.民用飞机IMA 系统研制保证等级分配的研究[J].航空计算技术,2016,46(3):119-123(AN L. Research on development assurance level assignment for integrated modular avionics of civil aircraft[J]. Aeronautical Computing Technique, 2016, 46(3):119-123.). [7] 王鹏,赵长啸,马赞.综合模块化航电系统失效模式分析[J].电讯技术,2013,53(11):1406-1411.(WANG P, ZHAO C X, MA Z. Failure model analysis of integrated modular avionics system[J]. Telecommunication Engineering, 2013, 53(11):1406-1411.) [8] XU W, XIONG Z Y, GONG C. A method of integrated modular avionics system configuration data management[C]//Proceedings of the 2015 IEEE/AIAA 34th Digital Avionics Systems Conference. Piscataway, NJ:IEEE, 2015:6D4-1-6D4-8. [9] PAENG B J, HA O K, JUN Y K. Software tool for integrating configuration data of ARINC 653 operating systems[C]//Proceedings of the 2015 8th International Conference on Grid and Distributed Computing. Piscataway, NJ:IEEE, 2015:20-23. [10] 胡军,马金晶,刘雪,等.模型驱动的安全关键系统配置信息验证方法[J].计算机科学与探索,2015,9(4):385-402.(HU J, MA J J, LIU X, et al. Model-driven reconfiguration information verification for safety-critical systems[J]. Journal of Frontiers of Computer Science and Technology, 2015, 9(4):385-402.) [11] Aeronautical Radio Inc. Design guidance for integrated modular avionics, ARINC report 651-1[R]. Annapolis, Maryland:Aeronautical Radio Inc, 1997. [12] Wind River Inc. XML configuration explained platform safety critical:ARINC 653 XML configuration[EB/CD]. Alamida:Wind River Inc, 2007. [13] Wind River Inc. VxWorks 653 configuration and build guide[EB/CD]. Alamida:Wind River Inc, 2007. [14] Wind River Inc. VxWorksAE BSP developers guide[EB/CD]. Alamida:Wind River Inc, 2001. [15] Wind River Inc. VxWorks 653 programmers guide[EB/CD]. Alamida:Wind River Inc, 2007. |