Skip to Main content Skip to Navigation
Habilitation à diriger des recherches

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
Laboratoire I3S - SPARKS - Scalable and Pervasive softwARe and Knowledge Systems
Abstract : Our work stands in the field of software engineering for large scale software intensive systems. We aim at providing techniques and tools to help software architects master the ever-increasing complexity of these systems. Using mainly model-driven engineering approaches, our contribution is organised around three axes. The first axis concerns the development of reliable and flexible hierarchical component-based systems with dynamic reconfiguration capabilities. Through the use of novel forms of software contracts, the proposed systems and frameworks support several specification formalisms and maintain up-to-date contracts at runtime. A second part of our work consists in providing self-adaptive capabilities to these contracting systems, through negotiation mechanisms over contracts and self-adaptive monitoring sub-systems. A third axis is related to software product lines in which feature models are widely used to model variability. Our contribution consists in providing a set of sound and efficiently implemented composition operators for feature models, as well as a dedicated language for their large scale management.
Document type :
Habilitation à diriger des recherches
Complete list of metadatas

Cited literature [188 references]  Display  Hide  Download
Contributor : Philippe Collet <>
Submitted on : Sunday, January 8, 2012 - 11:30:13 AM
Last modification on : Saturday, November 28, 2020 - 11:14:02 PM
Long-term archiving on: : Monday, November 19, 2012 - 12:55:50 PM


  • HAL Id : tel-00657444, version 1



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⟩



Record views


Files downloads