Dynamic and partial fpga exploitation, Proceedings of the IEEE, vol.95, issue.2, pp.438-452, 2007. ,
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. ,
The study and evaluation of arm-based mobile virtualization, International Journal of Distributed Sensor Networks, vol.1, 2015. ,
, All Programmable SoC Technical Reference Manual, vol.1025, issue.UG585, 2014.
Rainbow: An operating system for software-hardware multitasking on dynamically partially reconfigurable fpgas, International Journal of Reconfigurable Com, p.5, 1030. ,
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. ,
Run-time services for hybrid cpu/fpga systems on chip, Real-Time Systems Symposium, 2006. RTSS'06. 27th IEEE International, pp.3-12, 2006. ,
On-demand reconfiguration for coprocessors in mixed criticality multicore systems, High Performance Computing Simulation (HPCS), 2015 International Conference on, pp.569-576, 2015. ,
, Reconos: An operating system approach for reconfigurable computing, vol.34, pp.60-71, 2014.
Hardware resource virtualization for dynamically partially reconfigurable systems, Embedded Systems Letters, IEEE, vol.1050, issue.1, pp.19-23, 2009. ,
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. ,
, Fpgas in the cloud: Booting virtualized hardware accelerators with openstack, in: Field-Programmable Custom Computing Machines (FCCM), pp.109-116, 2014.
Rc3e: Provision and management of recon-1060 figurable hardware accelerators in a cloud environment ,
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. ,
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
A measurement-based analysis of 1070 the responsiveness of the linux kernel, 13th Annual IEEE International Symposium and Workshop on, p.10, 2006. ,
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. ,
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. ,
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. ,
Compositional real-time scheduling framework, Proceedings. 25th IEEE International, pp.57-67, 2004. ,
Rt-xen: Towards real-time hypervisor scheduling in xen, Embedded Software (EMSOFT), 2011 Proceedings of the International Conference on, pp.39-48, 2011. ,
, , 1090.
Mibench: A free, commercially representative embedded benchmark suite, Workload Characterization, pp.3-14, 2001. ,
Real-time scheduling for xen-arm virtual machines, IEEE Transactions on Mobile Computing, vol.13, issue.8, pp.1857-1867, 2014. ,
Measuring Real-Time Performance Of An RTOS, 2007. ,
, Real-time operating system hardware extension core for systemon-chip designs, 2013.
,
Xen on arm: System virtualization using xen hypervisor for armbased secure mobile phones, 5th IEEE Consumer Communications and Networking Conference, pp.257-261, 2008. ,
Measuring execution time and real-time performance, Embedded Systems Conference (ESC), pp.1-15, 2002. ,
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