2023/03/20 by José Martins, Martins, José, Sandro Pinto +1 · 1 citation
Computer Science · #Embedded Systems Design Techniques #FOS: Computer and information sciences #Operating Systems (cs.OS) #Parallel Computing and Optimization Techniques #Real-Time Systems Scheduling
paper · pdf · doi:10.48550/arxiv.2303.11186
openalex publication_date 2023/03/20 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
In this paper, we aim to understand the properties and guarantees of static partitioning hypervisors (SPH) for Arm-based mixed-criticality systems (MCS). To this end, we performed a comprehensive empirical evaluation of popular open-source SPH, i.e., Jailhouse, Xen (Dom0-less), Bao, and seL4 CAmkES VMM, focusing on two key requirements of modern MCS: real-time and safety. The goal of this study is twofold. Firstly, to empower industrial practitioners with hard data to reason about the different trade-offs of SPH. Secondly, we aim to raise awareness of the research and open-source communities to the still open problems in SPH by unveiling new insights regarding lingering weaknesses. All artifacts will be open-sourced to enable independent validation of results and encourage further exploration on SPH.