Copilot: A Hard Real-Time Runtime Monitor

• ABSTRACT:
  
  We address the problem of runtime monitoring for hard real-time programs---a domain in which correctness is critical yet has largely been overlooked in the runtime monitoring community. We describe the challenges to runtime monitoring for this domain as well as an approach to satisfy the challenges. The core of our approach is a language and compiler called \emph{Copilot}. Copilot is a stream-based dataflow language that generates small constant-time and constant-space C programs, implementing embedded monitors. Copilot also generates its own scheduler, obviating the need for an underlying real-time operating system.

• BIBTEX:
  

  @InProceedings{pike-rv,
    author =    {Lee Pike and Alwyn Goodloe and Robin Morisset and Sebastian Niller},
    title =     {Copilot: A Hard Real-Time Runtime Monitor},
    booktitle = {Proceedings of the 1st Intl. Conference on Runtime Verification},
    publisher = {Springer},
    series  =   {LNCS},
    year =      {2010},
    month =     {November},
    note =      {Preprint available at \url{https://leepike.github.io/pub_pages/rv2010.html}},
  }
  

• PAPER DOWNLOAD: pike-rv2010.pdf

• SLIDES DOWNLOAD: Slides are here.

• Copilot Compiler and Language: http://leepike.github.com/Copilot/.