7 citations · 7 across the 2 of their papers we have counts for
4 papers
Mixed-Criticality Scheduling with I/O
Eric Missimer, Katherine Zhao, Richard West
This paper addresses the problem of scheduling tasks with different criticality levels in the presence of I/O requests. In mixed-criticality scheduling, higher criticality tasks ar…
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…