L'enseignement du langage Grafcet et ses interprétations
Abstract
Dans l'enseignement technologique, l'étude des automatismes industriels occupe une place importante. Les élèves apprennent à se servir d'Automates Programmables Industriels (API) acceptant des programmes « grafcet », dont la spécification graphique est attrayante et claire. Grâce à sa simplicité elle permet de décrire aisément des fonctionnements séquentiels et parallèles. Pourtant, expliquer le fonctionnement d'un système à partir d'un GRAFCET, malgré la présence de règles rigoureuses, n'est pas si évident. Les praticiens savent bien que le transport d'une application d'un automate à un autre n'est pas chose facile, et qu'il arrive que l'on doive retoucher un grafcet en changeant d'automate car ils n'échantillonnent pas les entrées à la même cadence, ou ne suivent pas exactement la même algorithmique.
Une activité importante de notre laboratoire de recherche est centrée autour de la modélisation du comportement du Grafcet et de la vérification de leurs propriétés.
Nous avons mené ces dernières années une action dont le but était de confronter des programmes respectant l'une ou l'autre des interprétations, au fonctionnement concret de maquettes, ainsi que de soumettre au verdict de la réalité, nos outils de preuve de programmes. L'équipe de recherche LIMI a développé un éditeur de GRAFCET et des outils de compilation en divers langages, essentiellement les langages synchrones, ainsi que des outils de preuve. Nous nous sommes donc efforcer de lier la chaîne des outils du LIMI aux maquettes disponibles.
Le but de cet article est de présenter ce travail et de montrer qu'il contribue à l'approche rigoureuse du Grafcet, approche que nous souhaitons promouvoir dès le niveau pré-baccalauréat.
La section 2 rappelle les règles et postulats de base du modèle GRAFCET.
Les deux grandes interprétations du Grafcet et leurs différences sont présentées sur un exemple à la section 3.
La section 4 présente la chaîne de développement du LIMI.
Enfin, la section 5 dresse un bilan du travail effectué et propose quelques perspectives.
Une activité importante de notre laboratoire de recherche est centrée autour de la modélisation du comportement du Grafcet et de la vérification de leurs propriétés.
Nous avons mené ces dernières années une action dont le but était de confronter des programmes respectant l'une ou l'autre des interprétations, au fonctionnement concret de maquettes, ainsi que de soumettre au verdict de la réalité, nos outils de preuve de programmes. L'équipe de recherche LIMI a développé un éditeur de GRAFCET et des outils de compilation en divers langages, essentiellement les langages synchrones, ainsi que des outils de preuve. Nous nous sommes donc efforcer de lier la chaîne des outils du LIMI aux maquettes disponibles.
Le but de cet article est de présenter ce travail et de montrer qu'il contribue à l'approche rigoureuse du Grafcet, approche que nous souhaitons promouvoir dès le niveau pré-baccalauréat.
La section 2 rappelle les règles et postulats de base du modèle GRAFCET.
Les deux grandes interprétations du Grafcet et leurs différences sont présentées sur un exemple à la section 3.
La section 4 présente la chaîne de développement du LIMI.
Enfin, la section 5 dresse un bilan du travail effectué et propose quelques perspectives.
Keywords
Education -- Data processing
Information and communications technology<br />Educational technologies
Education<br />Computer-assisted education
enseignement
formation
informatique
TICE
pédagogie
recherche pédagogique
technologie
enseignement supérieur
enseignement technique industriel
langage de programmation
programmation
robotique
Grafcet (langage)
Signal (langage)
Education et informatique<br />Nouvelles technologies de l'information et de la communication