Soutenance de thèse Thibault BEZIERS DE LA FOSSE (équipe NaoMod)

Thibault Béziers de La Fosse, doctorant au sein de l’équipe NaoMod, soutiendra sa thèse intitulée « Méthodes dirigées par les modèles pour l’analyse dynamique appliquées à l’ingénierie de logiciels verts » / « Model-driven Methods for Dynamic Analysis applied to Energy-Aware Software Engineering »

vendredi 29 janvier 2021 à 14h30, dans la salle immersive sur le site FST. La thèse sera retransmise en direct sur https://meet.jit.si/soutenanceThibaultBLF

Jury :
– Directeur de thèse : Gerson Sunyé – Associate Professor, HDR, Université de Nantes
– Co-directeur de thèse : Massimo Tisi – Associate Professor, IMT Atlantique
– Co-encadrant de thèse : Jérôme Rocheteau – Associate Professor, ICAM Nantes
– Rapporteurs : Ana Cavalli – Professor, Télécom Sud Paris ; Romain Rouvoy – Professor, University of Lille
– Examinateurs : Antoine Beugnard – Professor, IMT Atlantique ; Sébastien Mosser – Professor, Université du Québec à Montréal ; Gustavo Pinto – Associate Professor, Federal University of Pará
– Invité : Jean-Marie Mottu – Associate Professor, Université de Nantes

Résumé : L’ingénierie dirigée par les modèles est un processus de développement qui centralise l’utilisation de modèles à toutes les étapes de la création d’applications. Lors de la phase de conception d’une application, il est commun d’analyser son modèle afin de vérifier sa conformité. L’analyse statistique de modèle est courante, cependant le manque d’informations dynamiques dans les modèles freine la détection d’anomalies tôt dans le cycle de développement. La détection d’anomalies de consommation énergétique tôt dans le cycle de développement est importante, et nécessite d’analyser dynamiquement le modèle. Cette thèse présente deux approches permettant l’analyse dynamiques de modèles. Une première contribution injectes des traces d’exécution au sein de modèles de code source, et une seconde contribution génère une application de surveillance de système cyber-physique, à partir de son modèle de conception. Plusieurs analyses dynamiques sont effectués en se reposant sur ces approches, notamment dans le cadre de l’efficacité énergétique et de l’optimisation des tests de non régression.

Mots-clés : Ingénierie dirigée par les modèles; analyse dynamique; estimation énergétique; systèmes cyber-physiques

Abstract: Model-Driven Engineering (MDE) is a process that promotes models as the central key element for all phases in a software development lifecycle. Improving the quality of a software at design time can be done by performing analysis on the model it is designed with. Performing static analysis on models is extremely common during development phases, however the limited possibilities of dynamic analysis in models prevents early improvements of software and system. This lack of dynamic analysis options is especially important in the context of energy aware software engineering: good design choices must be done early in the development cycle to optimize the energy consumption. In this thesis we propose several approaches for performing dynamic analysis on models. A first contribution injects execution traces into source code model, and a second one generates monitoring application of cyber-physical system based on design model. Several dynamic analysis use-cases for energy-efficiency are presented: either for energy estimation or to lighten the cost of regression testing.

Keywords: Model-Driven Engineering; dynamic analysis; energy estimation; cyber-physical systems; regression test selection