μ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...
Main Authors: | , , , , |
---|---|
Format: | Article |
Language: | English |
Published: |
MDPI AG
2017-10-01
|
Series: | Electronics |
Subjects: | |
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 |