Thèse soutenue

QoS-CARE : un système fiable pour préserver les contrats de qualité de service dans une reconfiguration dynamique
FR  |  
EN
Accès à la thèse
Auteur / Autrice : Gabriel Tamura
Direction : Laurence DuchienRubby Casallas Gutiérrez
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance le 28/05/2012
Etablissement(s) : Lille 1 en cotutelle avec Universidad de los Andes (Bogotá)
Ecole(s) doctorale(s) : École doctorale Sciences pour l'ingénieur (Lille)
Partenaire(s) de recherche : Laboratoire : Laboratoire d'informatique fondamentale de Lille (2002-2014)

Résumé

FR  |  
EN

Le principal défi de cette thèse est de préserver de façon fiable la qualité de service (QoS) définie par contrats dans des systèmes logiciels à base de composants, ceci dans des conditions changeantes d'exécution du système. En réponse à ce défi, nous présentons deux contributions. La première est un modèle pour les applications logicielles à base de composants avec contrats de qualité de service et règles de reconfiguration définies par des graphes attribués typés. Ainsi, nous utilisons des modèles formels à l'exécution pour reconfigurer de manière fiable des applications logicielles de façon à préserver les contrats de QoS. Plus précisément, nous montrons la faisabilité d'exploiter des patrons de conception à l'exécution dans des boucles de reconfiguration tout en garantissant les niveaux de QoS attendues. Nous mettons en œuvre ce modèle formel par le biais d'une architecture à base de composants qui peut être utilisée comme une couche supplémentaire de la plateforme SCA, ceci afin de préserver les contrats de QoS.La seconde contribution est la caractérisation des propriétés d'adaptation pour évaluer les systèmes logiciels auto-adaptatifs de manière standardisée et comparable. De par leur nature, les mécanismes d'adaptation des systèmes logiciels auto-adaptatifs sont essentiellement des boucles de rétroaction telles que définies par la théorie du contrôle. Ainsi, pour les évaluer, il est nécessaire de ré-interpréter ces proprétés dans le domaine du logiciel. Nous définissons la fiabilité de la réalisation de notre modèle formel en termes de sous-ensemble des propriétés d'adaptation caractérisées, et nous montrons que ces propriétés sont garanties dans cette réalisation.