Skip to Main content Skip to Navigation
Journal articles

Runtime Enforcement Monitors: composition, synthesis, and enforcement abilities

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.
Document type :
Journal articles
Complete list of metadata

Cited literature [26 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00576948
Contributor : Yliès Falcone <>
Submitted on : Tuesday, March 15, 2011 - 6:09:26 PM
Last modification on : Tuesday, December 8, 2020 - 10:18:09 AM
Long-term archiving on: : Thursday, June 16, 2011 - 3:06:26 AM

File

EnforcementMonitors-FMSD-prepr...
Files produced by the author(s)

Identifiers

Collections

Citation

Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier. Runtime Enforcement Monitors: composition, synthesis, and enforcement abilities. Formal Methods in System Design, Springer Verlag, 2011, 38 (3), pp.223-262. ⟨10.1007/s10703-011-0114-4⟩. ⟨hal-00576948⟩

Share

Metrics

Record views

930

Files downloads

1134