A customizable and ARINC 653 quasi-compliant hypervisor

This paper presents a novel hypervisor, developed for aerospace applications using an object oriented approach that embodies time and space partitioning (TSP) on a PowerPC (PPC) core embedded in a FPGA, for the NetworkCentric core avionics [1] - an architecture of cooperating components and managed by a real-time operating system, to implement dependable computing and targeting simplicity. To support Integrated Modular Architecture (IMA) [2] partitioned software architectures, the proposed hypervisor adapted to the aerospace application domain the Popek and Goldberg's [3] fidelity, efficiency and resource control virtualization requirements, and extends them with additional ones like timing determinism, reactivity and improved dependability. A distinctive feature of this hypervisor is its I/O device virtualization approach that guarantees real-time performance and small trusted computing base. The object oriented approach will be particularly useful to customize key components of the hypervisor (with different granularity levels) such as partition scheduling and the communications manager using generative programming techniques (Aspect Oriented Programming (AOP) and template meta-programming).

[1]  Gil Neiger,et al.  Intel virtualization technology , 2005, Computer.

[2]  Robert P. Goldberg,et al.  Architectural Principles for Virtual Computer Systems , 1973 .

[3]  Sergio Montenegro Network Centric Core Avionics , 2009, 2009 First International Conference on Advances in Satellite and Space Communications.

[4]  Robert J. Creasy,et al.  The Origin of the VM/370 Time-Sharing System , 1981, IBM J. Res. Dev..

[5]  Gernot Heiser,et al.  The OKL4 microvisor: convergence point of microkernels and hypervisors , 2010, APSys '10.

[6]  Timo Kerstan,et al.  Proteus, a Hybrid Virtualization Platform for Embedded Systems , 2009, IESS.

[7]  Guangze Xiong,et al.  VMM-Based Real-Time Embedded System , 2008, 2008 International Conference on Embedded Software and Systems Symposia.

[8]  José Rufino,et al.  AIR Technology: a step towards ARINC 653 in space , 2009 .

[9]  Chuck Yoo,et al.  A Step to Support Real-Time in Virtual Machine , 2009, 2009 6th IEEE Consumer Communications and Networking Conference.

[10]  Gernot Heiser,et al.  The role of virtualization in embedded systems , 2008, IIES '08.

[11]  Udo Steinberg,et al.  NOVA: a microhypervisor-based secure virtualization architecture , 2010, EuroSys '10.

[12]  Sangwon Seo Research on System Virtualization using Xen Hypervisor for ARM based secure mobile phones , 2010 .

[13]  Tatsuo Nakajima,et al.  Linux/RTOS Hybrid Operating Environment on Gandalf Virtual Machine Monitor , 2006, EUC.

[14]  Robert P. Goldberg,et al.  Formal requirements for virtualizable third generation architectures , 1973, SOSP 1973.

[15]  I. Ripoll,et al.  XtratuM: An Open Source Hypervisor for TSP Embedded Systems in Aerospace , 2009 .

[16]  S. Aoyagi,et al.  IXIV VMM: A VMM on 2-Level Ring Architecture , 2008, 2008 IEEE 8th International Conference on Computer and Information Technology Workshops.