An Original Approach for Translating Grafcet into C/Unix Code for Validation Purposes
Received: 19 September 2022 | Revised: 3 October 2022 | Accepted: 6 October 2022 | Online: 12 October 2022
Corresponding author: N. Benaouda
Abstract
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.
Keywords:
C/Unix, Grafcet, process, sequential automationDownloads
References
O. A. Adebimpe, V. Oladokun, and O. E. Charles-Owaba, "Preventive Maintenance Interval Prediction: a Spare Parts Inventory Cost and Lost Earning Based Model," Engineering, Technology & Applied Science Research, vol. 5, no. 3, pp. 811–817, Jun. 2015. DOI: https://doi.org/10.48084/etasr.565
L. S. Tavassoli, N. Sakhavand, and S. S. Fazeli, "Integrated Preventive Maintenance Scheduling Model with Redundancy for Cutting Tools on a Single Machine," Engineering, Technology & Applied Science Research, vol. 10, no. 6, pp. 6542–6548, Dec. 2020. DOI: https://doi.org/10.48084/etasr.3903
M. A. Munir, M. A. Zaheer, M. Haider, M. Z. Rafique, M. A. Rasool, and M. S. Amjad, "Problems and Barriers Affecting Total Productive Maintenance Implementation," Engineering, Technology & Applied Science Research, vol. 9, no. 5, pp. 4818–4823, Oct. 2019. DOI: https://doi.org/10.48084/etasr.3082
B. M, Comprendre Maîtriser Et Appliquer Le Grafcet. Toulouse, France: Éditions Cépaduès, 2005.
Reeb Bernard, Développement des grafcets : des machines simples aux cellules flexibles, du cahier des charges à la programmation / Bernard Reeb, Nouvelle édition. Paris, France: Ellipses, 2011.
Z.Remaki, J. F. Ponsignon, M. Nekkache, "Schémas de traduction grafcet Occam2", presented at the 3rd Maghreb Congress on Artificial Intelligence and Software Engineering, Rabat, Morocco, 1994.
E. González, R. Marichal, and A. Hamilton, "Ontology-based approach to Basic Grafcet formalization," Journal of the Chinese Institute of Engineers, vol. 39, no. 8, pp. 946–953, Nov. 2016. DOI: https://doi.org/10.1080/02533839.2016.1215939
O. Miguel-Escrig, J.-A. Romero-Pérez, B. Wiesmayr, and A. Zoitl, "Distributed implementation of Grafcets through IEC 61499," in 2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Vienna, Austria, Sep. 2020, vol. 1, pp. 402–409. DOI: https://doi.org/10.1109/ETFA46521.2020.9212087
W. Stevens and S. Rago, Advanced Programming in the UNIX Environment, 3rd Edition, 3rd edition. Upper Saddle River, New Jersey: Addison-Wesley Professional, 2013.
Nacéra Benaouda and Abdelhafid Benaouda, "Translating Grafcet Specifications into C/Unix Program," presented at the IADIS International Conference Information Systems 2021, 2021, pp. 209–217.
M. Raynal, Concurrent Programming: Algorithms, Principles, and Foundations. Springer, 2013. DOI: https://doi.org/10.1007/978-3-642-32027-9
Downloads
How to Cite
License
Copyright (c) 2022 N. Benaouda, A. Benaouda
This work is licensed under a Creative Commons Attribution 4.0 International License.
Authors who publish with this journal agree to the following terms:
- Authors retain the copyright and grant the journal the right of first publication with the work simultaneously licensed under a Creative Commons Attribution License that allows others to share the work with an acknowledgement of the work's authorship and initial publication in this journal.
- Authors are able to enter into separate, additional contractual arrangements for the non-exclusive distribution of the journal's published version of the work (e.g., post it to an institutional repository or publish it in a book), with an acknowledgement of its initial publication in this journal.
- Authors are permitted and encouraged to post their work online (e.g., in institutional repositories or on their website) after its publication in ETASR with an acknowledgement of its initial publication in this journal.
