Analyse von GRAFCET-Spezifikationen zur Erkennung von Entwurfsfehlern (AGRAFE 2)

• Antragsteller: Professor Dr.-Ing. Alexander Fay; Professor Dr.-Ing. Stefan Kowalewski
• Fachliche Zuordnung: Automatisierungstechnik, Mechatronik, Regelungssysteme, Intelligente Technische Systeme, Robotik
• Förderung: Förderung seit 2020
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 445866207

GRAFCET ist ein graphisches Beschreibungsmittel zur Spezifikation von Steuerungsabläufen, die damit technologieunabhängig in Form von Schrittketten spezifiziert werden können. GRAFCET ist insbesondere in Frankreich weit verbreitet und wird auch in Deutschland immer bekannter, auch weil GRAFCET seit mehreren Jahren Pflichtanteil der beruflichen Ausbildung von Mechatronikern ist. In dem Vorgängerprojekt AGRAFE wurden – neben der Vervollständigung eines Metamodells und eines Code-Generators für IEC 61131-3 Steuerungscode – Methoden im Bereich des Model Checkings und der statischen Analyse entwickelt, die zur Erkennung von Entwurfsfehlern bei GRAFCET eingesetzt werden können. Ziel des beantragten Forschungsprojektes ist, diese Analyse weiter zu verbessern. Während der Bearbeitung von AGRAFE hat sich gezeigt, dass beide Ansätze – statische Analyse und Model Checking – für sich genommen geeignet sind, um jeweils verschiedene Arten von Fehlern zu identifizieren, sodass die Ansätze nun miteinander kombiniert werden sollen, um die jeweiligen Stärken ausnutzen zu können. Beim Model Checking hat sich ergeben, dass auch bei GRAFCET die Zustandsraumexplosion ein wesentliches Problem ist, die dazu führt, dass die Analyse von GRAFCET-Spezifikationen von industrieller Größenordnung nicht mit angemessenem Ressourcenaufwand möglich ist. Jedoch haben erste Ergebnisse aus AGRAFE gezeigt, dass das Einbinden von weiteren Informationen aus Steuerung und Steuerstrecke diesem Problem entgegenwirken kann. Das erste Forschungsziel ist daher die Einbeziehung von Streckeninformationen in die Analyse, um die Zustandsraumexplosion zu reduzieren und um die Analyseergebnisse zu verbessern. Neben Informationen aus der Strecke können aber auch Informationen aus den GRAFCET-Spezifikationen genutzt werden, die mittels der statischen Analyse gewonnen werden. So ist das zweite Forschungsziel, der Zustandsraumexplosion entgegenzuwirken, indem Informationen aus der statischen Analyse genutzt werden. So können beispielsweise für die jeweils zu analysierende Eigenschaft irrelevante Informationen aus dem Zustandsraum wegabstrahiert werden Das dritte Forschungsziel betrifft die automatische Generierung von Anfragen, die während des Model Checkings ausgewertet werden sollen. In der Praxis müssen diese Anfragen in Temporallogik formalisiert werden, wofür Expertenwissen notwendig ist. Einige Anfragen können aber auch aus den Informationen der statischen Analyse generiert werden. Das vierte Forschungsziel ist eine Erweiterung der statischen Analyse: Neben dem Fehler selbst soll auch dessen Ursache gefunden werden, um die Behebung des Fehlers durch den Anwender zu unterstützen. Darauf aufbauend soll untersucht werden, ob auch automatisiert Korrekturvorschläge generiert werden können.

• DFG-Verfahren: Sachbeihilfen