Академический Документы
Профессиональный Документы
Культура Документы
1 - Historique
En 1975, un groupe duniversitaires et industriels de la section "Systmes Logiques" de lAFCET (Association Franaise de Cyberntique Economique et Technique) se sont fixs lobjectif de dfinir un formalisme adapt la reprsentation des volutions squentielles dun systme et ayant les caractristiques suivantes :
Simple; Accept par tous; Intelligible la fois par les concepteurs et les exploitants; Fournissant potentiellement des facilits de passage une ralisation, base matrielle et/ou logicielle de lautomatisme ainsi spcifi.
Au dbut, le travail consista dresser un tat de lart des diffrentes approches de modlisation du comportement de tels automatismes. Trois grandes classes doutils de modlisation furent ainsi recenses :
Lanalyse des avantages et inconvnients de ces outils mena, en 1977, la dfinition du GRAFCET, ainsi nomm pour, la fois marquer lorigine de ce nouvel outil de modlisation AFCET et son identit GRAphe Fonctionnel de Commande EtapesTransitions). Les rsultats de ces travaux firent lobjet dune publication officielle dans la revue Automatique et Informatique Industrielle en dcembre 1977, date que la communaut considre aujourdhui comme correspondant la date de naissance effective du GRAFCET.
2 - Dfinition
Le GRAFCET (GRAphe Fonctionnel de Commande par Etapes et Transitions) ou SFC (Sequential Fonction Chart) est un outil graphique qui dcrit les diffrents comportements de l'volution d'un automatisme et tablit une correspondance caractre squentiel et combinatoire entre :
Les ENTREES, c'est--dire les transferts d'informations de la Partie Oprative vers la Partie Commande, Les SORTIES, transferts d'informations de la Partie Commande vers la Partie Oprative.
Cest un outil graphique puissant, directement exploitable, car cest aussi un langage pour la plupart des API existants sur le march. Lorsque le mot GRAFCET (en lettre capitale) est utilis, il fait rfrence loutil de modlisation. Lorsque le mot grafcet est crit en minuscule, il fait alors rfrence un modle obtenu laide des rgles du GRAFCET. (Exemple : Jai utilis le GRAFCET pour concevoir cette machine, jette un coup dil sur le grafcet de scurit et dit moi ce que tu pense) Le GRAFCET comprend :
des tapes associes des actions ; des transitions associes des rceptivits ; des liaisons orientes reliant tapes et transitions.
3 - Description du GRAFCET
La description du comportement attendu d'un automatisme peut se reprsenter par un GRAFCET d'un certain niveau . La caractrisation du niveau du GRAFCET ncessite de prendre en compte trois dimensions :
Le point de vue , caractrisant le point de vue selon lequel un observateur s'implique dans le fonctionnement du systme pour en donner une description. On distingue trois points de vue : o Un point de vue systme , o Un point de vue Partie Oprative , o Un point de vue Partie Commande . La spcifications, caractrisant la nature des spcifications techniques auxquelles doit satisfaire la Partie Commande. On distingue trois groupes de spcifications : o Spcifications fonctionnelles, o Spcifications technologiques, o Spcifications oprationnelles. La finesse, caractrisant le niveau de dtail dans la description du fonctionnement, d'un niveau global (ou macro-reprsentation) jusqu'au niveau de dtail complet o toutes les actions et informations lmentaires sont prises en compte.
4.3 - Transition
Une transition indique la possibilit dvolution qui existe entre deux tapes et donc la succession de deux activits dans la partie oprative. Lors de son franchissement, elle va permettre lvolution du systme. A chaque transition est associe une condition logique appele rceptivit qui exprime la condition ncessaire pour passer dune tape une autre.
La rceptivit qui est une information d'entre qui est fournie par :
l'oprateur : pupitre de commande, la partie oprative : tats des capteurs, du temps, d'un comptage ou tout opration logique, arithmtique... du grafcets : d'autres grafcet pour la liaison entre grafcets ou de ltat courant des tapes du grafcet (les Xi), d'autres systmes : dialogue entre systmes, .....
Remarque: Si la rceptivit nest pas prcise, alors cela signifie quelle est toujours vraie. (=1)
L'ordre est mis, de faon continue, tant que l'tape, laquelle il est associ, est active. 4.3.2 - Actions conditionnelles:
Une action conditionnelle nest excute que si ltape associe est active et si la condition associe est vraie. Elles peuvent tre dcomposes en 3 cas particuliers:
4.3.2.1 - Action conditionnelle simple : Type C
Le temps intervient dans cet ordre conditionnel comme condition logique. L'indication du temps s'effectue par la notation gnrale " t / xi / q " dans laquelle "xi" indique l'tape prise comme origine du temps et "q" est la dure du retard.
Exemple : "t /x6/ 5s" : prendra la valeur logique 1, 5s aprs la dernire activation de l'tape 6.
4.3.2.2 - Action de dure limite: Type L (limited)
L'ordre est mis ds l'activation de l'tape laquelle il est associ ; mais la dure de cet ordre sera limite une valeur spcifie.
4.3.3 - Action maintenue sur plusieurs tapes: Afin de maintenir la continuit d'une action sur plusieurs tapes, il est possible de rpter l'ordre continu relatif cette action, dans toutes les tapes concernes ou d'utiliser une description sous forme de squences simultanes (Les squences simultanes seront traites ultrieurement ).
4.3.4 - Action mmorise : Le maintien d'un ordre, sur la dure d'activation de plusieurs tapes conscutives, peut galement tre obtenu par la mmorisation de l'action, obtenue par l'utilisation d'une fonction auxiliaire appele fonction mmoire.
Si les deux conditions a et d sont 1 simultanment, les tapes 2 et 4 vont devenir actives simultanment, situation non voulue par le concepteur. Donnc elle doivent tre des conditions exclusives
6.4 - Paralllisme entre deux ou plusieurs squences (ou squences simultanes ou divergenceconvergence en ET) :
Au contraire de laiguillage o ne peut se drouler quune seule activit la fois, On dit qu'on se trouve en prsence d'un paralllisme structurel, si plusieurs activits indpendantes pouvant se drouler en parallle. Le dbut d'une divergence en ET et la fin d'une convergence en ET d'un paralllisme structurel sont reprsents par deux traits parallles.
La synchronisation permet dattendre la fin de plusieurs activits se droulant en parallle, pour continuer par une seule.
L'tape immdiatement prcdente soit active ; La rceptivit immdiatement prcdente soit vraie ; L'tape immdiatement suivante soit non active ; Aprs activation l'tape mmorise son tat.
9 - Ressources et rfrences :
Automates Programmables Industriels Mr L. BERGOUGNOUX (POLYTECH Marseille 20042005) Serveur GRAFCET Cours GRAFCET Mr Robert Valette