Treffer: An Original Approach for Translating Grafcet into C/Unix Code for Validation Purposes.

This paper proposes an approach to simulate the function of the control part of a Grafcet model, translating it into C code in a Unix environment. First, the Grafcet/C generation schemes are established. The Grafcet model, described in graphic or text form, is transformed in an internal form and then to C code by a generation algorithm based on the previously found diagrams. The result is a program that simulates the operation of the automation in question and makes it possible to validate the functional specifications of sequential automation. This validation can be used for educational purposes, such as the learning of the Grafcet formalism, or corrective or evolutionary maintenance. Once the configuration, testing, and validation of the program are complete, it is possible to implement the object code on the microcontroller of the control system. [ABSTRACT FROM AUTHOR]

Copyright of Engineering, Technology & Applied Science Research is the property of Engineering, Technology & Applied Science Research and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)