SMT-Based Planning Synthesis for Distributed System Reconfigurations - Archive ouverte HAL Access content directly
Conference Papers Year : 2022

SMT-Based Planning Synthesis for Distributed System Reconfigurations


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
Origin Files produced by the author(s)

Dates and versions

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



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⟩
187 View
80 Download



Gmail Mastodon Facebook X LinkedIn More