11 citations · 20 across the 8 of their papers we have counts for
Showing 2023Show all
3 papers · 1 filter
cs.DC2023
IRQ Coloring and the Subtle Art of Mitigating Interrupt-generated Interference
Diogo Costa, Luca Cuomo, Daniel Oliveira +5
Integrating workloads with differing criticality levels presents a formidable challenge in achieving the stringent spatial and temporal isolation requirements imposed by safety-cri…
cs.OS2023
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). To this end, we performed…
cs.AR2023★ 3 cited
CVA6 RISC-V Virtualization: Architecture, Microarchitecture, and Design Space Exploration
Bruno Sá, Luca Valente, José Martins +3
Virtualization is a key technology used in a wide range of applications, from cloud computing to embedded systems. Over the last few years, mainstream computer architectures were e…