Runtime Enforcement of Parametric Timed Properties with Practical Applications

Abstract : Runtime enforcement (RE) is a technique where a so-called monitor modifies the execution of a system to comply with a desired property. RE consists in using a so called monitor to modify an input sequence of events so that it complies with the property. Very few convincing applications of runtime enforcement have been proposed so far since most of the proposed approaches remain on the theoretical level. In network security, RE monitors can detect and prevent Denial-of-Service attacks. In resource allocation, RE monitors can ensure fairness. Specifications in these domains express data-constraints over the received events where the timing between events matters. To formalize these requirements, we introduce Parameterized Timed Automata with Variables (PTAVs), an extension of Timed Automata (TAs) with internal and external variables. We then extend enforcement for TAs to enforcement for PTAVs. We model requirements from the considered application domains and show how enforcement monitors can ensure system correctness w.r.t. these requirements. Finally, we propose a prototype implementation to experiment RE monitors on some properties. Our experiments and the performance of RE monitors demonstrate the feasibility of our approach.
Type de document :
Communication dans un congrès
IEEE International Workshop on Discrete Event Systems, May 2014, cachan, France. pp.46-53, 2014
Liste complète des métadonnées

Littérature citée [16 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00974548
Contributeur : Hervé Marchand <>
Soumis le : lundi 7 avril 2014 - 10:37:34
Dernière modification le : mercredi 16 mai 2018 - 11:24:06
Document(s) archivé(s) le : lundi 7 juillet 2014 - 11:03:29

Fichier

2014-wodes-TE.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00974548, version 1

Citation

Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand. Runtime Enforcement of Parametric Timed Properties with Practical Applications. IEEE International Workshop on Discrete Event Systems, May 2014, cachan, France. pp.46-53, 2014. 〈hal-00974548〉

Partager

Métriques

Consultations de la notice

625

Téléchargements de fichiers

201