Skip to Main content Skip to Navigation
Conference papers

GREP: Games for the Runtime Enforcement of Properties

Abstract : We present GREP, a tool for the runtime enforcement of (timed) properties. GREP takes an execution sequence as input (stdin), and modifies it (stdout) as necessary to enforce the desired property, when possible. GREP can enforce any regular timed property described by a deterministic and complete Timed Automaton. The main novelties of GREP are twofold: it uses game theory to improve the synthesis of enforcement mechanisms, and it accounts for uncontrollable events, i.e. events that cannot be controlled by the enforcement mechanisms and thus have to be released immediately. We present an overview of GREP and validate its usability with a performance evaluation.
Complete list of metadatas

Cited literature [18 references]  Display  Hide  Download

https://hal.inria.fr/hal-01678960
Contributor : Hal Ifip <>
Submitted on : Tuesday, January 9, 2018 - 3:39:10 PM
Last modification on : Wednesday, August 5, 2020 - 3:25:46 AM
Long-term archiving on: : Friday, May 4, 2018 - 4:01:24 PM

File

449632_1_En_16_Chapter.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Matthieu Renard, Antoine Rollet, Yliès Falcone. GREP: Games for the Runtime Enforcement of Properties. 29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.259-275, ⟨10.1007/978-3-319-67549-7_16⟩. ⟨hal-01678960⟩

Share

Metrics

Record views

287

Files downloads

201