From Algebraic Synthesis and GRAFCET to Logical Controller Design in ST Code (IEC 61131-3)
Résumé
This paper addresses the problem of logic controller synthesis and the automatic generation of code compliant with the IEC 61131-3 standard, specifically Structured Text (ST) code. From a methodological perspective, two complementary approaches can be used to tackle this problem. The extensional approach explicitly represents the solution using models such as GRAFCET or Petri nets. In contrast, the intensional approach defines the solution space through a set of rules or constraints, without enumerating all possible solutions. Among intensional techniques, algebraic synthesis stands out as a formal method to derive controllers from specifications. We argue that combining extensional and intensional approaches leads to more efficient and robust controller design. To this end, we propose a hybrid workflow that integrates an extensional model (GRAFCET) with an intensional method (algebraic synthesis), enabling the automatic generation of IEC 61131-3 ST code. To support this workflow, we have developed two software tools: GReSTIC, for code generation and simulation, and BooG, for the algebraic synthesis and fusion of the two approaches. The proposed methodology is validated through a case study, demonstrating the automatic generation of reliable and standard-compliant ST code.
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |