%0 Conference Proceedings
%F sac-svt14
%A Pinisetty, S.
%A Falcone, Y.
%A Jéron, T.
%A Marchand, H.
%T Runtime Enforcement of Regular Timed Properties
%B Software Verification and Testing, track of the Symposium on Applied Computing ACM-SAC 2014
%P 1279-1286
%C Gyeongju, Korea
%X Runtime enforcement is a verification/validation technique aiming at correcting (possibly incorrect) executions of a system of interest. In this paper, we consider enforcement monitoring for systems with timing specifications (modeled as timed automata). We consider runtime enforcement of any regular timed property specified by a timed automaton. To ease their design and their correctness-proof, enforcement mechanisms are described at several levels: enforcement functions that specify the input-output behavior, constraints that should be satisfied by such functions, enforcement monitors that implement an enforcement function as a transition system, and enforcement algorithms that describe the implementation of enforcement monitors. The feasibility of enforcement monitoring for timed properties is validated by prototyping the synthesis of enforcement monitors
%U http://www.irisa.fr/sumo/Publis/PDF/sac-svt.pdf
%8 March
%D 2014