A customizable and ARINC 653 quasi-compliant hypervisor
暂无分享,去创建一个
T. Gomes | M. Ekpanyapong | A. Tavares | S. Montenegro | J. Cabral | P. Cardoso | P. Rodrigues | P. Garcia | A. Carvalho
[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.