Journal
FORMAL METHODS IN SYSTEM DESIGN
Volume 38, Issue 3, Pages 223-262Publisher
SPRINGER
DOI: 10.1007/s10703-011-0114-4
Keywords
Runtime enforcement; Monitor; Safety-progress classification; Monitor synthesis; Composition
Categories
Ask authors/readers for more resources
Runtime enforcement is a powerful technique to ensure that a program will respect a given set of properties. We extend previous work on this topic in several directions. Firstly, we propose a generic notion of enforcement monitors based on a memory device and finite sets of control states and enforcement operations. Moreover, we specify their enforcement abilities w.r.t. the general Safety-Progress classification of properties. Furthermore, we propose a systematic technique to produce a monitor from the automaton recognizing a given safety, guarantee, obligation or response property. Finally, we show that this notion of enforcement monitors is more amenable to implementation and encompasses previous runtime enforcement mechanisms.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available