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!
Abstract 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.
AbstractList 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.
Author Li, Hui
Zhu, Shanying
Hu, Xiaoyu
Liang, Yonghui
Zhu, Shibo
Author_xml – sequence: 1
  givenname: Xiaoyu
  surname: Hu
  fullname: Hu, Xiaoyu
  email: hu345712699@sjtu.edu.cn
  organization: Shanghai Jiao Tong University,Department of Automation,Shanghai,China,200240
– sequence: 2
  givenname: Yonghui
  surname: Liang
  fullname: Liang, Yonghui
  email: lyh2022@sjtu.edu.cn
  organization: Shanghai Jiao Tong University,Department of Automation,Shanghai,China,200240
– sequence: 3
  givenname: Shibo
  surname: Zhu
  fullname: Zhu, Shibo
  email: zs0116@sjtu.edu.cn
  organization: Shanghai Jiao Tong University,Department of Automation,Shanghai,China,200240
– sequence: 4
  givenname: Hui
  surname: Li
  fullname: Li, Hui
  email: huilee_ce@163.com
  organization: Shanghai Jiao Tong University,Department of Automation,Shanghai,China,200240
– sequence: 5
  givenname: Shanying
  surname: Zhu
  fullname: Zhu, Shanying
  email: shyzhu@sjtu.edu.cn
  organization: Shanghai Jiao Tong University,Department of Automation,Shanghai,China,200240
BookMark eNo1z8FOwkAQgOHVaCIgb-BhX6C4s9PtdL0RBG1SkITGeCNLO0tqSjHtNsG396Ce_tuX_GNx055bFkKCmgEo-5htnrONSTHVM610PANFFBvUV2JqyaaIYDTFBNdipJHSCBP8uBPjvv9UyhiIk5FY74poy6Grn-Rcvtf94Bq5vHA5BHdoWO745NpQl3J9rriR_tzJbb6Qu9ANZRg6rmTBlyBz1x4Hd-R7cetd0_P0rxNRrJbF4jXK316yxTyPagshIvZA2sfWQ8VoKk7MITHae7RIGnzJRmnULlHKOp9UBFgZfSAChzE5wIl4-GVrZt5_dfXJdd_7_3v8ASn3T9w
ContentType Conference Proceeding
DBID 6IE
6IL
CBEJK
RIE
RIL
DOI 10.1109/INDIN58382.2024.10774532
DatabaseName IEEE Electronic Library (IEL) Conference Proceedings
IEEE Xplore POP ALL
IEEE Xplore All Conference Proceedings
IEEE/IET Electronic Library (IEL) (UW System Shared)
IEEE Proceedings Order Plans (POP All) 1998-Present
DatabaseTitleList
Database_xml – sequence: 1
  dbid: RIE
  name: IEEE/IET Electronic Library (IEL) (UW System Shared)
  url: https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
Discipline Engineering
EISBN 9798331527471
EISSN 2378-363X
EndPage 6
ExternalDocumentID 10774532
Genre orig-research
GrantInformation_xml – fundername: National Key R&D Program of China
  grantid: 2022YFB3303900
  funderid: 10.13039/501100012166
GroupedDBID 6IE
6IK
6IL
6IN
AAWTH
ABLEC
ACGFS
ADZIZ
ALMA_UNASSIGNED_HOLDINGS
BEFXN
BFFAM
BGNUA
BKEBE
BPEOZ
CBEJK
CHZPO
IEGSK
M43
OCL
RIE
RIL
ID FETCH-LOGICAL-i91t-7ef172f49f1de35de65b652ff393721fce50232a6009af6d713d52b771a347a13
IEDL.DBID RIE
IngestDate Wed Aug 27 02:33:33 EDT 2025
IsPeerReviewed false
IsScholarly true
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-i91t-7ef172f49f1de35de65b652ff393721fce50232a6009af6d713d52b771a347a13
PageCount 6
ParticipantIDs ieee_primary_10774532
PublicationCentury 2000
PublicationDate 2024-Aug.-18
PublicationDateYYYYMMDD 2024-08-18
PublicationDate_xml – month: 08
  year: 2024
  text: 2024-Aug.-18
  day: 18
