GRAFCETbringtS (GRAFCET brought into targeted control System)
Final Report Abstract
Für alle Forschungsfragen und Teilziele des Antrags konnten geeignete Meta-Modelle und Methoden gefunden bzw. erarbeitet werden. Die durchgeführten Arbeiten konnten damit zeigen, dass ein modellgetriebenes Vorgehen (MDSD) für die Realisierung von Steuerungscode auf der Basis von GRAFCET-Spezifikationen sehr gut möglich ist. Diese Eignung von GRAFCET wurde auch seitens eines führenden Steuerungsherstellers (Siemens AG) bestätigt. Für die Vorwärtstransformation existieren bereits auch Werkzeuge, die real große Steuerungsprojekte bewältigen können. Für die Rückführung von im Code vorgenommenen manuellen Änderungen in die Spezifikationsebene wurden zwei Methoden entwickelt, die existierende Eclipse-Werkzeuge nutzen, welche jedoch schlecht skalieren und mit größeren Steuerungsapplikationen bzw. größeren Änderungen nicht umgehen können. Da auf Eclipse-Basis eine rege Entwicklung neuer Werkzeuge zu beobachten ist, besteht die Möglichkeit, dass diese Limitierung künftig überwunden werden kann. Die beiden Meta-Modelle (von GRAFCET und der SPS-Zielsprache ST) bieten den Ausgangspunkt für den Einsatz formaler Methoden zur Sicherstellung gewünschter Eigenschaften der Spezifikation bzw. des Codes. Dies wird künftig im DFG-Projekt „AGRAFE: Analyse von GRAFCET-Spezifikationen zur Erkennung von Entwurfsfehlern“ erforscht werden.
Publications
- Transformation of GRAFCET to PLC code including hierarchical structures. In: Control Engineering Practice 64 (2017), S. 173– 194
R. Julius, M. Schürenberg, F. Schumacher, A. Fay
(See online at https://doi.org/10.1016/j.conengprac.2017.03.012) - Konzept zur bidirektionalen Transformation zwischen GRAFCET-Spezifikationen und IEC 61131-3 Steuerungscode. 15. Fachtagung “Entwurf komplexer Automatisierungssysteme” (EKA), Magdeburg, 2.-3. Mai 2018
R. Julius, A. Fay
- A meta-model based environment for GRAFCET specifications, In: 13th IEEE International Systems Conference (SysCon), Orlando, Florida, USA, 8.-11. April 2019
R. Julius, T. Trenner, J. Neidig, X.-L. Hoang, A. Fay
(See online at https://doi.org/10.1109/SYSCON.2019.8836959) - A model-driven approach for transforming GRAFCET specifications into PLC code, In: 9th IFAC Conference on Manufacturing Modelling, Management and Control (MIM) 2019, Berlin, 28.-30. August 2019
R. Julius, T. Trenner, J. Neidig, A. Fay
(See online at https://doi.org/10.1016/j.ifacol.2019.11.457) - Konzept zur bidirektionalen Transformation zwischen GRAFCET-Spezifikationen und IEC 61131-3 Steuerungscode. In: at – Automatisierungstechnik, Band 67, Heft 3, Seiten 208–217, 2019
R. Julius. V. Fink, S. Uelzen, A. Fay
(See online at https://doi.org/10.1515/auto-2018-0091) - Automatische Generierung von Steuerungscode aus GRAFCET für verteilte Steuerungen. 16. Fachtagung „Entwurf komplexer Automatisierungssysteme“ (EKA), Magdeburg / virtuell, 5.-6. Mai 2020
S. Cordes, V. Fink, A. Fay
