activity
20112022
most citedQuest-V: A Virtualized Multikernel for High-Confidence Systems

17 citations · 28 across the 8 of their papers we have counts for

collaborators

12 papers

cs.DC2022★ 1 cited

A DPU Solution for Container Overlay Networks

Anton Njavro, James Tau, Taylor Groves +2

There is an increasing demand to incorporate hybrid environments as part of workflows across edge, cloud, and HPC systems. In a such converging environment of cloud and HPC, contai…

cs.OS2020

Akita: A CPU scheduler for virtualized Clouds

Esmail Asyabi, Azer Bestavros, Renato Mancuso +2

Clouds inherit CPU scheduling policies of operating systems. These policies enforce fairness while leveraging best-effort mechanisms to enhance responsiveness of all schedulable en…

cs.OS2019

Boomerang: Real-Time I/O Meets Legacy Systems

Ahmad Golchin, Soham Sinha, Richard West

This paper presents Boomerang, an I/O system that integrates a legacy non-real-time OS with one that is customized for timing-sensitive tasks. A relatively small RTOS benefits from…

cs.OS2019★ 2 cited

PAStime: Progress-aware Scheduling for Time-critical Computing

Soham Sinha, Richard West, Ahmad Golchin

Over-estimation of worst-case execution times (WCETs) of real-time tasks leads to poor resource utilization. In a mixed-criticality system (MCS), the over-provisioning of CPU time…

cs.RO2018

Reinforcement Learning for UAV Attitude Control

William Koch, Renato Mancuso, Richard West +1

Autopilot systems are typically composed of an "inner loop" providing stability and control, while an "outer loop" is responsible for mission-level objectives, e.g. way-point navig…

eess.SY2018★ 1 cited

End-to-end Analysis and Design of a Drone Flight Controller

Zhuoqun Cheng, Richard West, Craig Einstein

Timing guarantees are crucial to cyber-physical applications that must bound the end-to-end delay between sensing, processing and actuation. For example, in a flight controller for…

cs.OS2018

vLibOS: Babysitting OS Evolution with a Virtualized Library OS

Ying Ye, Zhuoqun Cheng, Soham Sinha +1

Many applications have service requirements that are not easily met by existing operating systems. Real-time and security-critical tasks, for example, often require custom OSes to…

cs.OS2015

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…

cs.OS2013

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…

cs.OS2013

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…

cs.OS2013★ 7 cited

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…

cs.OS2011★ 17 cited

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…