Institut de Recherche sur les Composants logiciels et matériels pour l’Information et la Communication Avancée - USR 3380 du CNRS


Nos tutelles

Nos partenaires

Rechercher





Accueil

HDR de Dumoulin Cedric

Soutenue le 01-12-2015 10:30 , amphithéâtre de l’IRCICA

"Modéliser pour programmer moins" - " Model to program less"

Résumé : 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 oeuvre dans des logiciels aujourd’hui mondialement reconnus et utilisés, comme les Tiles et Papyrus. Abstract : This report outlines my research activities whose topics is the application of Model Driven Engineering (MDE) to the design of computer systems. In all my researches I have tried to model all or parts of the systems, at a high level of abstraction, close to the human reasoning, and to automate the production of the systems based on these models. The models can describe as well a solution for the system or express a problem to be supported by the system. The models are designed preferably graphically, for example with the help of UML diagrams. The expected gains are multiples : rising in abstraction and get free of technical problems of implementation ; increase reuse of designed systems ; design for several technology targets ; improve the sustainability of designed systems ; simplify design ... This aim, let models be productive, is apparently simple, but it has raised many issues discussed in this report : how to model the system to produce ? How to go from the model to the code of the system ? How to debug the produce model ? ... My researches brought me to propose solutions, and implement them in software today worldwide recognized and used, such as Tiles and Papyrus

Jury hdr:

champ jury these garant
Rapporteurs
Examinateur

Prochaines soutenances      Toutes les thèses...