Velo - Vérification pour l'Environnement et le LOgiciel

**Ceci est une ancienne révision du document !**

————– Français ————–

Bonjour à toutes et tous, (english version below)

J'ai le plaisir de vous inviter à ma soutenance de thèse intitulée : « Évaluation de la performance basée sur les langages exécutables spécifiques au domaine ». Cette soutenance se tiendra, le Jeudi 30 avril 2026 à 9h00, et elle aura lieu sur le site de la Faculté des Sciences et des Techniques, dans l'Amphithéâtre Bât 34 du LS2N - 2 rue de la Houssinière 44300 Nantes.

Résumé : L'évaluation précoce des performances repose sur les données de simulation et sur les indicateurs clés de performance (KPI). Les langages exécutables dédiés au domaine (xDSL) sont bien adaptés, car ils permettent la création de modèles générant des traces d'exécution. Cependant, les KPI diffèrent selon les domaines et selon les niveaux d'abstraction, ce qui rend leur gestion difficile. De plus, l'extraction des données de simulation des traces reste complexe, parce qu'elle nécessite une bonne compréhension de la structure de la trace ainsi que des compétences en programmation. Les approches existantes sont limitées à un KPI ou à un domaine, tandis que les outils génériques requièrent une expertise sur l'outil et des compétences en programmation. Dans cette thèse, nous proposons une approche générique multi-niveaux d'évaluation de performance, introduisant trois rôles et leur permettant d'opérer à leur niveau d'abstraction approprié. Notre approche génère et exécute automatiquement des requêtes permettant l'extraction de données des traces. Nous validons la généricité de l'approche à travers des xDSL hétérogènes.

Mots-clés : Langages exécutables spécifiques au domaine, Trace d'exécution, Langage de requête, Indicateurs clés de performance, Systèmes de fabrication reconfigurables.