14-18 juin 2021 Virtuelle (France)
Planification automatique des reconfigurations des systèmes distribués
Simon Robillard  1@  
1 : IMT Atlantique Bretagne-Pays de la Loire  (IMT Atlantique)
Ministère de l'Économie et de l'Industrie
Campus Brest : Technopôle Brest-Iroise CS 8381829238 BREST Cedex 3 -Campus Nantes : 4, rue Alfred Kastler- La chantrerie 44300 NANTES -Campus Rennes : 2 Rue de la Châtaigneraie, 35510 CESSON SEVIGNE -  France

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.


Personnes connectées : 2 Vie privée
Chargement...