Ingénierie des langages, ingénierie des modèles : vers une intégration

Contexte

Le candidat mènera des travaux de R&D dans le cadre du projet européen OPEES, en interaction constante avec des chercheurs, dans le domaine de l'ingénierie des modèles. Le but général du projet OPEES étant "to build a community able to ensure long-term availability of innovative engineering technologies in the domain of software-intensive embedded systems".

Objectifs

Le travail consistera à consolider la version 2 du compilateur Kermeta vers Scala [1] et d’y intégrer des concepts avancés de l’ingénierie dirigée par les modèles tel que le typage de modèles [2].

Le candidat mènera des travaux de R&D dans le cadre du projet européen OPEES, en interaction constante avec des chercheurs, dans le domaine de l'ingénierie des modèles. Le but général du projet OPEES étant "to build a community able to ensure long-term availability of innovative engineering technologies in the domain of software-intensive embedded systems".

Le candidat mènera également des travaux de recherche visant à comparer les solutions proposés par différentes communautés (MDE, Scala…) pour la construction de langages dédiés et de leurs environnements. Les cas d’études servant à mener cette comparaison seront pris dans le cadre du projet OPEES.

Le candidat participera aux activités de conception, et aura en charge le développement des logiciels, leur intégration, leur test et leur documentation, ainsi que la gestion et le suivi du projet OPESS du point de vue de Triskell.

Compétences requises

• Connaissances en Ingénierie Dirigée par les Modèles (IDM) et bonne pratique des outils de la plateforme Eclipse supportant l’IDM (e.g., Kermeta, Topcased).
• Compétences en génie logiciel, en programmation orientée objet (e.g. Java) et dans la mise en œuvre de patrons de conception (une connaissance de Scala serait un plus).
• Détenir un Doctorat en Informatique (une spécialité en Génie Logiciel serait un plus).
• Avoir un bon niveau en anglais et des qualités relationnelles.

Environnement de travail

• Laboratoire et équipe d’accueil:
• IRISA-INRIA Rennes, EPI Triskell (Campus de Beaulieu, Université de Rennes 1, France)

• Responsable scientifique:
• Jean-Marc Jézéquel (jezequel@irisa.fr)

• Encadrants:
• Olivier Barais (olivier.barais@irisa.fr)
• Benoît Combemale (benoit.combemale@irisa.fr)

Réferences

[1] http://www.irisa.fr/triskell/perso_pro/obarais/uploads/Main/scalaDaysFouquet.pdf

[2] Jim Steel and Jean-Marc Jézéquel. On model typing. Journal of Software and Systems Modeling (SoSyM), 6(4):401--414, December 2007.