%0 Conference Proceedings
%F FalconeRV10
%A Falcone, Y.
%T You should Better Enforce than Verify (Tutorial)
%B RV'10: Proceedings of the 1st International Conference on Runtime Verification
%V 6418
%P 89-105
%S LNCS
%I Springer
%C Malta
%X This tutorial deals with runtime enforcement which is an extension of runtime verification aiming to circumvent misbehaviors of programs. Within this technique the monitor not only observes the current program execution, but it also modifies it. It uses an internal memory, in order to ensure that the expected property is fulfilled: it still reads an input sequence but now produces a new sequence of events in such a way that the property is enforced. The precise and formal relation between input and output sequences is usually ruled by two constraints: soundness and transparency. From an abstract point of view those constraints entail the monitor to minimally modify the input sequence in order to ensure the desired property. This tutorial focuses on runtime enforcement and advocates its use as an extension to runtime verification. More specifically the tutorial steps are the following: 1) we overview previous approaches to runtime enforcement; 2) we thoroughly present our latest advances in runtime enforcement that generalizes and extends previous approaches; 3) we discuss practical limitations and future challenges
%U http://www.irisa.fr/vertecs/Publis/Ps/tutorial-RV10-Falcone.pdf
%U http://dx.doi.org/10.1007/978-3-642-16612-9
%8 November
%D 2010