Ingénierie dirigée par les modèles

Les activités de recherche de l’équipe en Ingénierie Dirigée par les Modèles (IDM) sont orientées sur:
- l’étude des langages de modélisation et leur exécution,
- les techniques de transformations de modèles,
- la gestion de la complexité,
- la production d’analyseurs formels de modèles,
- la conception de processus de développement basés sur les modèles.

En support de cette recherche l’équipe poursuit, depuis plusieurs années, une politique de développement de projets et de contrats industriels, dans le domaine de l’IDM.

Ses travaux s’effectuent en partenariat avec des équipes universitaires et industrielles impliquées et reconnues dans ce domaine. Recherchant toujours les complémentarités avec elles, l’équipe s’est positionnée sur les axes spécifiques des techniques de modélisation et de validation formelle de modèles logiciels que ce soit dans le domaine du développement des systèmes temps réel embarqués que de l’ingénierie système.

Les travaux mettent l’accent sur des études méthodologiques contribuant à améliorer la pénétration des techniques de modélisation et de validation dans les développements industriels et leur intégration dans les processus d'ingénierie logicielle industrielle.

L’équipe IDM est intégrée dans l’équipe d’accueil EA3883-LISYC.