Concurrent control system: from Grafcet to VHDL - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2000

Concurrent control system: from Grafcet to VHDL

Résumé

The Automated Production Systems (APS) are composed of concurrent interacting entities. Then any model should exhibit parallel and sequential behaviours. The Grafcet is now well established in manufacturing to specify the awaited behaviour of the APS. Moreover, programmable components increase modularity and allow a higher integration rate of circuits. This paper intends to study the hardware implementation of a Grafcet specification into such a component. Those components has to be programmed using an hardware description language. So we focus on inherent problems of such an approach and we study different kinds of possible solutions to automatically translate a Grafcet specification into a VHDL program. In particular, we introduce a solution based on synchronous language works about symbolic research of stability states. This compiler only accepts the stable grafcets. In addition to automatically generate a VHDL code, this solution provides some way to check some safety properties on Grafcet.
Fichier principal
Vignette du fichier
euromicro00.pdf (30.99 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00973434 , version 1 (23-04-2019)

Identifiants

Citer

Frédéric Mallet, Daniel Gaffé, Fernand Boéri. Concurrent control system: from Grafcet to VHDL. Euromicro 2000, Sep 2000, Maastricht, Netherlands. pp.230-234, ⟨10.1109/eurmic.2000.874637⟩. ⟨hal-00973434⟩
252 Consultations
206 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More