A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation

被引：0
作者：
Schnakenbeck, Aron [1 ]
Mross, Robin [2 ]
Voelker, Marcus [2 ]
Kowalewski, Stefan [2 ]
Fay, Alexander [1 ]
机构：
[1] Helmut Schmidt Univ, Inst Automatisierungstech, D-22043 Hamburg, Germany
[2] Rhein Westfal TH Aachen, Lehrstuhl Informat 11, D-52074 Aachen, Germany
来源：
2023 IEEE 21ST INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, INDIN | 2023年
关键词：
Static Analysis; GRAFCET; Abstract Interpretation; Industrial Automation;
D O I：
10.1109/INDIN51400.2023.10218176
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
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.
引用
收藏
页数：7
相关论文
共 17 条
  • [1] Allen F. E., 1970, ACM Sigplan Notices, V5, P1
  • [2] [Anonymous], 2013, Standard IEC 60848
  • [3] [Anonymous], 1999, Principles of Program Analysis, DOI DOI 10.1007/978-3-662-03811-6
  • [4] Boehm B W, 1981, Prentice -Hall advances in computing science and tech- nology series
  • [5] Cousot P., 1977, 4 ANN ACM SIGPLAN SI, P238, DOI [DOI 10.1145/512950.512973, 10.1145/512950.512973]
  • [6] Jeannet B, 2009, LECT NOTES COMPUT SC, V5643, P661, DOI 10.1007/978-3-642-02658-4_52
  • [7] Julius R, 2019, ANN IEEE SYST CONF
  • [8] Transformation of GRAFCET to PLC code including hierarchical structures
    Julius, Robert
    Schuerenberg, Max
    Schumacher, Frank
    Fay, Alexander
    [J]. CONTROL ENGINEERING PRACTICE, 2017, 64 : 173 - 194
  • [9] Flow-Sensitive Composition of Thread-Modular Abstract Interpretation
    Kusano, Markus
    Wang, Chao
    [J]. FSE'16: PROCEEDINGS OF THE 2016 24TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON FOUNDATIONS OF SOFTWARE ENGINEERING, 2016, : 799 - 809
  • [10] Lesage J.-H., 1993, Automatique Productique Informatique Industrielle, V27, P25
12