Les systèmes distribués à grande échelle jouent aujourd'hui un rôle important dans de nombreux domaines, où leur adaptabilité est un atout. Pourtant les reconfigurations de ces systèmes continuent le plus souvent d'être effectuées de manière ad hoc, un processus qui est à la fois inefficace et source potentielle d'erreurs. Cette présentation décrira une technique utilisant un solveur SMT pour résoudre le problème de la planification de reconfiguration d'un système distribué dans un modèle à composants. Plus précisément, étant donné un ensemble de tâches à exécuter et un état final désiré pour le système, nous montrerons comment générer un plan de reconfiguration qui satisfasse les dépendances entre composants et qui soit aussi optimisé pour l'exécution parallèle.