J. Becker, M. Huebner, G. Hettich, R. Constapel, J. Eisenmann et al., Dynamic and partial fpga exploitation, Proceedings of the IEEE, vol.95, issue.2, pp.438-452, 2007.

G. Heiser, The role of virtualization in embedded systems, Proceedings of the 1st Workshop on Isolation and Integration in Embedded Systems, IIES '08, pp.11-16, 2008.

L. Xu, Z. Wang, and W. Chen, The study and evaluation of arm-based mobile virtualization, International Journal of Distributed Sensor Networks, vol.1, 2015.

. Xilinx, All Programmable SoC Technical Reference Manual, vol.1025, issue.UG585, 2014.

K. Jozwik, S. Honda, M. Edahiro, H. Tomiyama, and H. Takada, Rainbow: An operating system for software-hardware multitasking on dynamically partially reconfigurable fpgas, International Journal of Reconfigurable Com, p.5, 1030.

D. Göhringer, M. Hübner, E. N. Zeutebouo, and J. Becker, Cap-os: Operating system for runtime scheduling, task mapping and resource management on reconfigurable multiprocessor architectures, in: Parallel & Distributed Processing, Workshops and Phd Forum (IPDPSW), IEEE International 1035 Symposium on, pp.1-8, 2010.

J. Agron, W. Peck, E. Anderson, D. Andrews, E. Komp et al., Run-time services for hybrid cpu/fpga systems on chip, Real-Time Systems Symposium, 2006. RTSS'06. 27th IEEE International, pp.3-12, 2006.

D. V. Vu, O. Sander, T. Sandmann, J. Heidelberger, S. Baehr et al., On-demand reconfiguration for coprocessors in mixed criticality multicore systems, High Performance Computing Simulation (HPCS), 2015 International Conference on, pp.569-576, 2015.

A. Agne, M. Happe, A. Keller, E. Lubbers, B. Plattner et al., Reconos: An operating system approach for reconfigurable computing, vol.34, pp.60-71, 2014.

C. Huang and P. Hsiung, Hardware resource virtualization for dynamically partially reconfigurable systems, Embedded Systems Letters, IEEE, vol.1050, issue.1, pp.19-23, 2009.

W. Wang, M. Bolic, and J. Parri, pvfpga: accessing an fpga-based hardware accelerator in a paravirtualized environment, Hardware/Software Codesign and System Synthesis (CODES+ ISSS), 2013 International Conference on, pp.1-9, 2013.

S. Byma, J. G. Steffan, H. Bannazadeh, A. Leon-garcia, and P. Chow, Fpgas in the cloud: Booting virtualized hardware accelerators with openstack, in: Field-Programmable Custom Computing Machines (FCCM), pp.109-116, 2014.

O. Knodel and R. G. Spallek, Rc3e: Provision and management of recon-1060 figurable hardware accelerators in a cloud environment

A. K. Jain, K. D. Pham, J. Cui, S. A. Fahmy, and D. L. Maskell, Virtualized execution and management of hardware tasks on a hybrid arm-fpga platform, Journal of Signal Processing Systems, vol.77, issue.1, pp.61-76, 2014.

T. Xia, J. Prévotet, and F. Nouvel, Mini-nova: A lightweight arm-based virtualization microkernel supporting dynamic partial reconfiguration, Parallel and Distributed Processing Symposium Workshop (IPDPSW), pp.71-80, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01191910

M. Marchesotti, M. Migliardi, and R. Podestà, A measurement-based analysis of 1070 the responsiveness of the linux kernel, 13th Annual IEEE International Symposium and Workshop on, p.10, 2006.

P. Regnier, G. Lima, and L. Barreto, Evaluation of interrupt handling timeliness in real-time linux operating systems, ACM SIGOPS Operating Systems 1075 Review, vol.42, issue.6, pp.52-63, 2008.

G. Heiser and B. Leslie, The okl4 microvisor: convergence point of microkernels and hypervisors, Proceedings of the first ACM asia-pacific workshop on Workshop on systems, pp.19-24, 2010.

C. Dall and J. Nieh, Kvm/arm: the design and implementation of the linux arm 1080 hypervisor, ACM SIGARCH Computer Architecture News, vol.42, issue.1, pp.333-348, 2014.

I. Shin and I. Lee, Compositional real-time scheduling framework, Proceedings. 25th IEEE International, pp.57-67, 2004.

S. Xi, J. Wilson, C. Lu, and C. Gill, Rt-xen: Towards real-time hypervisor scheduling in xen, Embedded Software (EMSOFT), 2011 Proceedings of the International Conference on, pp.39-48, 2011.

M. R. Guthaus, J. S. Ringenberg, D. Ernst, T. M. Austin, T. Mudge et al., , 1090.

. Brown, Mibench: A free, commercially representative embedded benchmark suite, Workload Characterization, pp.3-14, 2001.

S. Yoo and C. Yoo, Real-time scheduling for xen-arm virtual machines, IEEE Transactions on Mobile Computing, vol.13, issue.8, pp.1857-1867, 2014.

. Expresslogic, Measuring Real-Time Performance Of An RTOS, 2007.

J. Best, Real-time operating system hardware extension core for systemon-chip designs, 2013.

J. Y. Hwang, S. B. Suh, S. K. Heo, C. J. Park, J. M. Ryu et al.,

. Kim, Xen on arm: System virtualization using xen hypervisor for armbased secure mobile phones, 5th IEEE Consumer Communications and Networking Conference, pp.257-261, 2008.

D. B. Stewart, Measuring execution time and real-time performance, Embedded Systems Conference (ESC), pp.1-15, 2002.

M. Aichouch, J. Prevotet, and F. Nouvel, Evaluation of an rtos on top of a hosted virtual machine system, Design and Architectures for Signal and Image Processing (DASIP), 2013 Conference on, pp.290-297, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00982172