Deux sujets sont proposés pour la rentrée 2013 :
Modélisation multi-vues
Sujet de thèse : Une approche multi-vues pour la modélisation conjointe des aspects d'un système.
Directeur de thèse : Frédéric Boulanger, frederic.boulanger@supelec.fr
Équipe d'accueil : Supélec E3S, EA 4454
Descriptif et apport du travail de thèse :
Contexte de la recherche
L'équipe « Modélisation et validation de systèmes hétérogènes » du département informatique de Supélec travaille sur la modélisation multi-paradigme des systèmes dans le cadre de l'ingénierie dirigée par les modèles et sur la validation du comportement de ces modèles. Elle est impliquée dans plusieurs projets ANR ainsi que dans des projets du pôle de compétitivité System@tic, et est membre affilié du NoE Artist2. Elle est partie prenante de l'initiative Gemoc dont l'objectif est de définir des methodes et des outils permettant de définir les langages de modélisation de façon collaborative, interopérable et composable.
Références
Benoît Combemale, Cécile Hardebolle, Christophe Jacquet, Frédéric Boulanger, Benoît Baudry
Bridging the Chasm between Executable Metamodeling and Models of Computation
Software Language Engineering, 5th International Conference SLE 2012, Revised and Selected Papers
February 2013, Krzysztof Czarnecki and Goerel Hedin editors, pages 184-203
http://wwwdi.supelec.fr/fb/publis/2012BridgingTheChasm.pdf
Marc Aiguier, Frédéric Boulanger, Bilal Kanso
A formal abstract framework for modeling and testing complex software systems
Theoretical Computer Science, vol. 455, October 2012
http://dx.doi.org/10.1016/j.tcs.2011.12.072
Frédéric Boulanger, Cécile Hardebolle, Christophe Jacquet, Dominique Marcadet
Semantic Adaptation for Models of Computations
Proceedings of the 11th International Conference on Application of Concurrency
to System Design
2011, Benoît Caillaud, Josep Carmona, Kunihiko Hiraishi editors, IEEE Computer Society, pages 153-162
http://wwwdi.supelec.fr/fb/publis/2011ACSDSemAdapt.pdf
Frédéric Boulanger, Christophe Jacquet, Cécile Hardebolle, Elyes Rouis
Modeling Heterogeneous Points of View with ModHel'X
Models in Software Engineering: Workshops and Symposia at MoDELS 2009, Denver, CO, USA
Reports and Revised Selected Papers, Sudipto Ghosh editor, 2010, Springer-Verlag, pages 310-324
http://wwwdi.supelec.fr/fb/publis/2010MultiViewModels.pdf
Bref descriptif scientifique et pré-requis
L'ingénierie dirigée par les modèles met l'accent sur l'utilisation de modèles pour la conception et la validation de systèmes. La modélisation multi-paradigmes permet d'utiliser conjointement plusieurs paradigmes de modélisation pour décrire un système, ce qui est indispensable pour disposer d'un modèle global du système malgré les différents métiers en jeu, les différents formalismes utilisés à différentes phases de la conception et les différents aspects à considérer pour le système.
Dans cette thèse, nous nous intéressons à ce dernier point : la modélisation conjointe des différents aspects d'un système. En effet, la correction fonctionnelle d'un modèle n'est en général pas suffisante pour garantir que l'on aboutira à un système qui satisfasse ses spécifications. Des aspects tels que la consommation d'énergie, le temps de calcul, l'empreinte mémoire, la sûreté de fonctionnement peuvent être des critères de validité aussi importants que la correction fonctionnelle. S'il existe des techniques de modélisation qui permettent de prendre en compte les aspects non fonctionnels d'un système, le problème du maintien de la cohérence des différents modèles relatifs aux aspects d'un même système est ouvert.
Le but de cette thèse est de proposer une méthodologie et des outils pour concevoir et faire évoluer conjointement les modèles des aspects d'un système au cours de sa conception, chacun de ces modèles étant considéré comme une vue sur le système.
Une première partie consistera en l'étude des approches de modélisation multi-vues existantes. On cherchera ensuite à généraliser ces méthodes afin d'obtenir une approche multi-vues qui puisse être utilisée avec n'importe quels modèles de calcul. Cette phase s'appuiera sur la description des modèles de calcul selon l'approche développée dans notre équipe. Une dernière phase permettra de valider l'approche obtenue dans le framework de modélisation hétérogène ModHel'X conçu au cours d'une précédente thèse dans notre équipe.
Pré-requis : M2 en informatique ou diplôme équivalent
Compétences acquises lors du travail de thèse
Ce travail de thèse permettra au candidat d'acquérir une connaissance fine des différents types de modèles utilisés pour la conception de systèmes et des relations qui existent entre eux. En abordant différents paradigmes de modélisation, il découvrira les aspects transverses aux différents métiers, ce qui lui permettra d'apporter son expertise dans des contextes très variés. Cette culture générale dans le domaine de la modélisation sera doublée d'une bonne connaissance des pratiques et des outils utilisés dans le domaine de la modélisation dirigée par les modèles. Le candidat sera bien sûr amené à participer à des écoles d'été, à présenter ses travaux dans des conférences internationales, et éventuellement à inscrire son travail de thèse dans le cadre d'un projet de recherche financée.
Définition modulaire des langages de modélisation
Sujet de thèse : Définition modulaire et composable de langages de modélisation
Directeur de thèse : Frédéric Boulanger, frederic.boulanger@supelec.fr
Équipe d'accueil : Supélec E3S, EA 4454
Descriptif et apport du travail de thèse :
Contexte de la recherche
L'équipe « Modélisation et validation de systèmes hétérogènes » du département informatique de Supélec travaille sur la modélisation multi-paradigme des systèmes dans le cadre de l'ingénierie dirigée par les modèles et sur la validation du comportement de ces modèles. Elle est impliquée dans plusieurs projets ANR ainsi que dans des projets du pôle de compétitivité System@tic, et est membre affilié du NoE Artist2. Elle est partie prenante de l'initiative Gemoc dont l'objectif est de définir des methodes et des outils permettant de définir les langages de modélisation de façon collaborative, interopérable et composable.
Références
Benoît Combemale, Cécile Hardebolle, Christophe Jacquet, Frédéric Boulanger, Benoît Baudry
Bridging the Chasm between Executable Metamodeling and Models of Computation
Software Language Engineering, 5th International Conference SLE 2012, Revised and Selected Papers
February 2013, Krzysztof Czarnecki and Goerel Hedin editors, pages 184-203
http://wwwdi.supelec.fr/fb/publis/2012BridgingTheChasm.pdf
Marc Aiguier, Frédéric Boulanger, Bilal Kanso
A formal abstract framework for modeling and testing complex software systems
Theoretical Computer Science, vol. 455, October 2012
http://dx.doi.org/10.1016/j.tcs.2011.12.072
Frédéric Boulanger, Cécile Hardebolle, Christophe Jacquet, Dominique Marcadet
Semantic Adaptation for Models of Computations
Proceedings of the 11th International Conference on Application of Concurrency
to System Design
2011, Benoît Caillaud, Josep Carmona, Kunihiko Hiraishi editors, IEEE Computer Society, pages 153-162
http://wwwdi.supelec.fr/fb/publis/2011ACSDSemAdapt.pdf
Frédéric Boulanger, Christophe Jacquet, Cécile Hardebolle, Elyes Rouis
Modeling Heterogeneous Points of View with ModHel'X
Models in Software Engineering: Workshops and Symposia at MoDELS 2009, Denver, CO, USA
Reports and Revised Selected Papers, Sudipto Ghosh editor, 2010, Springer-Verlag, pages 310-324
http://wwwdi.supelec.fr/fb/publis/2010MultiViewModels.pdf
Bref descriptif scientifique et pré-requis
L'ingénierie dirigée par les modèles met l'accent sur l'utilisation de modèles pour la conception et la validation de systèmes. La modélisation multi-paradigmes permet d'utiliser conjointement plusieurs paradigmes de modélisation pour décrire un système, ce qui est indispensable pour disposer d'un modèle global du système malgré les différents métiers en jeu, les différents formalismes utilisés à différentes phases de la conception et les différents aspects à considérer pour le système.
Dans cette thèse, nous nous intéressons à la définition des langages de modélisation, qui comporte deux aspects principaux : la syntaxe et la sémantique. De nombreux outils existent pour traiter l'aspect syntaxique d'un langage. Au contraire, la définition de sa sémantique dispose de peu d'outils et demeure une tâche délicate. Afin de rentabiliser l'effort de conception des différents aspects d'un langage de modélisation (par exemple, le traitement des données, les structures de contrôle, le traitement du temps), notre objectif est de définir un cadre qui autorise la définition modulaire de ces différents aspects, et leur réutilisation dans différents langages.
Une première partie consistera en l'étude des approches existantes pour la définition des langages de modélisation, tant du point de vue syntaxique que sémantique. On cherchera ensuite à identifier les concepts qui permettent d'articuler les différents aspects d'un langage de modélisation afin d'en permettre une définition modulaire. Enfin, on cherchera à étendre les mécanismes de composition des différents aspects d'un langage afin d'aborder la composition de langages de modélisation. Une dernière phase permettra de valider l'approche obtenue en l'appliquant à au moins deux DSLs dans le cadre de l'initiative Gemoc.
Pré-requis : M2 en informatique ou diplôme équivalent
Compétences acquises lors du travail de thèse
Ce travail de thèse permettra au candidat d'acquérir une connaissance fine des différents types de modèles utilisés pour la conception de systèmes et des relations qui existent entre eux. En abordant différents paradigmes de modélisation, il découvrira les aspects transverses aux différents métiers, ce qui lui permettra d'apporter son expertise dans des contextes très variés. Cette culture générale dans le domaine de la modélisation sera doublée d'une bonne connaissance des pratiques et des outils utilisés dans le domaine de la modélisation dirigée par les modèles. Le candidat sera bien sûr amené à participer à des écoles d'été, à présenter ses travaux dans des conférences internationales, et éventuellement à inscrire son travail de thèse dans le cadre d'un projet de recherche financée.