Responsable : Isabel DEMONGODIN




Mots clés : modèles à événements discrets, modèles dynamiques hybrides, réseaux de Petri, DEVS, systèmes en réseaux, modélisation, simulation, vérification, analyse formelle, optimisation


Les travaux de recherche du projet MoFED portent sur le développement de méthodologies de modélisation, d’analyse et de commande de systèmes à dynamiques événementielles. Les DEVS (Discrete Event Specifications), les réseaux de Petri, les automates et les modèles de systèmes en réseaux constituent les paradigmes privilégiés d’étude.

Nous retrouvons dans différents domaines, les mêmes classes de modèles avec des techniques d’analyse plus ou moins différentes, que ce soit dans le domaine de l’informatique, plus précisément dans la spécification et la vérification des systèmes réactifs ou temps-réel, ou dans le domaine de l’automatique et de la productique pour l’étude des systèmes de commande ou l’évaluation de performances. Toute étape de conception ou d’exploitation d’un système dynamique (système informatique ou système automatisé) doit comporter les différentes étapes de spécification, validation et implantation, et doit aussi gérer les contraintes liées à la répartition (partage de ressources) et à la synchronisation (communication). Bien que le choix du ou des modèles dépende du système conçu et de ses propriétés à analyser, il est souvent nécessaire de combiner les modèles et les outils d’analyse afin de déterminer les propriétés tant sur le plan comportemental que structurel.

Dans ce contexte pluridisciplinaire, les méthodes de résolution de problèmes développées dans ce projet sont de nature différente, incluant celles basées sur la simulation et sur les approches analytiques (optimisation, analyse formelle, analyse numérique).

Plus particulièrement, les thèmes développés dans ce projet de recherche concernent :

  • les apports théoriques dans les formalismes à événements discrets (extensions, passerelles, etc.),
  • l’acquisition, la représentation des connaissances et des raisonnements pour la construction de modèles,
  • les architectures conceptuelles de modélisation et de simulation,
  • l’intégration de méthodes de vérification formelle avec celles de simulation,
  • l’analyse et l’optimisation de modèles événementiels de systèmes en réseaux.