Taming Dynamically Adaptive Systems using models and aspects

  • Authors:
  • Brice Morin;Olivier Barais;Gregory Nain;Jean-Marc Jezequel

  • Affiliations:
  • INRIA, Centre Rennes - Bretagne Atlantique, Campus de Beaulieu, 35042 Cedex - FRANCE;IRISA, Université de Rennes1, Campus de Beaulieu, 35042 Cedex - FRANCE;INRIA, Centre Rennes - Bretagne Atlantique, Campus de Beaulieu, 35042 Cedex - FRANCE;INRIA, Centre Rennes - Bretagne Atlantique, Campus de Beaulieu, 35042 Cedex - FRANCE

  • Venue:
  • ICSE '09 Proceedings of the 31st International Conference on Software Engineering
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

Since software systems need to be continuously available under varying conditions, their ability to evolve at runtime is increasingly seen as one key issue. Modern programming frameworks already provide support for dynamic adaptations. However the high-variability of features in Dynamic Adaptive Systems (DAS) introduces an explosion of possible runtime system configurations (often called modes) and mode transitions. Designing these configurations and their transitions is tedious and error-prone, making the system feature evolution difficult. While Aspect-Oriented Modeling (AOM) was introduced to improve the modularity of software, this paper presents how an AOM approach can be used to tame the combinatorial explosion of DAS modes. Using AOM techniques, we derive a wide range of modes by weaving aspects into an explicit model reflecting the runtime system. We use these generated modes to automatically adapt the system. We validate our approach on an adaptive middleware for home-automation currently deployed in Rennes metropolis.