Canevas de développement agile pour l'évolution fiable de systèmes logiciels à composants et orientés services

Les systemes logiciels modernes se caracterisent par un besoin d'evolutions perpetuelles et rapides, comme par exemple dans le monde de l'informatique mobile. Pour faciliter le developpe\-ment et l'evolution rapide de systemes complexes, des approches de genie logiciel ont ete proposees, telles que les architectures logicielles et la methode de conception agile. Neanmoins, les solutions actuelles offrent peu de support pour permettre l'evolution fiable d'un systeme, c'est-a-dire permettre sa modification tout en garantissant le respect de ses exigences de qualites de service et de bon fonctionnement global. La contribution de cette these est CALICO, un canevas de developpement agile pour la conception et l'evolution fiable de systemes logiciels a composants et orientes services. Le developpement agile repose sur l'utilisation d'un cycle de developpement iteratif et incremental qui permet a l'architecte d'iterer entre les etapes de conception de l'architecture et de debogage du logiciel dans son environnement d'execution. A chaque iteration du cycle, l'architecte peut faire evoluer son logiciel et fiabiliser ses evolutions grâce a l'execution d'analyses statiques et dynamiques complementaires. Ainsi, lors de la conception et de l'evolution d'un systeme, l'architecte dispose d'un ensemble de metamodeles pour specifier la structure de l'architecture de son logiciel et ses diverses exigences de qualite de services. Lors du deploiement, CALICO utilise les modeles specifies pour instancier le systeme sur la plate-forme d'execution cible et les garde synchronises avec le logiciel lors de son execution. De cette facon, l'architecte dispose toujours d'une vue conceptuelle qui lui permet de raisonner sur les proprietes critiques de son logiciel lors d'une evolution. De plus, pour fiabiliser ces evolutions, CALICO offre un cadre federateur qui autorise la reutilisation de nombreux outils d'analyse statique des architectures logicielles et de debogage dynamique qui etaient jusqu'alors disperses dans differentes plates-formes existantes. Ainsi, chaque evolution peut etre analysee statiquement sur la vue conceptuelle avant d'etre propagee au systeme logiciel. Les analyses dynamiques reposent quant a elles sur des valeurs disponibles a l'execution. La capture de ces valeurs est effectuee grâce a une instrumentation automatique du systeme logiciel. CALICO permet donc de fiabiliser les evolutions meme si les plates-formes d'execution sous-jacentes ne le proposent pas nativement. Notre contribution se concretise par une implementation multi plates-formes. La version actuelle prend en charge quatre plates-formes a composants et une plate-forme a services. Par ailleurs, les tests de performances que nous avons realises demontrent que CALICO est utilisable pour la conception et l'evolution fiable de larges applications jusqu'a 10000 composants et services, ce qui correspond a la montee en charge maximale de la plupart des plates-formes d'execution.