Monitoring with uncertainty

Ezio Bartocci
(TU Wien)
Radu Grosu
(TU Wien)

We discuss the problem of runtime verification of an instrumented program that misses to emit and to monitor some events. These gaps can occur when a monitoring overhead control mechanism is introduced to disable the monitor of an application with real-time constraints. We show how to use statistical models to learn the application behavior and to "fill in" the introduced gaps. Finally, we present and discuss some techniques developed in the last three years to estimate the probability that a property of interest is violated in the presence of an incomplete trace.

Invited Presentation in Luca Bortolussi, Manuela L. Bujorianu and Giordano Pola: Proceedings Third International Workshop on Hybrid Autonomous Systems (HAS 2013), Rome, 17th March 2013, Electronic Proceedings in Theoretical Computer Science 124, pp. 1–4.
Published: 22nd August 2013.

ArXived at: http://dx.doi.org/10.4204/EPTCS.124.1 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org