Ce groupe, ouvert à tous les membres du club EEA, se réunit 6 à 7 fois par an (Calendrier des réunions). Il a pour but de fournir un cadre d'échange aux enseignants-chercheurs et chercheurs s'intéressant aux langages, outils, modèles, ... utilisés pour les phases de conception détaillée et d'implantation en machine de la commande des Systèmes à Evénements Discrets.
Ces phases de conception détaillée et d'implantation font apparaître différentes activités :
- Conception d'un modèle du comportement attendu. Ce modèle décrit la manière dont le système de commande génère les événements de sortie en réponse aux événements d'entrée. Il utilise un langage reposant sur une machine à états (grafcet, state-charts, réseaux de Petri de commande, ...) et faisant appel à des hypothèses de modélisation simplificatrices (temps logique, commande centralisée, synchronisme, ...). Une fois construit, il importe de vérifier que ce modèle possède les propriétés de sûreté et de vivacité fixé par les spécifications.
- Choix de l'architecture matérielle. Cette architecture est constituée par exemple d'automates programmables et/ou de cartes processeurs reliés par des réseaux, des bus. Un choix raisonné d'architecture implique l'évaluation des différentes solutions envisageables.
- Implantation de la commande. Elle consiste en une projection du modèle de comportement sur l'architecture matérielle ; le résultat est l'architecture opérationnelle. En pratique il s'agit alors de développer à l'aide d'un ou plusieurs langages d'automatisme les programmes qui seront exécutés par les différents processeurs de l'architecture matérielle sous le contrôle d'exécutifs temps réel. Bien évidemment la vérification des propriétés de sûreté, de vivacité et de célérité, correctement formalisées, de chacun de ces programmes ainsi que de l'ensemble de l'architecture opérationnelle doit succéder au développement proprement dit.
Il existe au niveau national et international des résultats significatifs de travaux de recherche visant à améliorer l'une ou l'autre de ces activités. On peut toutefois constater que peu de travaux considèrent l'ensemble des phases de conception détaillée et d'implantation. Il en résulte donc des discontinuités entre les modèles et techniques utilisés ; par exemple, la vérification d'une propriété de sûreté sur un modèle de conception avec un temps logique ne permet pas a priori d'affirmer quoi que ce soit sur le respect de cette propriété par le programme correspondant. Ces discontinuités sont dommageables aussi bien pour le développement de travaux de recherche que pour leur application industrielle.
Le but du groupe Commande Opérationnelle des Systèmes à Evénements Discrets est donc de contribuer au développement et à la diffusion de travaux scientifiques permettant d'améliorer la sûreté de fonctionnement des architectures opérationnelles de commande de SED en agissant tant au niveau de chacune des activités effectuées lors de la conception détaillée et de l'implantation qu'en établissant des liens entre les modèles et techniques utilisés pour ces différentes activités.
Notre domaine de recherche relevant des SPI, nous incluons dans nos réflexions les problématiques industrielles, les domaines d'application privilégiés étant les systèmes automatisés de production et les systèmes embarqués.
Pour plus d'informations, n'hésitez par à contacter l'équipe d'animation :
- Charles ANDRE (I3S, Nice)
- Pascal BERRUET (LESTER, UBS Lorient)
- Véronique CARRE-MENETRIER (LAM, URCA Reims)
- Nathalie DANGOUMAU (LAIL, Ecole Centrale Lille)
- Patrice DELANCHY (LINA, IUT d'Angers)
- Jean-Bernard DELUCHE (Faculté des Sciences, Limoges)
- Jacques DUPONT
- Jean-Marc Faure (LURPA, ENS de Cachan)
- Yves FOUSSARD
- Daniel GAFFE (I3S, Nice)
- François GELLOT (LAM, URCA Reims)
- Dominique GENDREAU (IUP, UFC Besançon)
- Asma GHAFFARI (MACSI, INRIA Lorraine)
- Abdallah GHARIANI (LAIL, Ecole Centrale Lille)
- Alain GODON (LISA, Angers)
- Alexia GOUIN (LAG, Grenoble)
- Guillaume GOUSSET (LURPA, ENS de Cachan)
- David GOUYON (CRAN-GSIP, Nancy)
- Olivier GRABINSKI (LURPA, ENS de Cachan)
- Nadia HAMANI (LAIL, Ecole Centrale Lille)
- Joël HANCQ (TCTS, Faculté Polytechnique de MONS)
- Fernando JIMENEZ-FRAUSTRO (IRISA)
- Jean-Jacques LESAGE (LURPA, ENS de Cachan)
- Lionel MARCE (LIMI, UBO Brest)
- Antonio MEDINA (LURPA, ENS de Cachan)
- José MENDES MACHADO (Université de Minho, Portugal)
- Laurent NANA TCHAMNDA (LIMI, UBO Brest)
- Eric NIEL (LAI, INSA de Lyon)
- Jean-François PETIN (CRAN-GSIP, Nancy)
- Alexandre PHILIPPOT (LAM, URCA Reims)
- Laurent PIETRAC (LAI, INSA de Lyon)
- Jean-Marc ROUSSEL (LURPA, ENS de Cachan)
- Eric RUTTEN (INRIA Grenoble)
- Camille SCHNAKENBOURG (LURPA, ENS de Cachan)
- Abdelouahed TAJER (LAM, URCA Reims)
- Armand TOGUYENI (LAIL, Ecole Centrale Lille)
- Jean VAREILLE (LIMI, UBO Brest)
- Janan ZAYTOON (LAM, URCA Reims)
J.M. Page créée le 18 août 2000, modifiée le 25 avril 2003