DMCA
Zero Overhead Runtime Monitoring
| Citations: | 1 - 1 self |
BibTeX
@MISC{Wonisch_zerooverhead,
author = {Daniel Wonisch and Er Schremmer and Heike Wehrheim},
title = {Zero Overhead Runtime Monitoring},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Abstract. Runtime monitoring aims at ensuring program safety by monitoring the program’s behaviour during execution and taking appro-priate action before a program violates some property. Runtime moni-toring is in particular important when an exhaustive formal verification fails. While the approach allows for a safe execution of programs, it may impose a significant runtime overhead. In this paper, we propose a novel technique combining verification and monitoring which incurs no overhead during runtime at all. The technique proceeds by using the inconclusive result of a verification run as the basis for transforming the program into one where all potential points of failure are replaced by HALT statements. The new program is safe by construction, behaviourally equivalent to the original program (except for unsafe behaviour), and has the same performance characteristics. 1
Keyphrases
zero overhead runtime monitoring halt statement inconclusive result potential point program safety unsafe behaviour exhaustive formal verification fails safe execution significant runtime overhead original program runtime monitoring aim new program performance characteristic technique proceeds verification run novel technique runtime moni-toring appro-priate action
