Bandeau du Laboratoire d'Informatique & Systèmes (LIS)

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
M. AMMOUR Rabah
Enseignant/Chercheur
rabah.ammour@lis-lab.fr
04 91 05 60 23
Saint-Jérôme, POLYTECH GII, bureau p226
BRAHIMI Ali Doctorant
BRENNER Leonardo Enseignant/Chercheur
M. BRENNER Leonardo
Enseignant/Chercheur
leonardo.brenner@lis-lab.fr
04 91 05 60 12
Saint-Jérôme, POLYTECH GII, bureau P224
DEMONGODIN Isabel Enseignant/Chercheur
Mme DEMONGODIN Isabel
Enseignant/Chercheur
isabel.demongodin@lis-lab.fr
04 91 05 60 77
Saint-Jérôme, POLYTECH GII, bureau P218
FRYDMAN Claudia Enseignant/Chercheur
Mme FRYDMAN Claudia
Enseignant/Chercheur
claudia.frydman@lis-lab.fr
04 91 05 60 54
Saint-Jérôme, POLYTECH GII, bureau P201
GAOUAR Mouna Doctorant
HAGHIGHI Hassan Post-doctorant (ATER)
M. HAGHIGHI Hassan
Post-doctorant (ATER)
hassan.haghighi@lis-lab.fr
Saint-Jérôme, POLYTECH GII
HAMADA khalid Doctorant
M. HAMADA khalid
Doctorant
khalid.hamada@lis-lab.fr
Saint-Jérôme, POLYTECH GII
HAMRI Maâmar El-Amine Enseignant/Chercheur
M. HAMRI Maâmar El-Amine
Enseignant/Chercheur
maamar-el-amine.hamri@lis-lab.fr
04 91 05 60 60
Saint-Jérôme, POLYTECH GII, bureau P208
HSAINI SARA Post-doctorant (ATER)
Mme HSAINI SARA
Post-doctorant (ATER)
sara.hsaini@lis-lab.fr
Saint-Jérôme, POLYTECH GII
KIEU Thi Phuong Ingénieur/Technicien
SADDEM Rim Enseignant/Chercheur
Mme SADDEM Rim
Enseignant/Chercheur
rim.saddem@lis-lab.fr
Saint-Jérôme, POLYTECH GII
TORRES Lucile Enseignant/Chercheur
Mme TORRES Lucile
Enseignant/Chercheur
lucile.torres@lis-lab.fr
04 91 05 60 60
Saint-Jérôme, POLYTECH GII

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.

Logiciels

Fwkdevs : https://pageperso.lis-lab.fr/maamar-el-amine.hamri/fwkdevs.html

Simuleau : https://gitlab.lis-lab.fr/leonardo.brenner/simuleau

Publications de l’équipe

voir les publications