Communication Dans Un Congrès Année : 2024

Adaptable Configuration of Decentralized Monitors

Résumé

Prominent challenges in runtime verification of a distributed system are the correct placement, configuration, and coordination of the monitoring nodes. This work considers state-of-the-art decentralized monitoring practices and proposes a framework to recommend efficient configurations of the monitoring system depending on the target specification. Our approach aims to optimize communication over several features (e.g., minimizing the number of messages exchanged, the number of computations happening overall, etc.) in contexts where finding an efficient communication strategy requires slow simulations. We optimize by training multiple machine learning models from simulations combining traces, formulae, and systems of different sizes. The experimental results show that the developed model can reliably suggest the best configuration strategy in a few nanoseconds, contrary to the minutes or possibly hours required by direct simulations that would be impractical at runtime.

Fichier sous embargo
Fichier sous embargo
0 7 6
Année Mois Jours
Avant la publication
vendredi 1 janvier 2027
Fichier sous embargo
vendredi 1 janvier 2027
Connectez-vous pour demander l'accès au fichier

Dates et versions

hal-04966811 , version 1 (26-02-2025)

Licence

Identifiants

Citer

Ennio Visconti, Ezio Bartocci, Yliès Falcone, Laura Nenzi. Adaptable Configuration of Decentralized Monitors. 44th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2024, Groningen, Netherlands. pp.197-217, ⟨10.1007/978-3-031-62645-6_11⟩. ⟨hal-04966811⟩
145 Consultations
10 Téléchargements

Altmetric

Partager

  • More