A runtime monitor is a tool that takes as input a model of some system, and observes in real time that the sequence of events produced by a run of that system follows the specification. While existing monitoring solutions generally use finite-state machines and temporal logic as their model language, the specification is ultimately tangled with hand-written, implementation-specific details which severely limit their range of application. We present a runtime monitoring platform that clearly separates the extraction of events in the running program from the specification and monitoring process. This separation allows one to cleanly monitor first-order properties involving arbitrarily complex native program objects, while still incurring reasonable overhead.
- 1. A Runtime Monitoring Framework for Event Streams with Non-Primitive Arguments Jrme Calvar, Raphal Tremblay- Lessard, Sylvain Hall Universit du Qubec Chicoutimi CANADAPresented by Roger Villemaire Universit du Qubec Montral Fonds de recherche sur la nature et les technologies NSERC CRSNGCalvar et al.