Copilot: A Hard Real-Time Runtime Monitor

@inproceedings{Pike2010CopilotAH,
  title={Copilot: A Hard Real-Time Runtime Monitor},
  author={Lee Pike and Alwyn Goodloe and Robin Morisset and Sebastian Niller},
  booktitle={RV},
  year={2010}
}
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… CONTINUE READING
Highly Cited
This paper has 52 citations. REVIEW CITATIONS
38 Extracted Citations
20 Extracted References
Similar Papers

Citing Papers

Publications influenced by this paper.
Showing 1-10 of 38 extracted citations

53 Citations

051015'12'14'16'18
Citations per Year
Semantic Scholar estimates that this publication has 53 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…