Nowadays, it is more and more usual that applications provide critical and non-critical
functionalities, the so-called mix-criticality applications. One of the main challenges for
developing such applications is to isolate both application types, in such a way that non-
critical functionalities do not interfere with the critical ones. The use of virtualization
techniques like hypervisors can help to meet this objective. Indeed, a hypervisor is a
software layer that provides hardware virtualization allowing different functionalities to be …