Recherche

J'ai effectué mes recherches en informatique dans le cadre de l'équipe « Systèmes et Informations hétérogènes » du Département Informatique de Supélec sur le thème Modélisation hétérogène et logiciel enfoui.

Voir la liste de mes publications.

Voir également la liste de mes présentations.

Thématique de recherche

Mes travaux de recherche concernaient la modélisation multi-paradigme (aussi appelée modélisation hétérogène).

Cette thématique s’inscrit dans le cadre de l’Ingénierie Dirigée par les Modèles (IDM). Il s’agit de permettre au concepteur d’un système d’utiliser conjointement différents paradigmes de modélisation dans le modèle du système tout en lui permettant d’exploiter automatiquement ce modèle pour différents types d’analyses nécessaires à la phase de conception.

J'ai été impliquée dans le développement et l'implémentation de ModHel'X, un framework de modélisation hétérogène.

Mots clés : modélisation, méta-modélisation, modélisation hétérogène, modélisation multi-paradigme, modélisation multi-formalisme, systèmes embarqués, conception système, ingénierie dirigée par les modèles (Model Driven Engineering - MDE), simulation, exécution de modèles

Encadrement de thèses

• Ayman Dogui, « Modélisation explicite de l'adaptation sémantique entre modèles de calcul », Université Paris-Sud XI et Supélec [soutenue le 18 décembre 2013]
• Daniel Chaves-Café, « Modélisation Multi-paradigme pour la synthèse et la validation de systèmes complexes en environnement multi-physique », Supélec et chaire Thales en conception analogique avancée [soutenue le 10 juillet 2015]
• Rachida Seghiri, « Simulation orientée utilisateur des Systèmes d’Information des SmartGrids à base de modèles par points de vue », EDF, Université Paris-Sud XI et Supélec [soutenue le 4 juillet 2016]

Implication dans la communauté de recherche

J'ai été membre du comité d’organisation du Workshop International on Multi-Paradigm Modeling (MPM), organisé conjointement à la conférence internationale MODELS (ACM/IEEE International Conference on Model Driven Engineering Languages and Systems) tous les ans.

J'ai été membre de l’initiative GEMOC, communauté de chercheurs internationaux travaillant sur l’ingénierie des langages de modélisation.

J'ai été membre du groupe de travail THeSys (Tackling Heterogeneous Systems), qui rassemble des chercheurs du laboratoire LSP (Logiciels pour la Sûreté des Procédés) du CEA-LIST, du Département Informatique de Supélec et du laboratoire MAS (Mathématique Appliquées aux Systèmes) de l'École Centrale Paris pour travailler sur la modélisation des systèmes hétérogènes.

Projets de recherche

Edona (Janvier 2008 — Septembre 2010)

Le projet EDONA (Environnements de Développement Ouverts aux Normes de l'Automobile) a pour objectif de fédérer, intégrer et partager les technologies clés utilisées pour le développement dans l'industrie automobile.

Usine Logicielle (Janvier 2006 — Décembre 2007)

L'objectif du projet Usine Logicielle est la promotion de l'ingénierie logicielle basée sur les modèles, qui permet la standardisation et l'automatisation de la conception, de l'intégration, de la validation et de la maintenance du logiciel embarqué dans les produits de haute technologie (téléphones portables, satellites, voitures…).

Thèse de doctorat

J'ai soutenu ma thèse, intitulée « Composition de modèles pour la modélisation multi-paradigme du comportement des systèmes », le 28 novembre 2008 à Supélec.