Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/87675
Título: | Shedding light on static partitioning hypervisors for arm-based mixed-criticality systems |
Autor(es): | Martins, José Carvalho Pinto, Sandro |
Palavras-chave: | Virtualization Static partitioning Hypervisor Mixed-criticality Arm |
Data: | 2023 |
Editora: | IEEE |
Revista: | Real-Time and Embedded Technology and Applications |
Resumo(s): | In this paper, we aim to understand the properties and guarantees of static partitioning hypervisors (SPH) for Armbased 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. |
Tipo: | Artigo em ata de conferência |
URI: | https://hdl.handle.net/1822/87675 |
ISBN: | 979-8-3503-2177-7 |
e-ISBN: | 979-8-3503-2176-0 |
DOI: | 10.1109/RTAS58335.2023.00011 |
ISSN: | 1545-3421 |
e-ISSN: | 2642-7346 |
Versão da editora: | https://ieeexplore.ieee.org/abstract/document/10155684 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
shedding_light_paper (33).pdf | 785,18 kB | Adobe PDF | Ver/Abrir |