Cette habilitation à diriger des recherches présente mes activités de recherches autour de l'application de l'Ingénierie Dirigée par les Modèles (IDM) à la conception de systèmes informatiques. Dans toutes mes recherches, je me suis attaché à modéliser tout ou parties des systèmes, à un niveau d'abstraction élevé, proche du raisonnement humain, puis à automatiser la production des systèmes à partir de ces modèles. Les modèles peuvent décrire aussi bien une solution pour le système que exprimer un problème devant être pris en charge par le système. Les modèles sont conçus de préférence graphiquement, par exemple à l'aide de diagrammes de type UML. Les intérêts recherchés sont multiples : remonter en abstraction et s'affranchir des problèmes techniques de réalisation; augmenter la réutilisation des systèmes conçus; concevoir pour plusieurs cibles technologiques; améliorer la pérennité des systèmes conçus; simplifier la conception ... Cet objectif, rendre les modèles productifs, est simple en apparence, mais a soulevé de nombreux problèmes discutés dans ce mémoire : Comment modéliser le système à produire ? Comment passer du modèle au code du système ? Comment débugger le système produit ? ... Mes recherches m'ont amené à proposer des solutions, et à les mettre en œuvre dans des logiciels aujourd'hui mondialement reconnus et utilisés, comme les Tiles et Papyrus.
soutenue le 01/12/2015
français
English