MOFED : Modèles et Formalismes à Evénements Discrets

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

 

Responsable / Co-responsable
Isabel DEMONGODIN / Maamar El-Amine HAMRI

 
Membres

AMMOUR Rabah  Enseignant-Chercheur / Chercheur
AYADI Ali  Post-Docs / ATER / Ingenieurs
BRENNER Leonardo  Enseignant-Chercheur / Chercheur
DEMONGODIN Isabel  Enseignant-Chercheur / Chercheur
FRYDMAN Claudia  Enseignant-Chercheur / Chercheur
GIUA Alessandro  Enseignant-Chercheur / Chercheur
HAMRI Maamar El-Amine  Enseignant-Chercheur / Chercheur
KHEMIRI Abdelhak  Doctorant
LIU Ruotian  Doctorant

 

Objectif scientifique

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.

 

Publications récentes de l’équipe



documents