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...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:IEEE International Conference on Industrial Informatics (INDIN) s. 1 - 6
Hlavní autori: Hu, Xiaoyu, Liang, Yonghui, Zhu, Shibo, Li, Hui, Zhu, Shanying
Médium: Konferenčný príspevok..
Jazyk:English
Vydavateľské údaje: IEEE 18.08.2024
Predmet:
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
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí: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