Publicação
Virtualization today, virtualization tomorrow: problems, challenges, and opportunities for mixed-criticality systems
| Resumo: | There is an ongoing trend in several embedded industries to consolidate multiple subsystems onto the same hardware platform. For example, in the automotive industry, network-connected infotainment starts to be deployed alongside safety-critical control systems (e.g., steering, brake, ABS). To guarantee the temporal and spatial isolation of these components with different criticalities/safety integrity levels (ASIL), it is nowadays common to rely on virtualization technology. However, there is an erroneous belief that hypervisors are the new magic bullet, working as transparent layers of software that provide perfect guarantees and have no impact on the overall system. In this paper, we provide a comprehensive picture of the state of affairs concerning the use of virtualization in the context of the so called mixed-criticality systems. While sharing our experience on the development of an open-source static partitioning hypervisor (Bao) and implementing the hardware virtualization support of a novel computer architecture (RISC-V), we will (i) cover the main problems and limitations currently affecting existing hypervisor solutions and (ii) discuss the (research) challenges and opportunities lying ahead of us. |
|---|---|
| Autores principais: | Pinto, Sandro |
| Assunto: | Virtualization Hypervisor Mixed-criticality Static partitioning Arm RISC-V MCS |
| Ano: | 2023 |
| País: | Portugal |
| Tipo de documento: | comunicação em conferência |
| Tipo de acesso: | acesso aberto |
| Instituição associada: | Universidade do Minho |
| Idioma: | português |
| Origem: | RepositóriUM - Universidade do Minho |
Registos relacionados
article Shedding light on static partitioning hypervisors for arm-based mixed-criticality systems
por: Martins, José Carvalho
Publicado em: (2023)
por: Martins, José Carvalho
Publicado em: (2023)
school RISC-V lightweight virtualization extensions
por: Sá, Bruno Vilaça de
Publicado em: (2021)
por: Sá, Bruno Vilaça de
Publicado em: (2021)
article A first look at RISC-V virtualization from an embedded systems perspective
por: Sá, Bruno Vilaça
Publicado em: (2022)
por: Sá, Bruno Vilaça
Publicado em: (2022)
description RISC-V Needs Secure 'Wheels': the MCU Initiator-Side Perspective
por: Pinto, Sandro
Publicado em: (2024)
por: Pinto, Sandro
Publicado em: (2024)
school V-Visor: lightweight virtualization for RISC-V
por: Silva, José Nuno Leite da
Publicado em: (2019)
por: Silva, José Nuno Leite da
Publicado em: (2019)
school VirtIO infrastructure for a static partition hypervisor: virtio-blk and virtio-console
por: Ribeiro, António Nuno Alves Cardoso Capela
Publicado em: (2023)
por: Ribeiro, António Nuno Alves Cardoso Capela
Publicado em: (2023)
article HSP-V: hypervisor-less static partitioning for RISC-V COTS platforms
por: Sousa, João Miguel Costa
Publicado em: (2024)
por: Sousa, João Miguel Costa
Publicado em: (2024)
article CVA6 RISC-V virtualization: architecture, microarchitecture, and design space exploration
por: Sá, Bruno
Publicado em: (2023)
por: Sá, Bruno
Publicado em: (2023)
article LTZVisor: TrustZone is the key
por: Pinto, Sandro
Publicado em: (2017)
por: Pinto, Sandro
Publicado em: (2017)
article IRQ coloring: mitigating interrupt-generated interference on ARM multicore platforms
por: Costa, Diogo
Publicado em: (2023)
por: Costa, Diogo
Publicado em: (2023)
article μRTZvisor: A secure and safe real-time hypervisor
por: Martins, José
Publicado em: (2017)
por: Martins, José
Publicado em: (2017)
school CAMES: Capability Architectures for Mixed-Criticality Embedded Systems
por: Sá, Bruno Vilaça
Publicado em: (2026)
por: Sá, Bruno Vilaça
Publicado em: (2026)
school HSP-V: holistic static partitioning on RISC-V platforms
por: Sousa, João Miguel Costa
Publicado em: (2022)
por: Sousa, João Miguel Costa
Publicado em: (2022)
article Network functions virtualization: the long road to commercial deployments
por: Rehman, A. U.
Publicado em: (2019)
por: Rehman, A. U.
Publicado em: (2019)
school Comparação do Desempenho de Infraestruturas Virtualizadas de Elevada Disponibilidade Usando Hypervisors Nativos ou Containers
por: Louro, André Filipe Castro
Publicado em: (2018)
por: Louro, André Filipe Castro
Publicado em: (2018)
article Lock-V: a heterogeneous fault tolerance architecture based on Arm and RISC-V
por: Marques, Ivo Cruz
Publicado em: (2021)
por: Marques, Ivo Cruz
Publicado em: (2021)
article Towards a heterogeneous fault-tolerance architecture based on Arm and RISC-V processors
por: Rodrigues, Cristiano António Azevedo
Publicado em: (2019)
por: Rodrigues, Cristiano António Azevedo
Publicado em: (2019)
article H-MBR: Hypervisor-Level Memory Bandwidth Reservation for Mixed Criticality Systems
por: Oliveira, Afonso
Publicado em: (2025)
por: Oliveira, Afonso
Publicado em: (2025)
school Multi-criticality Hypervisor for Automotive Domain
por: Serra, João Filipe Marques
Publicado em: (2014)
por: Serra, João Filipe Marques
Publicado em: (2014)
school A Web-based Solution for Virtual Machine Instances Migration Across Type-2 Hypervisors
por: Ribeiro, Didier Martins
Publicado em: (2014)
por: Ribeiro, Didier Martins
Publicado em: (2014)
school Security in Virtualized Systems: Contributions on Anomaly Detection and Intrusion Injection
por: Gonçalves, Charles Ferreira
Publicado em: (2025)
por: Gonçalves, Charles Ferreira
Publicado em: (2025)
school Integration of an ADC on a RISC-V Softcore Implemented in an FPGA
por: Farinha, Renato José dos Santos
Publicado em: (2024)
por: Farinha, Renato José dos Santos
Publicado em: (2024)
school A contribution to the improvement of the Bodum Data Center
por: Lopes, Luca Gil
Publicado em: (2023)
por: Lopes, Luca Gil
Publicado em: (2023)
school Relatório de Projeto – Virtualização de Servidores
por: Almeida, Miguel
Publicado em: (2014)
por: Almeida, Miguel
Publicado em: (2014)
school CEVERO: an open hardware processor for aerospace missions
por: Silva, Igor Macedo
Publicado em: (2022)
por: Silva, Igor Macedo
Publicado em: (2022)
groups Low energy heterogeneous computing with multiple RISC-V and CGRA cores
por: Fiolhais, Luís
Publicado em: (2019)
por: Fiolhais, Luís
Publicado em: (2019)
school Testing Automotive Hypervisors
por: Ferreira, Gonçalo Tavares Antão Folhas
Publicado em: (2024)
por: Ferreira, Gonçalo Tavares Antão Folhas
Publicado em: (2024)
school Encryption and Authentication on a RISC-V Architecture
por: Fernandes, João Cassiano Vicente
Publicado em: (2023)
por: Fernandes, João Cassiano Vicente
Publicado em: (2023)
school Design of Steel : a RISC-V Core
por: Calçada, Rafael de Oliveira
Publicado em: (2021)
por: Calçada, Rafael de Oliveira
Publicado em: (2021)
school An open-source RISC-V input/output memory management unit
por: Cedeño Rodríguez, Manuel Alejandro
Publicado em: (2024)
por: Cedeño Rodríguez, Manuel Alejandro
Publicado em: (2024)
article A customizable and ARINC 653 quasi-compliant hypervisor
por: Tavares, Adriano
Publicado em: (2012)
por: Tavares, Adriano
Publicado em: (2012)
school Proposal of many-core control through a management application
por: Dalzotto, Angelo Elias
Publicado em: (2022)
por: Dalzotto, Angelo Elias
Publicado em: (2022)
article Decentor-V: Lightweight ML training on low-power RISC-V edge devices
por: Ribeiro, Marcelo
Publicado em: (2025)
por: Ribeiro, Marcelo
Publicado em: (2025)
school A NEW MARKETING MIX FOR SMALL VIRTUAL RESTAURANTS A SIMPLIFIED MARKETING MIX APPROACH WITH CASE STUDIES ADAPTED FOR SMALL VIRTUAL RESTAURANTS
por: Rodrigues, Bernardo Mendonça Andrade
Publicado em: (2022)
por: Rodrigues, Bernardo Mendonça Andrade
Publicado em: (2022)
article MixAR mobile prototype: visualizing virtually reconstructed ancient structures in situ
por: Narciso, David
Publicado em: (2015)
por: Narciso, David
Publicado em: (2015)
article CROSSCON: interoperable IoT security stack for embedded connected devices
por: Gomes, Tiago Manuel Ribeiro
Publicado em: (2024)
por: Gomes, Tiago Manuel Ribeiro
Publicado em: (2024)
school Melhoria do controlo de gestão da OLI : um estudo de viabilidade
por: Santos, António Pimentel Machado Martins
Publicado em: (2022)
por: Santos, António Pimentel Machado Martins
Publicado em: (2022)
article Bridging the interoperability gaps among trusted architectures in MCUs
por: Pinto, Sandro
Publicado em: (2025)
por: Pinto, Sandro
Publicado em: (2025)
school A Functional Validation Framework for the Unlimited Vector Extension
por: Fernandes, Ana Beatriz Simões
Publicado em: (2024)
por: Fernandes, Ana Beatriz Simões
Publicado em: (2024)
article Partitive mixing of colours interactive device
por: Veiga, Ricardo
Publicado em: (2008)
por: Veiga, Ricardo
Publicado em: (2008)
Atividades financiadas
Não foram encontrados projetos financiados.
Registos relacionados
-
article Shedding light on static partitioning hypervisors for arm-based mixed-criticality systems
por: Martins, José Carvalho
Publicado em: (2023) -
school RISC-V lightweight virtualization extensions
por: Sá, Bruno Vilaça de
Publicado em: (2021) -
article A first look at RISC-V virtualization from an embedded systems perspective
por: Sá, Bruno Vilaça
Publicado em: (2022) -
description RISC-V Needs Secure 'Wheels': the MCU Initiator-Side Perspective
por: Pinto, Sandro
Publicado em: (2024) -
school V-Visor: lightweight virtualization for RISC-V
por: Silva, José Nuno Leite da
Publicado em: (2019)