Published Articles >> Table of Contents >> Abstract

Proceedings of The 26th EUROMICRO Conference (EUROMICRO'00) Volume I-Volume 1   p. 1230
Concurrent Control Systems: From Grafcet to VHDL
Frederic Mallet, Université de Nice Sophia Antipolis
Daniel Gaffe, Université de Nice Sophia Antipolis
Fernand Boeri, Université de Nice Sophia Antipolis

Full Article Text:

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/EURMIC.2000.874637
Send link to a friend

Abstract
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 have to be programmed using a hardware description language. Therefore, 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.
Back to Top Additional Information
Index Terms- Specification, Modelling, GRAFCET, VHDL, programmable components, FPGA Citation:  Frederic Mallet, Daniel Gaffe, Fernand Boeri, "Concurrent Control Systems: From Grafcet to VHDL," euromicro, p. 1230,  Proceedings of The 26th EUROMICRO Conference (EUROMICRO'00) Volume I-Volume 1,  2000