A control flow based static analysis of GRAFCET using abstract interpretation
Publication date
2023-08-22
Document type
Konferenzbeitrag
Author
Organisational unit
Conference
21st International Conference on Industrial Informatics (INDIN 2023) ; Lemgo, Germany ; July 18–20, 2023
Publisher
IEEE
Book title
2023 IEEE 21st International Conference on Industrial Informatics (INDIN)
Part of the university bibliography
✅
Language
English
Abstract
The graphical modeling language GRAFCET is used as a formal specification language in industrial control design. This paper proposes a static analysis approach based on the control flow of GRAFCET using abstract interpretation to allow verification on specification level. GRAFCET has different elements leading to concurrent behavior, which in general results in a large state space. To get precise results and reduce the state space, we propose an analysis suitable for GRAFCET instances without concurrent behavior. We point out how to check for the absence of concurrency and present a flow-sensitive analysis for these GRAFCET instances. The proposed approach is evaluated on an industrial-sized example.
Version
Published version
Access right on openHSU
Metadata only access