Advanced search
1 file | 5.12 MB Add to list

State-based verification of industrial control programs with the use of a Digital Model

Matthias Schamp (UGent) , El-Houssaine Aghezzaf (UGent) and Johannes Cottyn (UGent)
Author
Organization
Abstract
Today, the verification of the control logic of automation projects is mainly a manual task during real commissioning phase on the physical installation. This involves a lot of risks towards possible damage and unanticipated delays of project completion. Virtual commissioning allows the verification to start earlier in the project timeline, but is often also a manual task and requires a lot of human knowledge and expertise. This paper proposes a workflow to provide additional support to the automation engineer based on a 3D Digital Model that interacts with the real control logic. The digital model records all occurring states and transitions in the background and visualizes the state graph to highlight unexpected behaviour and to support troubleshooting. The proposed approach is validated on a test case confirming (1) the effectiveness of highlighting unexpected behaviour during programming phase and (2) the substantial reduction in real commissioning time. The added value of the approach is concluded, although a number of limitations still exist. Future research includes the validation of the approach on real industrial cases.
Keywords
industrial control systems, state graph, runtime verification, virtual commissioning, Digital Twin

Downloads

  • IJCIM 2022.pdf
    • full text (Accepted manuscript)
    • |
    • open access
    • |
    • PDF
    • |
    • 5.12 MB

Citation

Please use this url to cite or link to this publication:

MLA
Schamp, Matthias, et al. “State-Based Verification of Industrial Control Programs with the Use of a Digital Model.” INTERNATIONAL JOURNAL OF COMPUTER INTEGRATED MANUFACTURING, vol. 37, no. 3, 2024, pp. 266–84, doi:10.1080/0951192X.2023.2209860.
APA
Schamp, M., Aghezzaf, E.-H., & Cottyn, J. (2024). State-based verification of industrial control programs with the use of a Digital Model. INTERNATIONAL JOURNAL OF COMPUTER INTEGRATED MANUFACTURING, 37(3), 266–284. https://doi.org/10.1080/0951192X.2023.2209860
Chicago author-date
Schamp, Matthias, El-Houssaine Aghezzaf, and Johannes Cottyn. 2024. “State-Based Verification of Industrial Control Programs with the Use of a Digital Model.” INTERNATIONAL JOURNAL OF COMPUTER INTEGRATED MANUFACTURING 37 (3): 266–84. https://doi.org/10.1080/0951192X.2023.2209860.
Chicago author-date (all authors)
Schamp, Matthias, El-Houssaine Aghezzaf, and Johannes Cottyn. 2024. “State-Based Verification of Industrial Control Programs with the Use of a Digital Model.” INTERNATIONAL JOURNAL OF COMPUTER INTEGRATED MANUFACTURING 37 (3): 266–284. doi:10.1080/0951192X.2023.2209860.
Vancouver
1.
Schamp M, Aghezzaf E-H, Cottyn J. State-based verification of industrial control programs with the use of a Digital Model. INTERNATIONAL JOURNAL OF COMPUTER INTEGRATED MANUFACTURING. 2024;37(3):266–84.
IEEE
[1]
M. Schamp, E.-H. Aghezzaf, and J. Cottyn, “State-based verification of industrial control programs with the use of a Digital Model,” INTERNATIONAL JOURNAL OF COMPUTER INTEGRATED MANUFACTURING, vol. 37, no. 3, pp. 266–284, 2024.
@article{01GZ0YK6RSYRVDBZGSHYEWQA40,
  abstract     = {{Today, the verification of the control logic of automation projects is mainly a manual task during real commissioning phase on the physical installation. This involves a lot of risks towards possible damage and unanticipated delays of project completion. Virtual commissioning allows the verification to start earlier in the project timeline, but is often also a manual task and requires a lot of human knowledge and expertise. This paper proposes a workflow to provide additional support to the automation engineer based on a 3D Digital Model that interacts with the real control logic. The digital model records all occurring states and transitions in the background and visualizes the state graph to highlight unexpected behaviour and to support troubleshooting. The proposed approach is validated on a test case confirming (1) the effectiveness of highlighting unexpected behaviour during programming phase and (2) the substantial reduction in real commissioning time. The added value of the approach is concluded, although a number of limitations still exist. Future research includes the validation of the approach on real industrial cases.}},
  author       = {{Schamp, Matthias and Aghezzaf, El-Houssaine and Cottyn, Johannes}},
  issn         = {{0951-192X}},
  journal      = {{INTERNATIONAL JOURNAL OF COMPUTER INTEGRATED MANUFACTURING}},
  keywords     = {{industrial control systems,state graph,runtime verification,virtual commissioning,Digital Twin}},
  language     = {{eng}},
  number       = {{3}},
  pages        = {{266--284}},
  title        = {{State-based verification of industrial control programs with the use of a Digital Model}},
  url          = {{http://doi.org/10.1080/0951192X.2023.2209860}},
  volume       = {{37}},
  year         = {{2024}},
}

Altmetric
View in Altmetric
Web of Science
Times cited: