Les travaux de l’équipe MaREL s’insèrent dans le cadre du génie logiciel et s’intéressent à l’automatisation des étapes du cycle de vie du logiciel, de la conception à la maintenance en passant par la compilation et l’optimisation du code, à la modularisation et réutilisation des programmes, ainsi qu’à leur sémantique et sûreté de fonctionnement. Ces sujets couvrent la totalité de la démarche, de l’étude théorique aux expérimentations en vraie grandeur, en passant par le développement de langages, de modèles, d’algorithmes et de démonstrateurs.
Les activités de l’équipe MaREL se concentrent sur deux axes de recherche :
- La manipulation de modèles et de programmes: ingénierie dirigée par les modèles, langages orientés composants et objets, sémantique et preuve de programmes.
- Les méthodologies de développement pour et par la réutilisation : nouveaux traits de langages intégrant des entités extensibles et composables (composants), transformation d’applications (objets vers composants ou autres), lignes de produits logiciels.
L’équipe possède également un certain nombre d’activités transverses concernant le développement de formalismes et de méthodologies dont le périmètre d’application dépasse le domaine du génie logiciel (analyse formelle de concepts et preuve automatique).
Permanents
Hinde Bouziane, Maître de conférences, UM
Simon Robillard, Maître de conférences, UM
David Delahaye, Professeur des universités, UM
Philippe Reitz, Maître de conférences, UM
Clémentine Nebut, Maître de conférences, UM
Marianne Huchard, Professeur des universités, UM
Abdelhak Seriai, Maître de conférences, UM
Christophe Dony, Professeur des universités, UM
Doctorants
Louis Parent, PRADEO
Selena Lamari, UM
Quentin Capdepon, Berger-Levrault
Romain Sidhoum, UM
Autres personnels
Michel Meynard, Associé, UM
Yoann Bonavero, CDD Ingénieur-Technicien, UM
L’activité de l’équipe se concentre sur trois axes :
- l’ingénierie des modèles (IDM), par la conception d’une approche formelle originale (Analyse Relationnelle de Concepts, ARC), son expérimentation sur des données réelles de grande taille, et comme base pour l’apprentissage de transformations de modèles ;
- l’ingénierie de la réutilisation et de la variabilité, par l’extraction de composants ou de lignes de produits à partir de systèmes OO existants en se basant sur des métriques adaptées et des algorithmes d’optimisation combinatoire ;
- la sémantique et l’implémentation des langages de programmation, à objets ou à composants, pour concevoir un langage « pur composant », comme Smalltalk est « pur objet », ou pour expérimenter des techniques d’implémentation des langages à objets.
Ces trois axes sont à la fois bien identifiés et étroitement associés. Les notions d’objets ou de modèles constituent un socle commun, et les composants sont étudiés à la fois du point de vue des langages de programmation, des modèles et de leur extraction à partir du code. L’ARC est un objet d’étude, aussi bien qu’une base formelle pour le développement d’outils.
- Partenaires industriels :
- Acelys (2013 à ce jour) : Méthodologies de développement du logiciel (ingénierie des modèles et variabilité)
- Berger-Levrault (2013 à ce jour) : Accessibilité aux pages Web pour personnes malvoyantes et Analyse de traces logicielles
- Cortus (2009 à ce jour) : Compilation efficace pour processeurs embarqués low-end
- Pradeo (2013 à ce jour) : Analyse statique pour la sécurité des applications mobiles
- Partenaires académiques :
- Université de Montréal, co-encadrement avec Houari Sahraoui de deux thèses liées aux thèmes de l’IDM et de la réutilisation.
- Ecoles des Mines d’Alès et de Douai : co-encadrement de thèses dans le domaine des composants logiciels, de l’IDM, avec application à la domotique.
- LORIA, Nancy et LATECE, UQAM, classification de services web et projet PICS (ARC et ontologies).
- RMOD, INRIA Lille (et équipe MAORE), projet ANR Cutter (remodularisation de logiciels).
Titre : Sous typage structurel en théorie des types à la Martin-Löf
Doctorant : Theo Laurent
Date de soutenance : 2025-04-03
Directeur de thèse :
David Delahaye
Titre : Ingénierie agile de lignes de produits logiciels pour des applications daide à la décision pour lagriculture
Doctorant : Thomas Georges
Date de soutenance : 2024-01-23
Directeur de thèse :
Chouki Tibermacine
Titre : Conception d’un prouveur automatique de théorèmes concurrent basé sur la méthode des tableaux pour la logique du premier ordre.
Doctorant : Julie Cailler
Date de soutenance : 2023-12-13
Directeur de thèse :
David Delahaye
Titre : Migration Dirigée par les Modèles dApplications Monolithiques vers des Architectures à base de Micro-Services
Doctorant : Pascal Zaragoza
Date de soutenance : 2022-07-18
Directeur de thèse :
Abdelhak Seriai
Titre : IsiSPL : un processus automatisé pour faciliter l’ingénierie des lignes de produits logiciels selon une stratégie d’adoption industrielle réactive ou extractive
Doctorant : Nicolas Hlad
Date de soutenance : 2022-05-20
Directeur de thèse :
Abdelhak Seriai
Titre : Vérification formelle d’une méthodologie pour la conception et la production de systèmes numériques critiques.
Doctorant : Vincent Iampietro
Date de soutenance : 2021-12-16
Directeurs de thèse :
David Andreu,
David Delahaye
Titre : Contribution à l’analyse de flot multi-variante : application à JavaScript
Doctorant : Anthony Ferrand
Date de soutenance : 2020-09-08
Directeur de thèse :
Roland Ducournau
Titre : COMpOSER : une approche de ligne de produits logiciels dirigée par les modèles pour une gestion efficace de la réutilisation logicielle dans des familles et des populations de produits
Doctorant : Frédéric Verdier
Date de soutenance : 2019-12-11
Directeur de thèse :
Abdelhak Seriai
Titre : Du style architectural monolithique vers le style microservice: approches basées sur la structure et sur les tâches
Doctorant : Anfel Selmadji
Date de soutenance : 2019-10-03
Directeurs de thèse :
Abdelhak Seriai,
Christophe Dony
Titre : Ré-ingénierie des applications à objets pour une amélioration de leurs attributs de qualité
Doctorant : Soumia Zellagui
Date de soutenance : 2019-07-05
Directeur de thèse :
Chouki Tibermacine
Titre : L’analyse formelle de concepts : un cadre structurel pour l’étude de la variabilité de familles de logiciels
Doctorant : Jessie Carbonnel
Date de soutenance : 2018-10-29
Directeur de thèse :
Marianne Huchard
Titre : Une machine virtuelle en héritage multiple basée sur le hachage parfait
Doctorant : Julien Pagès
Date de soutenance : 2016-12-14
Directeur de thèse :
Roland Ducournau
Titre : Analyse du flot de contrôle multivariante : application à la détection de comportements des programmes
Doctorant : Rabah Laouadi
Date de soutenance : 2016-12-14
Directeur de thèse :
Roland Ducournau
Titre : Migration des Applications Orientées-Objet vers celles à base de Composants
Doctorant : Zakarea Al Shara
Date de soutenance : 2016-11-17
Directeurs de thèse :
Chouki Tibermacine,
Abdelhak Seriai,
Christophe Dony
Titre : Contribution à une méthode outillée pour la conception de langages de modélisation métier interopérables, analysables et prouvables pour l’Ingénierie Système basée sur des Modèles
Doctorant : Blazo Nastov
Date de soutenance : 2016-11-15
Directeur de thèse :
Christophe Dony
Titre : Une approche déclarative pour la génération de modèles
Doctorant : Adel Ferdjoukh
Date de soutenance : 2016-10-20
Directeur de thèse :
Marianne Huchard
Titre : Architecture dynamique basée sur la description de la variabilité et des services identifiés depuis des applications orientées objet
Doctorant : Seza Adjoyan
Date de soutenance : 2016-06-30
Directeurs de thèse :
Abdelhak Seriai,
Roland Ducournau