PublicationDecade 2020
PublicationTitle IEEE International Conference on Industrial Informatics (INDIN)
PublicationTitleAbbrev INDIN
PublicationYear 2024
Publisher IEEE
Publisher_xml – name: IEEE
SSID ssj0055146
Score 2.2652144
Snippet As very important controllers in automated facto-ries, the correctness and safety of Programmable Logic Controller (PLC) and their programs determine the...
SourceID ieee
SourceType Publisher
StartPage 1
SubjectTerms 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
Title ST-Petri: A Visual Executable Semantic Model for PLC Structured Text Language
URI https://ieeexplore.ieee.org/document/10774532
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3PS8MwGA06POjFXxN_k4PXzKVpk8abzA0HswxWZLeRJl-gMLexreKfb5Kt_jh48FYKbekr_b7Hl7z3ELpzFFrxVMbEGz8HSQ4piogTo41NeawNN8FndiCyLB2P5XArVg9aGAAIm8-g5Q_DWr6Z68qPytwf7shKwlzF3RWCb8Raddn1nZ_XW3Xa8r6fPfUzvybo1VZR3Kqv_ZWiEppI7_Cfjz9CzW85Hh5-NZpjtAOzE3Tww0nwFL2MchLCsR7wI34tV5Wa4u4H6GrtpVF4BG8OwVJjH302xY6o4uGgg0fBPLZagsG5K9J4sB1eNlHe6-adZ7JNSiClpGsiwDoeYmNpqQGWGOBJwZPIWu92F1GrIXGtOVKO3EhlHfqUmSQqhKCKxUJRdoYas_kMzhGWlEEkeaoARCzbWvlQMmqZu0mIhLhATQ_MZLHxwpjUmFz-cf4K7Xv4_RSWpteo4d4LbtCefl-Xq-Vt-IKfZG2adw
linkProvider IEEE
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1dS8MwFA0yBfXFr4nf5sHXziVN08Y3mRsbdmWwInsbaXIDg7nJtoo_3yRb_XjwwbcSaGluyL2Hm5xzELqzEFryRLDACT97Sk5QFJQHWmmTcKY0115nNo2zLBmNxGBDVvdcGADwl8-g4R79Wb6eq9K1yuwOt2AlCm3G3Y4Yo801XatKvK728-qyTlPc97KnXuZOBR3firJG9fYvHxVfRjoH__yBQ1T_JuThwVepOUJbMDtG-z-0BE9Qf5gH3h7rAT_il8mylFPc_gBVrhw5Cg_h1cZworAzP5tiC1XxIG3hoZePLRegcW7TNE437cs6yjvtvNUNNl4JwUSQVRCDsUjEMGGIhjDSwKOCR9QYp3dHiVEQ2eJMpYU3QhobfxLqiBZxTGTIYknCU1SbzWdwhrAgIVDBEwkQM9FU0tmSERPaj3hTiHNUd4EZv63VMMZVTC7-GL9Fu928n47TXvZ8ifbcUrieLEmuUM3OEa7RjnpfTZaLG7-an6A5nb4
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=IEEE+International+Conference+on+Industrial+Informatics+%28INDIN%29&rft.atitle=ST-Petri%3A+A+Visual+Executable+Semantic+Model+for+PLC+Structured+Text+Language&rft.au=Hu%2C+Xiaoyu&rft.au=Liang%2C+Yonghui&rft.au=Zhu%2C+Shibo&rft.au=Li%2C+Hui&rft.date=2024-08-18&rft.pub=IEEE&rft.eissn=2378-363X&rft.spage=1&rft.epage=6&rft_id=info:doi/10.1109%2FINDIN58382.2024.10774532&rft.externalDocID=10774532