SMT-Based Planning Synthesis for Distributed System Reconfigurations - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2022

SMT-Based Planning Synthesis for Distributed System Reconfigurations

Résumé

Large distributed systems with an emphasis on adaptability are now considered a necessity in many domains, yet reconfiguration of these systems is still largely carried out in an ad hoc fashion, a process that is both inefficient and error-prone. In this paper, we tackle the planification problem for the reconfiguration of distributed systems in the component-based reconfiguration model Concerto. Specifically, given some tasks to execute and a desired final state of the system, we show how to compute a reconfiguration plan that guarantees satisfaction of inter-component dependencies and is also optimized for parallel execution. Our technique relies on an SMT solver to compute the required dependencies between components and ultimately schedule the reconfiguration. We illustrate the use of this technique on a variety of synthetic examples as well as a real use case in the context of an OpenStack system.
Fichier principal
Vignette du fichier
FASE2022_synthesis.pdf (652.78 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03536643 , version 1 (26-05-2022)

Identifiants

Citer

Simon Robillard, Hélène Coullon. SMT-Based Planning Synthesis for Distributed System Reconfigurations. FASE 2022 : 25th International Conference on Fundamental Approaches to Software Engineering, Apr 2022, Munich, Germany. pp.268-287, ⟨10.1007/978-3-030-99429-7_15⟩. ⟨hal-03536643⟩
221 Consultations
121 Téléchargements

Altmetric

Partager

More