The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Hardware verification using coinductive assertions
Hardware verification using coinductive assertions
Java-MaC: A Run-Time Assurance Approach for Java Programs
Formal Methods in System Design
LOLA: Runtime Monitoring of Synchronous Systems
TIME '05 Proceedings of the 12th International Symposium on Temporal Representation and Reasoning
A verifying core for a cryptographic language compiler
ACL2 '06 Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications
Runtime Verification of C Programs
TestCom '08 / FATES '08 Proceedings of the 20th IFIP TC 6/WG 6.1 international conference on Testing of Software and Communicating Systems: 8th International Workshop
Hardware Runtime Monitoring for Dependable COTS-Based Real-Time Embedded Systems
RTSS '08 Proceedings of the 2008 Real-Time Systems Symposium
On Time-Aware Instrumentation of Programs
RTAS '09 Proceedings of the 2009 15th IEEE Symposium on Real-Time and Embedded Technology and Applications
Predictable Runtime Monitoring
ECRTS '09 Proceedings of the 2009 21st Euromicro Conference on Real-Time Systems
Reducing the Cost of Path Property Monitoring Through Sampling
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Statistical runtime checking of probabilistic properties
RV'07 Proceedings of the 7th international conference on Runtime verification
Sampling-based runtime verification
FM'11 Proceedings of the 17th international conference on Formal methods
Algorithms for monitoring real-time properties
RV'11 Proceedings of the Second international conference on Runtime verification
Runtime verification for ultra-critical systems
RV'11 Proceedings of the Second international conference on Runtime verification
Introduction to the special issue on runtime verification
Formal Methods in System Design
Copilot: monitoring embedded systems
Innovations in Systems and Software Engineering
Deliberative, search-based mitigation strategies for model-based software health management
Innovations in Systems and Software Engineering
Runtime verification of microcontroller binary code
Science of Computer Programming
Towards a resilient deployment and configuration infrastructure for fractionated spacecraft
ACM SIGBED Review - Special Issue on the 5th Workshop on Adaptive and Reconfigurable Embedded Systems
| Hi-index | 0.00 |
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.