KI-gestützte Erweiterung der statischen Analyse von GRAFCET-Spezifikationen durch LLM-basierte Extraktion und Integration von Zusatzinformationen

Abstract

Die Überprüfung kritischer Eigenschaften in GRAFCET-Spezifikationen – wie Sicherheit, Erreichbarkeit und Deadlock-Freiheit – ist für zuverlässige Automatisierung wichtig. Model Checking ist hierfür eine etablierte Methode, leidet jedoch unter Zustandsraumexplosion. Statische Analyse kann diesen Aufwand reduzieren, erfasst jedoch ohne Domänenwissen keine Fehler, die aus semantischen Eigenschaften der Anlagenvariablen resultieren. Dieser Beitrag stellt einen hybriden Ansatz vor, der statische Analyse mit Large Language Models (LLMs) kombiniert, um diese Einschränkung zu überwinden. Die hybride Methode identifiziert erfolgreich synthetisch eingebrachte Modellfehler in einer industriellen GRAFCET-Fallstudie, die klassische statische Analyse übersieht.