μRTZVisor: A Secure and Safe Real-Time Hypervisor

Virtualization has been deployed as a key enabling technology for coping with the ever growing complexity and heterogeneity of modern computing systems. However, on its own, classical virtualization is a poor match for modern endpoint embedded system requirements such as safety, security and real-ti...

Full description

Bibliographic Details
Main Authors: José Martins, João Alves, Jorge Cabral, Adriano Tavares, Sandro Pinto
Format: Article
Language:English
Published: MDPI AG 2017-10-01
Series:Electronics
Subjects:
Arm
Online Access:https://www.mdpi.com/2079-9292/6/4/93
id doaj-bcf58a403ed4442da932f0961501b6d1
record_format Article
spelling doaj-bcf58a403ed4442da932f0961501b6d12020-11-25T01:49:57ZengMDPI AGElectronics2079-92922017-10-01649310.3390/electronics6040093electronics6040093μRTZVisor: A Secure and Safe Real-Time HypervisorJosé Martins0João Alves1Jorge Cabral2Adriano Tavares3Sandro Pinto4Centro Algoritmi, Universidade do Minho, 4800-058 Guimarães, PortugalCentro Algoritmi, Universidade do Minho, 4800-058 Guimarães, PortugalCentro Algoritmi, Universidade do Minho, 4800-058 Guimarães, PortugalCentro Algoritmi, Universidade do Minho, 4800-058 Guimarães, PortugalCentro Algoritmi, Universidade do Minho, 4800-058 Guimarães, PortugalVirtualization has been deployed as a key enabling technology for coping with the ever growing complexity and heterogeneity of modern computing systems. However, on its own, classical virtualization is a poor match for modern endpoint embedded system requirements such as safety, security and real-time, which are our main target. Microkernel-based approaches to virtualization have been shown to bridge the gap between traditional and embedded virtualization. This notwithstanding, existent microkernel-based solutions follow a highly para-virtualized approach, which inherently requires a significant software engineering effort to adapt guest operating systems (OSes) to run as userland components. In this paper, we present μ RTZVisor as a new TrustZone-assisted hypervisor that distinguishes itself from state-of-the-art TrustZone solutions by implementing a microkernel-like architecture while following an object-oriented approach. Contrarily to existing microkernel-based solutions, μ RTZVisor is able to run nearly unmodified guest OSes, while, contrarily to existing TrustZone-assisted solutions, it provides a high degree of functionality and configurability, placing strong emphasis on the real-time support. Our hypervisor was deployed and evaluated on a Xilinx Zynq-based platform. Experiments demonstrate that the hypervisor presents a small trusted computing base size (approximately 60KB), and a performance overhead of less than 2% for a 10 ms guest-switching rate.https://www.mdpi.com/2079-9292/6/4/93virtualizationhypervisorTrustZonemicrokernelsecuritysafetyreal-timeArm
collection DOAJ
language English
format Article
sources DOAJ
author José Martins
João Alves
Jorge Cabral
Adriano Tavares
Sandro Pinto
spellingShingle José Martins
João Alves
Jorge Cabral
Adriano Tavares
Sandro Pinto
μRTZVisor: A Secure and Safe Real-Time Hypervisor
Electronics
virtualization
hypervisor
TrustZone
microkernel
security
safety
real-time
Arm
author_facet José Martins
João Alves
Jorge Cabral
Adriano Tavares
Sandro Pinto
author_sort José Martins
title μRTZVisor: A Secure and Safe Real-Time Hypervisor
title_short μRTZVisor: A Secure and Safe Real-Time Hypervisor
title_full μRTZVisor: A Secure and Safe Real-Time Hypervisor
title_fullStr μRTZVisor: A Secure and Safe Real-Time Hypervisor
title_full_unstemmed μRTZVisor: A Secure and Safe Real-Time Hypervisor
title_sort μrtzvisor: a secure and safe real-time hypervisor
publisher MDPI AG
series Electronics
issn 2079-9292
publishDate 2017-10-01
description Virtualization has been deployed as a key enabling technology for coping with the ever growing complexity and heterogeneity of modern computing systems. However, on its own, classical virtualization is a poor match for modern endpoint embedded system requirements such as safety, security and real-time, which are our main target. Microkernel-based approaches to virtualization have been shown to bridge the gap between traditional and embedded virtualization. This notwithstanding, existent microkernel-based solutions follow a highly para-virtualized approach, which inherently requires a significant software engineering effort to adapt guest operating systems (OSes) to run as userland components. In this paper, we present μ RTZVisor as a new TrustZone-assisted hypervisor that distinguishes itself from state-of-the-art TrustZone solutions by implementing a microkernel-like architecture while following an object-oriented approach. Contrarily to existing microkernel-based solutions, μ RTZVisor is able to run nearly unmodified guest OSes, while, contrarily to existing TrustZone-assisted solutions, it provides a high degree of functionality and configurability, placing strong emphasis on the real-time support. Our hypervisor was deployed and evaluated on a Xilinx Zynq-based platform. Experiments demonstrate that the hypervisor presents a small trusted computing base size (approximately 60KB), and a performance overhead of less than 2% for a 10 ms guest-switching rate.
topic virtualization
hypervisor
TrustZone
microkernel
security
safety
real-time
Arm
url https://www.mdpi.com/2079-9292/6/4/93
work_keys_str_mv AT josemartins mrtzvisorasecureandsaferealtimehypervisor
AT joaoalves mrtzvisorasecureandsaferealtimehypervisor
AT jorgecabral mrtzvisorasecureandsaferealtimehypervisor
AT adrianotavares mrtzvisorasecureandsaferealtimehypervisor
AT sandropinto mrtzvisorasecureandsaferealtimehypervisor
_version_ 1725003711139282944