Thèse soutenue

Concilier expressivité du parallélisme et séparation des préoccupations lors de la reconfiguration de systèmes distribués
FR  |  
EN
Accès à la thèse
Auteur / Autrice : Maverick Chardet
Direction : Christian Pérez
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance le 03/12/2020
Etablissement(s) : Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire
Ecole(s) doctorale(s) : École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes)
Partenaire(s) de recherche : Laboratoire : Software Stack for Massively Geo-Distributed Infrastructures - Département Automatique, Productique et Informatique - Laboratoire des Sciences du Numérique de Nantes
Jury : Président / Présidente : Laurence Duchien
Examinateurs / Examinatrices : Christian Pérez, Daniel Hagimont, Eric Rutten, Françoise Baude, Hélène Coullon, Adrien Lebre
Rapporteurs / Rapporteuses : Daniel Hagimont, Eric Rutten

Résumé

FR  |  
EN

Les systèmes informatiques distribués, qui fonctionnent sur plusieurs ordinateurs, sont désormais courants et même utilisés dans des services critiques. Cependant, ces systèmes deviennent de plus en plus complexes, en termes d'échelle, de dynamicité et de qualité de service attendue. La reconfiguration de systèmes distribués consiste à modifier leur état durant leur exécution. Les systèmes distribués peuvent être reconfigurés pour plusieurs raison, parmi lesquelles leur déploiement, leur mise à jour, leur adaptation pour obéir à de nouvelles contraintes (en termes de capacité utilisateurs, d'efficacité énergétique, de fiabilité, de coûts, etc.) ou même le changement de leurs fonctionnalités. Les systèmes de reconfiguration existants ne parviennent pas à fournir en même temps une bonne expressivité du parallélisme dans les actions de reconfiguration et la séparation des préoccupations entre les différents acteurs qui interagissent avec le système. L'objectif de cette thèse est de prouver que ces propriétés peuvent être conciliées en modélisant précisément le cycle de vie de chaque module des systèmes distribués, tout en fournissant des interfaces appropriées entre différents niveaux de conception. Deux modèles formels implantant cette idée sont fournis, un pour le cas particulier du déploiement et un pour la reconfiguration. Une évaluation est réalisée à la fois sur des cas d'usage synthétiques et réels et montre que ces modèles ont un plus haut niveau d'expressivité du parallélisme que leurs homologues tout en conservant un bon niveau de séparation des préoccupations.