3 papers
cs.CR2023
IRIS: a Record and Replay Framework to Enable Hardware-assisted Virtualization Fuzzing
Carmine Cesarano, Marcello Cinque, Domenico Cotroneo +2
Nowadays, industries are looking into virtualization as an effective means to build safe applications, thanks to the isolation it can provide among virtual machines (VMs) running o…
cs.DC2022
RunPHI: Enabling Mixed-criticality Containers via Partitioning Hypervisors in Industry 4.0
Marco Barletta, Marcello Cinque, Luigi De Simone +3
Orchestration systems are becoming a key component to automatically manage distributed computing resources in many fields with criticality requirements like Industry 4.0 (I4.0). Ho…
cs.DC2022
Assessing Intel's Memory Bandwidth Allocation for resource limitation in real-time systems
Giorgio Farina, Gautam Gala, Marcello Cinque +1
Industries are recently considering the adoption of cloud computing for hosting safety critical applications. However, the use of multicore processors usually adopted in the cloud…