Citation: | Zhang Jiong, Lü Zixu, Hu Yanyan, et al. Perspective view of virtualization technologies for avionics system[J]. Journal of Beijing University of Aeronautics and Astronautics, 2010, 36(2): 127-130. (in Chinese) |
[1] 涂泽中,雷迅,胡蓉.对新一代综合航电系统发展的探讨[J].航空电子技术,2001,32(4):11-18 Tu Zezhong,Lei Xun,Hu Rong.Exploration of development of integrated avionics system of next generation[J].Avionics Technology,2001,32(4):11-18(in Chinese) [2] Littlefield-Lawwill J,Viswanathan R.Advancing open standards in integrated modular avionics:An industry analysis //AIAA/IEEE Digital Avionics Systems Conference-Proceedings.Piscataway,NJ:IEEE,2007:2B11-2B114 [3] Black R,Fletcher M.Next generation space avionics: A highly reliable layered system implementation //AIAA/IEEE Digital Avionics Systems Conference-Proceedings.Piscataway,NJ:IEEE,2004:13E4-14-13E4-15 [4] Wilson A.The evolving ARINC 653 standard and its application to IMA .Gaydon,UK:Heritage Motor Centre,2007 .http://www.mae-show.com/conference.htm [5] 谢克嘉.ARINC653规范与机载实时操作系统发展趋势[J].计算机工程与应用,2004(增刊):56-58 Xie Kejia.ARINC653 specification and the airborne real-time operating system development trend[J].Computer Engineering and Applications,2004(Supplement):56-58(in Chinese) [6] 陈宗基,孔繁峨,李卫琪,等.先进战斗机的飞行控制计算机系统研究[J].航空学报,2007,28(4):935-942 Chen Zongji,Kong Fan’e,Li Weiqi,et al.Study on flight control computer systems of advanced fighters[J].Acta Aeronautica Et Astronautica Sinica,2007,28(4):935-942(in Chinese) [7] GJB 5357-2005,航空电子应用软件接口要求 [S] GJB 5357-2005,Requirements for avionics application software interface [S] (in Chinese) [8] Chrisnall D.The definitive guide to the Xen hypervisor[M].Boston:Prentice Hall,2007:219-221 [9] Rushby J.Partitioning in avionics architectures: Requirements,mechanisms,and assurance .DOT/FAA/AR-99/58 & NASA/CR-1999-209347,2000 [10] Smith J E,Ravi N.The architecture of virtual machines[J].Computer,2005,38(5):32-38 [11] Lin Tan,Chan E M,Farivar R,et al.IKernel: Isolating buggy and malicious device drivers using hardware virtualization support //Proceedings-DASC 2007: Third IEEE International Symposium on Dependable,Autonomic and Secure Computing.Piscataway,NJ:IEEE,2007:134-142
|