T-Visor: A Hypervisor for Mixed Criticality Embedded Real-time System with Hardware Virtualization Support
Takumi Shimada, Takeshi Yashiro, Ken Sakamura

TL;DR
T-Visor is a specialized hypervisor for mixed criticality embedded real-time systems on ARM, offering full virtualization and flexible scheduling to meet diverse real-time requirements more effectively than existing solutions.
Contribution
The paper introduces T-Visor, a hypervisor tailored for embedded real-time systems with support for ARM virtualization and customizable scheduling frameworks.
Findings
T-Visor outperforms Xen/ARM in real-time benchmarks.
Supports full virtualization on ARM with ARM Virtualization Extensions.
Provides flexible scheduling for diverse real-time requirements.
Abstract
Recently, embedded systems have not only requirements for hard real-time behavior and reliability, but also diversified functional demands, such as network functions. To satisfy these requirements, virtualization using hypervisors is promising for embedded systems. However, as most of existing hypervisors are designed for general-purpose information processing systems, they rely on large system stacks, so that they are not suitable for mixed criticality embedded real-time systems. Even in hypervisors designed for embedded systems, their schedulers do not consider the diversity of real-time requirements and rapid change in scheduling theory. We present the design and implementation of T-Visor, a hypervisor specialized for mixed criticality embedded real-time systems. T-Visor supports ARM architecture and realizes full virtualization using ARM Virtualization Extensions. To guarantee…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsReal-Time Systems Scheduling · Parallel Computing and Optimization Techniques · Embedded Systems Design Techniques
