Current Research


Quest is Boston University Computer Science Department’s in house real-time operating system. The project was initiated by Richard West and Gary Wong and is now maintained by Richard, Ye Li , Ying Ye and myself. My interests in Quest are related to real-time I/O, fault tolerance and virtualization.

Related Publications and Technical Reports:

  • Ye Li, Richard West, 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.
  • Ye Li, Eric Missimer, Richard West, "Predictable Migration and Communication in the Quest-V Multikernel", Technical Report: arXiv:1310.6301, 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 2013), Philadelphia, USA, April 2013. 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.


RacerX is a platform to drive the development of Quest. It is an R/C buggy that has had the plastic body removed and in its place a mounting platform for a computer. Using a computer along with microcontrollers, such as the arduino, to control the motors, RacerX can be completely autonomous. RacerX will help drive the development of Quest because of the real-time requirements necessary to drive at the speeds the buggy is capable of achieving (+30 MPH). RacerX will also allow us to consider resources other than CPU time, such as battery power and I/O.

Previous Research

Camera Mouse

Camera Mouse ( is an assistive technology developed at Boston University and Boston College to help people with disabilities use the computer. I developed a system that allowed the user to perform mouse clicks by winking and blinking.

YouTube video of Camera Mouse being used.

Scientists dream about doing great things. Engineers do them.
James A. Michener