Runtime Enforcement of Timed Properties - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2013

Runtime Enforcement of Timed Properties

Résumé

Runtime enforcement is a powerful technique to ensure that a running system respects some desired properties. Using an enforcement monitor, an (untrustworthy) input execution (in the form of a sequence of events) is modified into an output sequence that complies to a property. Runtime enforcement has been extensively studied over the last decade in the context of untimed properties. This paper introduces runtime enforcement of timed properties. We revisit the foundations of runtime enforcement when time between events matters.We show how runtime enforcers can be synthesized for any safety or co-safety timed property. Proposed runtime enforcers are time retardant: to produce an output sequence, additional delays are introduced between the events of the input sequence to correct it. Runtime enforcers have been prototyped and our simulation experiments validate their effectiveness.
Fichier principal
Vignette du fichier
2012-RV-Enforcement.pdf (601.65 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00743270 , version 1 (18-10-2012)
hal-00743270 , version 2 (19-11-2012)

Identifiants

Citer

Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand, Antoine Rollet, et al.. Runtime Enforcement of Timed Properties. 3rd International Conference on Runtime Verification, Sep 2012, Istanbul, Turkey. pp.229-244, ⟨10.1007/978-3-642-35632-2_23⟩. ⟨hal-00743270v2⟩
396 Consultations
440 Téléchargements

Altmetric

Partager

More