Nos partenaires

CNRS

Rechercher





Accueil du site > Français > Thèmes de recherche > Thème 7 - Sûreté de développement du logiciel > Equipe MACAO > Propositions de stages, thèses et post-doc > Thèses

DSMLs pour les modèles scientifiques (19/01/2015)

Contact : Jean-Michel Bruel

Laboratoire IRIT — Thème 7 — Equipe MACAO

Direction et unité d’accueil

  • Domaine scientifique principal du thème concerné : Informatique
  • Libellé ACI/Programme ou discipline concernée : Génie Logiciel
  • Formation doctorale de rattachement (spécialité) : Informatique
  • Directeur : Jean-Michel Bruel, professeur en Informatique à l’université de Toulouse 2 et/ou Ileana Ober, maître de conférences à l’Université Toulouse 3, Habilitée à Diriger des Recherches
  • Encadrant : Benoît Combemale, maître de conférences à l’IRISA et/ou Ileana Ober, maître de conférences à l’Université Toulouse 3, Habilitée à Diriger des Recherches et Hélène Raynal
  • Lieu géographique : Toulouse / Rennes / Paris

Argumentaire scientifique et description

Le domaine de la modélisation scientifique se rapproche du domaine de l’ingénierie dirigée par les modèles (IDM). Plusieurs raisons à cela : présence quasi généralisée de programmes (de plus en plus complexes) dans les solutions développées, importance de la capitalisation des savoir-faire métiers, maturités des outils d’IDM, généralisation des Domain Specific (Modeling) Languages (DSMLs).

Néanmoins, comme l’a montré de nombreuses exmérimentations, notamment pour ce qui concerne notre équipe une thèse précédente sur le sujet [Palyart2012] et une étude conjointe avec l’INRA [IDM2014], il reste de nombreux verrous technologiques à lever. Entre autres :

  • aspects humain (résistance aux changements, … ?)
  • aspects méthodologiques (parmi les différentes approches possibles pour réaliser un DSML par exemple, commen tirer le meilleur en fonction du contexte)
  • aspects techniques (comment repenser les DSMLs pour qu’ils ne soient pas liés ouinfluencés par les futurs outils sous-jacents de simulation/validation)

Contexte

Nous espérons pouvoir financer cette thèse avec plusieurs sources de financement possibles (voir complémentaires) :

  • Réponse à un appel à bourse de la Maison de la Simulation
  • Appels régions transdisciplinaires
  • Appels trans-régions

Le financement d’un stage de Master Recherche, pour préparer le terrain, pourra être co-financé par les 3 partenaires INRA-INRIA-IRIT.

Références

  • [DEVS] http://fr.wikipedia.org/wiki/Discrete_Event_System_Specification
  • [IDM12] Ingénierie Dirigée par les Modèles : des concepts a la pratique. Jean-Marc Jézéquel, Benoît Combemale, Didier Vojtisek. Ellipses 2012.
  • [Selic07] Selic, B. A systematic approach to domain-specific language design using UML. In Proceedings of the 10th IEEE International Symposium on Object and Component- Oriented Real-Time Distributed Computing (Washington, DC, USA, 2007), ISORC ’07, IEEE Computer Society, pp. 2–9.
  • [Palyart2012] Marc Palyart. "Une approche basée sur les modèles pour le développement d’applications de simulation numérique haute-performance", Thèse de l’université Paul Sabatier, 2012.
  • [IDM2014] http://devlog.cnrs.fr/idm2014