Copilot: A Hard Real-Time Runtime Monitor

Abstract. We address the problem of runtime monitoring for hard realtime 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 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.

• Type: Journal
• Year: 2010
• Where: RV
• Authors: Lee Pike, Alwyn Goodloe, Robin Morisset, Sebastian Niller
• Keywords: Copilot, Hardware, Runtime Monitoring, Runtime Monitoring Community, RV 2010