Shedding Light on Static Partitioning Hypervisors for Arm-based Mixed-Criticality Systems

  • José Martins
  • Sandro Pinto
In this paper, we aim to understand the properties and guarantees of static partitioning hypervisors (SPH) for Arm-based mixed-criticality systems (MCS).