D. Baldin and T. Kerstan, Proteus, a Hybrid Virtualization Platform for Embedded Systems, Proc. of the International Embedded Systems Symposium, 2009.
DOI : 10.1109/MC.2005.173

P. Barham, B. Dragovic, K. Fraser, S. Hand, T. Harris et al., Xen and the Art of Virtualization, Proc. of the 19th ACM Symposium on Operating Systems Principles, 2003.

H. Blanchard and J. Xenidis, Xen on PowerPC, 2006.

E. W. Dijkstra, Solution of a problem in concurrent programming control, Communications of the ACM, vol.8, issue.9, 1965.

R. Garside and J. Pighetti, Integrating modular avionics: A new role emerges, 2009.
DOI : 10.1109/maes.2009.4811086

S. Ghaisas, G. Karmakar, D. Shenai, S. Tirodkar, and K. Ramamritham, SParK: Safety Partition Kernel for Integrated Real-Time Systems, In: Lecture Notes in Computer Science, vol.6462, pp.159-174, 2010.
DOI : 10.1007/978-3-642-17226-7_10

Z. Gu and Q. Zhao, A State-of-the-Art Survey on Real-Time Issues in Embedded Systems Virtualization, Journal of Software Engineering and Applications, vol.05, issue.04, pp.277-290, 2012.
DOI : 10.4236/jsea.2012.54033

T. Kerstan, D. Baldin, and S. Groesbrink, Full virtualization of real-time systems by temporal partitioning, Proc. of the 6th International Workshop on Operating Systems Platforms for Embedded Real-Time Applications, 2010.

S. King, G. Dunlap, and P. Chen, Operating System Support for Virtual Machines, Proc. of the USENIX Annual Technical Conference, 2003.

S. Kumar, H. Raj, K. Schwan, and I. Ganev, Re-architecting VMMs for Multicore Systems: The Sidecore Approach, Proc. of the Workshop on Interaction between Operating Systems and Computer Architecture, 2007.

L. Lamport, A new solution of Dijkstra's concurrent programming problem, Communications of the ACM, vol.17, issue.8, pp.453-455, 1974.
DOI : 10.1145/361082.361093

J. Levasseur, V. Uhlig, M. Chapman, P. Chubb, B. Leslie et al., Previrtualization: Soft Layering for Virtual Machines, Proc. of the 13th Asia-Pacific Computer Systems Architecture Conference, 2008.

M. Masmano, I. Ripoll, and A. Crespo, XtratuM: a Hypervisor for Safety Critical Embedded Systems, Proc. of the Eleventh Real-Time Linux Workshop, 2009.

G. J. Popek and R. P. Goldberg, Formal requirements for virtualizable third generation architectures, Communications of the ACM, vol.17, issue.7, pp.412-421, 1974.
DOI : 10.1145/361011.361073

P. Prisaznuk, Integrated modular avionics, Proceedings of the IEEE 1992 National Aerospace and Electronics Conference@m_NAECON 1992, 1992.
DOI : 10.1109/NAECON.1992.220669

P. Prisaznuk, ARINC 653 role in Integrated Modular Avionics (IMA), 2008 IEEE/AIAA 27th Digital Avionics Systems Conference, 2008.
DOI : 10.1109/DASC.2008.4702770

J. E. Smith and R. Nair, The architecture of virtual machines, Computer, vol.38, issue.5, 2005.
DOI : 10.1109/MC.2005.173

S. Xi, J. Wilson, C. Lu, and C. Gill, RT-Xen, Proceedings of the ninth ACM international conference on Embedded software, EMSOFT '11, 2011.
DOI : 10.1145/2038642.2038651