Sciweavers

RV
2010
Springer

Copilot: A Hard Real-Time Runtime Monitor

13 years 8 months ago
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.
Lee Pike, Alwyn Goodloe, Robin Morisset, Sebastian
Added 30 Jan 2011
Updated 30 Jan 2011
Type Journal
Year 2010
Where RV
Authors Lee Pike, Alwyn Goodloe, Robin Morisset, Sebastian Niller
Comments (0)