Transformation of GRAFCET Into GAL for Verification Purposes Based on a Detailed Meta-Model

Transformation of GRAFCET Into GAL for Verification Purposes Based on a Detailed Meta-Model

The graphical modeling language GRAFCET is used as a formal specification language in industrial control design. To use these formal specifications for model-driven development of control code it is beneficial to ensure their syntactical and semantic correctness. Therefore in this paper, a detailed...

Full description

Bibliographic Details
Main Authors: Robin Mross, Aron Schnakenbeck, Marcus Volker, Alexander Fay, Stefan Kowalewski
Format: Article
Language:English
Published: IEEE 2022-01-01
Series:IEEE Access
Subjects:
Industry automation
formal model
formal verification
model checking
model-driven engineering
GRAFCET
Online Access:https://ieeexplore.ieee.org/document/9966565/

Similar Items

Similar Items