papers
Publications (4)
cs.OS2013
Predictable Migration and Communication in the Quest-V Multikernel
Ye Li, Eric Missimer, Richard West
cs.OS2016
Mixed-Criticality Scheduling with I/O
Eric Missimer, Katherine Zhao, Richard West
cs.OS2013
Quest-V: A Virtualized Multikernel for Safety-Critical Real-Time Systems
Richard West, Ye Li, Eric Missimer
cs.OS2013
The Quest-V Separation Kernel for Mixed Criticality Systems
Ye Li, Richard West, Eric Missimer