Réseau de recherche sur l'adaptabilité du logiciel (Re2adapt)

Période

2008-2012

Mots clés

évolution du logiciel, lignes de produits logiciels

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.

Unités

• Evolution
• PReCISE Research Center (PRECISE)
• Pôle sémantique, logique et calcul (ISLC)

Axes de recherche

• Evolution

Staff

Collaborations

• Université de Mons, Service de Génie Logiciel
• UCL - Université Catholique de Louvain

Financement

• FNRS

Pour plus d'information