Runtime enforcement monitors: composition,synthesis, and enforcement abilities |
| |
Authors: | Yliès Falcone Laurent Mounier Jean-Claude Fernandez Jean-Luc Richier |
| |
Affiliation: | 1.Grenoble INP, CNRS VERIMAG,UJF-Grenoble 1,Grenoble,France;2.Grenoble INP, CNRS LIG,UJF-Grenoble 1,Grenoble,France |
| |
Abstract: | 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. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|