17 citations · 24 across the 3 of their papers we have counts for
4 papers
Quest-V: A Virtualized Multikernel for Safety-Critical Real-Time Systems
Richard West, Ye Li, Eric Missimer
Modern processors are increasingly featuring multiple cores, as well as support for hardware virtualization. While these processors are common in desktop and server-class computing…
Predictable Migration and Communication in the Quest-V Multikernel
Ye Li, Eric Missimer, Richard West
Quest-V is a system we have been developing from the ground up, with objectives focusing on safety, predictability and efficiency. It is designed to work on emerging multicore proc…
The Quest-V Separation Kernel for Mixed Criticality Systems
Ye Li, Richard West, Eric Missimer
Multi- and many-core processors are becoming increasingly popular in embedded systems. Many of these processors now feature hardware virtualization capabilities, such as the ARM Co…
Quest-V: A Virtualized Multikernel for High-Confidence Systems
Ye Li, Matthew Danish, Richard West
This paper outlines the design of `Quest-V', which is implemented as a collection of separate kernels operating together as a distributed system on a chip. Quest-V uses virtualizat…