2 research outputs found
Unambiguous Interpretation of IEC 60848 GRAFCET based on a Literature Review
IEC 60848 GRAFCET is a standardized, graphical specification language for
control functions. Because of the semiformal nature of IEC 60848, the details
of specifications created with GRAFCET can be interpreted in different ways,
possibly leading to faulty implementations. These ambiguities have been
partially addressed in existing literature, but solved in different manners.
Based on a literature review, this work aims at providing an overview of
existing interpretations and, based on that, proposes a comprehensive
interpretation algorithm for IEC 60848, which takes all relevant ambiguities
from the literature review into account.Comment: Submitted to ETFA 2
A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation
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.Comment: \c{opyright} 2023 IEEE. Personal use of this material is permitted.
Permission from IEEE must be obtained for all other uses, in any current or
future media, including reprinting/republishing this material for advertising
or promotional purposes, creating new collective works, for resale or
redistribution to servers or lists, or reuse of any copyrighted component of
this work in other work