Runtime Enforcement with Reordering, Healing, and Suppression - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

Runtime Enforcement with Reordering, Healing, and Suppression

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Identifiants

  • HAL Id : hal-03484045 , version 1

Citer

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⟩
59 Consultations
105 Téléchargements

Partager

Gmail Facebook X LinkedIn More