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ženo v:
Podrobná bibliografie
Vydáno v:IEEE International Conference on Industrial Informatics (INDIN) s. 1 - 6
Hlavní autoři: Hu, Xiaoyu, Liang, Yonghui, Zhu, Shibo, Li, Hui, Zhu, Shanying
Médium: Konferenční příspěvek
Jazyk:angličtina
Vydáno: IEEE 18.08.2024
Témata:
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 přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
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