Perspective view of virtualization technologies for avionics system
-
摘要: 将虚拟化技术应用于航空电子系统的设计,利用虚拟机系统来实现硬件资源的共享管理和软件子系统的划分,并符合ARINC 653规范的要求——模块化、可靠性、隔离性与开放性.构建由硬件平台、虚拟机监视器(VMM,Virtual Machine Monitor)和分区操作系统、航电应用软件所组成的3层软件架构,可以满足综合模块化航电系统(IMA,Integrated Modular Avionics)的功能要求与接口要求.其中,为实现符合ARINC 653要求的VMM,传统分区操作系统需要进行多项关键性调整,包括处理器特权级和特权指令、中断、内存地址空间分配、设备驱动等方面,从而可以构造基于VMM的综合化航空电子系统.
-
关键词:
- 航空电子 /
- 综合模块化航空电子系统 /
- 虚拟化 /
- 分区隔离
Abstract: Virtualization technology was used to achieve the designing of avionics system. Virtual machine system was used to implement a sharing management of hardware resources and to make a partitioned schema for software sub-systems subject to the requirements of ARINC 653, which required that the avionics system should be featured with modularity, reliability, isolation and openness. A triple-layer architecture, composed with hardware, virtual machine monitor(VMM)/partitioning OS, avionics application, was implemented to meet the functional and interfacing requirements of integrated modular avionics(IMA), which was a highly integrated and modularized avionics system. In order to achieve these features, VMM should be modified to resolve some problems so as to be compatible with ARINC 653 and traditional partitioned operating system should also be modified with several critical components or mechanisms, such as processor privilege level and privileged instruction, interrupt trap, memory management, device drivers and so on. With these improvements, a VMM-based IMA system could be constructed.-
Key words:
- avionics /
- IMA(integrated modular avionics) /
- virtualization /
- partition design
-
[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 -
点击查看大图
计量
- 文章访问数: 4256
- HTML全文浏览量: 156
- PDF下载量: 19625
- 被引次数: 0
下载:
