Runtime Enforcement with Reordering, Healing, and Suppression - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2021

Runtime Enforcement with Reordering, Healing, and Suppression


Runtime enforcement analyses an execution trace, detects when this execution deviates from its expected behaviour with respect to a given property, and corrects the trace to make it satisfy the property. In this paper, we present new enforcement techniques that reorder actions when necessary, inject actions to the application to ensure progress of the property, and discard actions to avoid storing too many unnecessary actions. At any step of the enforcement, we provide a verdict, called enforcement trend in this work, which takes its value in a 4-valued truth domain. Our approach has been implemented in a tool and validated on several application examples. Experimental results show that our techniques better preserve the application actions, hence ensuring better service continuity.
Fichier principal
Vignette du fichier
main.pdf (419.85 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-03484045 , version 1 (16-12-2021)


  • HAL Id : hal-03484045 , version 1


Yliès Falcone, Gwen Salaün. Runtime Enforcement with Reordering, Healing, and Suppression. SEFM 2021 - 19th IEEE International Conference on Software Engineering and Formal Methods, Dec 2021, Virtual, United Kingdom. pp.1-20. ⟨hal-03484045⟩
63 View
108 Download


Gmail Mastodon Facebook X LinkedIn More