Paper Info
Title
Predictable Virtualization on Memory Protection Unit-Based Microcontrollers
Abstract
With the increasing penetration of embedded systems into the consumer market there is a pressure to have all of inexpensiveness, predictability, reliability, and security. As these systems are often attached to networks and execute complex code from varying sources, reliability and security become essential. To maintain low price and small power budgets, many systems use small microcontrollers with limited memory (on the order of 128KB of SRAM). Unfortunately, the isolation and protection facilities of these systems are often lackluster, making a principled treatment of reliability and security difficult. This paper details a system that provides isolation along the three dimensions of CPU, memory, and I/O on small microcontrollers. A key challenge is providing a effective means of harnessing the limited hardware memory protection facilities of microcontrollers. This is achieved through a combination of a static analysis to make the most of limited hardware protection facilities, and a run-time based on our Composite OS. On this foundation, we build a virtualization infrastructure to execute multiple embedded real-time operating systems predictably. We show that VMs based on FreeRTOS achieve reasonable efficiency and predictability, while easily enabling scaling up to 8 VMs in 512 KB SRAM.
Year
DOI
Venue
2018
10.1109/RTAS.2018.00012
2018 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)
Keywords
Field
DocType
Real time,virtualization,IoT,MPU
Virtualization,Memory protection,Predictability,Computer science,Static analysis,Static random-access memory,Memory protection unit,Microcontroller,Consumer market,Embedded system,Distributed computing
Conference
ISSN
ISBN
Citations 
1545-3421
978-1-5386-5296-1
3
PageRank 
References 
Authors
0.41
16
4
Name
Order
Citations
PageRank
Runyu Pan152.19
Gregor Peach291.93
Yuxin Ren3294.49
Gabriel Parmer419018.88