Research network on software adaptability

Project: Research

Description

La fiabilité des logiciels complexes est un enjeu capital pour la recherche en génie logiciel. Des techniques de raisonnement formel rapides et fiables sont une nécessité face à des systèmes de plus en plus complexes, critiques et soumis à des adaptations de plus en plus fréquentes. Dans ce projet, nous nous intéressons à la préservation de la fiabilité du logiciel tout au long de sa vie et des nombreuses évolutions et variantes qu'il connaîtra. Par adaptabilité logicielle, nous désignons à la fois

l'évolutivité, qui facilite l'adaptation du logiciel aux nouveaux besoins, allonge ainsi sa durée de vie, et favorise son passage à l'échelle, et
la variabilité, qui permet à un logiciel de se décliner facilement en de nombreuses variantes pour des utilisations dans des contextes différents.
Ce projet vise la création d'un centre inter-universitaire de recherche fondamentale en adaptabilité logicielle. Ses défis principaux sont de prévenir, détecter et résoudre de manière incrémentale les incohérences et conflits entre versions et/ou variantes de logiciels. Au niveau syntaxique et structurel, on étudiera les formalismes de transformation de graphes et les vues intensionnelles. Au niveau sémantique, on se consacrera à la vérification formelle de modèles de variabilité (feature diagrams). Grâce à une collaboration étroite entre trois partenaires d'expertises complémentaires, ces différentes techniques seront comparées et combinées, dans le but de faire progresser l'état des connaissances dans le domaine et d'ouvrir la voie à des outils plus efficaces.
AcronymRe2adapt
StatusFinished
Effective start/end date1/06/081/06/12

Keywords

  • software product lines
  • software adaptability
  • software flexibility
  • software evolution
  • features