DECENT: A Benchmark for Decentralized Enforcement - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

DECENT: A Benchmark for Decentralized Enforcement

Florian Gallay
  • Fonction : Auteur
  • PersonId : 1123124

Résumé

DECENT is a benchmark for evaluating decentralized enforcement. It implements two enforcement algorithms that differ in their strategy for correcting the execution: the first one explores all alternatives to perform a globally optimal correction, while the second follows an incremental strategy based on locally optimal choices. Decent allows comparing these algorithms with a centralized enforcement algorithm in terms of computational metrics and metrics for decentralized monitoring such as the number and size of messages or the required computation on each component. Our experiments show that (i) the number of messages sent and the internal memory usage is much smaller with decentralized algorithms (ii) the locally optimal algorithm performs closely to the globally optimal one.
Fichier principal
Vignette du fichier
rv22-decent.pdf (139.37 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03911798 , version 1 (23-12-2022)

Identifiants

  • HAL Id : hal-03911798 , version 1

Citer

Florian Gallay, Yliès Falcone. DECENT: A Benchmark for Decentralized Enforcement. RV 2022 - 22nd International Conference on Runtime Verification, Sep 2022, Tblisi, Georgia. pp.1-11. ⟨hal-03911798⟩
81 Consultations
43 Téléchargements

Partager

Gmail Facebook X LinkedIn More