Taming Complexity of Large Software Systems: Contracting, Self-Adaptation and Feature Modeling

Philippe Collet 1
1 Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe MODALIS
SPARKS - Scalable and Pervasive softwARe and Knowledge Systems
Résumé : Nos travaux s'inscrivent dans le domaine du génie logiciel pour les systèmes informatiques à large échelle. Notre objectif est de fournir des techniques et des outils pour aider les architectes logiciels à maîtriser la complexité toujours grandissante de ces systèmes. Principalement fondées sur des approches par ingénierie des modèles, nos contributions s'organisent autour de trois axes. Le premier axe concerne le développement de systèmes à la fois fiables et flexibles, et ce à base de composants hiérarchiques équipés de capacités de reconfiguration dynamique. Par l'utilisation de nouvelles formes de contrats logiciels, les systèmes et frameworks que nous proposons prennent en compte differents formalismes de spécification et maintiennent les contrats à jour pendant l'exécution. Une seconde partie de nos travaux s'intéresse à fournir des capacités auto-adaptatives à ces systèmes contractuels, à travers des mécanismes de négociation de contrats et des sous-systèmes de monitoring eux-mêmes auto-adaptatifs. Un troisième axe concerne les lignes de produits logiciels dans lesquelles les features models sont largement utilisés pour modéliser la variabilité. Nos contributions consistent en un ensemble d'opérateurs de composition bien définis et implémentés efficacement pour les feature models, ainsi qu'un langage dédié permettant leur gestion à large échelle.
Type de document :
HDR
Software Engineering [cs.SE]. Université Nice Sophia Antipolis, 2011
Liste complète des métadonnées

Littérature citée [188 références]  Voir  Masquer  Télécharger

https://tel.archives-ouvertes.fr/tel-00657444
Contributeur : Philippe Collet <>
Soumis le : dimanche 8 janvier 2012 - 11:30:13
Dernière modification le : lundi 27 février 2012 - 16:26:54
Document(s) archivé(s) le : lundi 19 novembre 2012 - 12:55:50

Identifiants

  • HAL Id : tel-00657444, version 1

Collections

Citation

Philippe Collet. Taming Complexity of Large Software Systems: Contracting, Self-Adaptation and Feature Modeling. Software Engineering [cs.SE]. Université Nice Sophia Antipolis, 2011. 〈tel-00657444〉

Partager

Métriques

Consultations de
la notice

395

Téléchargements du document

471