Quest
    A lightweight, predictable and dependable kernel for multicore processors




HOWTO Guides and General Documents

  • HOWTO setup Docker and the Quest toolchain to build the kernel.
[pdf]
  • This document also explains how to setup Quest on the Minnowboard Max. Also included is information on setting up and using the Docker toolchain to build Quest(-V), similar to that described above.
[pdf]
  • Installing and getting started with Quest on the Intel Galileo board.
[pdf]
  • Installing and getting started with Quest on the Intel Edison board.
[pdf]

Technical Papers and Presentations

  • Richard West, Ye Li, Eric Missimer and Matthew Danish, "A Virtualized Separation Kernel for Mixed Criticality Systems", in ACM Transactions on Computer Systems, Volume 34, Issue 3, Article 8, June 2016 (DOI: 10.1145/2935748)
[pdf]
  • Richard West, Eric Missimer, Katherine Missimer, "Mixed-Criticality Scheduling with I/O", in Proceedings of the 28th Euromicro Conference on Real-Time Systems (ECRTS), Toulouse, France, July 5-8, 2016
[pdf]
  • Zhuoqun Cheng, Ye Li and Richard West, "Qduino: A Multithreaded Arduino System for Embedded Computing", in Proceedings of the 36th IEEE Real-Time Systems Symposium (RTSS), San Antonio, Texas, December 1-4, 2015
[pdf]
  • Ye Li, Richard West, Zhuoqun Cheng and Eric Missimer, "Predictable Communication and Migration in the Quest-V Separation Kernel", in Proceedings of the 35th IEEE Real-Time Systems Symposium (RTSS), Rome, Italy, December 2-5 2014
[pdf]
  • Ye Li, Richard West and Eric Missimer, "A Virtualized Separation Kernel for Mixed Criticality Systems", in Proceedings of the 10th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE), Salt Lake City, Utah, March 1-2 2014
[pdf]
  • Ye Li, Richard West, Eric Missimer, "The Quest-V Separation Kernel for Mixed Criticality Systems", in Proceedings of the 1st International Workshop on Mixed Criticality Systems (WMC) at the 34th IEEE Real-Time Systems Symposium (RTSS 2013), Vancouver, Canada, December 2013
[pdf]
  • Richard West, Ye Li, Eric Missimer, "Quest-V: A Virtualized Multikernel for Safety-Critical Real-Time Systems", Technical Report: arXiv:1310.6349, arXiv.org (This is essentially an updated version of Technical Report: arXiv:1112.5136)
[pdf]
  • Eric Missimer, Ye Li and Richard West, "Real-Time USB Communication in the Quest Operating System", in Proceedings of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Philadelphia, USA, April 9-11, 2013
[pdf]
  • Ye Li, Eric Missimer and Richard West, "Predictable Migration and Communication in the Quest-V        
      Multikernel", Technical Report:arXiv:1310.6301, arXiv.org
[pdf]
  • Richard West, Ye Li and Eric Missimer, "Time Management in the Quest-V RTOS", in the 8th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT), Pisa, Italy, July 10, 2012
[pdf]
  • Ye Li, Matthew Danish and Richard West, "Quest-V: A Virtualized Multikernel for High-Confidence Systems", Technical Report: arXiv:1112.5136, arXiv.org
[pdf]
  • Ye Li, Eric Missimer, Richard West, Matthew Danish and Ying Ye, "Quest-V: A Virtualized Multikernel for High-Confidence Systems", Poster for the BU Science Day, Spring 2012
[pdf]
  • Matthew Danish, Ye Li and Richard West, "Virtual-CPU Scheduling in the Quest Operating System", in Proceedings of the 17th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Chicago, IL, USA, April 11-14, 2011
[pdf]
  • Slides presented at Charles River Analytics (CRA), Cambridge, MA on Quest VCPU Scheduling
[pdf]
  • Slides for the talk at the 17th IEEE Real-Time and Embedded Technology and Applications Symposium, Chicago, USA, April 13, 2011
[pdf]
  • Poster presented at the BU Science Day, Spring 2011 on Quest’s VCPU Scheduling Infrastructure
[pdf]
  • Poster describing the background to the hardware performance monitoring subsystem in Quest, based on collaborations with VMware
[pdf]
  • Richard West, Puneet Zaroo, Carl A. Waldspurger and Xiao Zhang, "Online Cache Modeling for Commodity Multicore Processors", Operating Systems Review, Volume 44, Number 4, Special VMware Track, December 2010

    • Paper with colleagues at VMware on the design of a hardware performance monitoring technique for predicting cache occupancy -- we use this technique in Quest as part of our strategy for multicore resource management
[pdf]
  • Early design overview (for the original uniprocessor version of Quest)
[pdf]

Current Team

Past Members