ST-Petri: A Visual Executable Semantic Model for PLC Structured Text Language

As very important controllers in automated facto-ries, the correctness and safety of Programmable Logic Controller (PLC) and their programs determine the stability of the production process. Structured Text (ST) is one of the most widely used PLC programming languages. However, there are not enough...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:IEEE International Conference on Industrial Informatics (INDIN) S. 1 - 6
Hauptverfasser: Hu, Xiaoyu, Liang, Yonghui, Zhu, Shibo, Li, Hui, Zhu, Shanying
Format: Tagungsbericht
Sprache:Englisch
Veröffentlicht: IEEE 18.08.2024
Schlagworte:
Petri nets
PLC programming
Process control
Production
Program processors
Programmable logic devices
Safety
Semantics
Software development management
Stability analysis
Structured text
Visual executable semantics
Visualization
ISSN:2378-363X
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:As very important controllers in automated facto-ries, the correctness and safety of Programmable Logic Controller (PLC) and their programs determine the stability of the production process. Structured Text (ST) is one of the most widely used PLC programming languages. However, there are not enough formal semantics and different venders may have their own implementations. In this work, a visual executable semantic model ST-Petri for ST has been proposed. The model uses Petri nets to formally represent ST semantics while using graphs to visualise program control flow. To validate the correctness of the semantic model, we use programs from Github and mutations of existing source programs as a test set to execute and compare the results with the open source OpenPLC platform. Experimental results show that ST-Petri has significant advantages in terms of compilation pass rate and error indication as a semantic model and a ST program compiler.
ISSN:2378-363X
DOI:10.1109/INDIN58382.2024.10774532