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.
CITATION STYLE
Renard, M., Rollet, A., & Falcone, Y. (2017). GREP: Games for the runtime enforcement of properties. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10533 LNCS, pp. 259–275). Springer Verlag. https://doi.org/10.1007/978-3-319-67549-7_16
Mendeley helps you to discover research relevant for your work.