Translation of Continuous Function Charts to Imperative Synchronous Quartz Programs
Programmable logic controllers operating in a sequential execution scheme are widely used for various applications in industrial environments with real-time requirements. The graphical programming languages described in the third part of IEC 61131 are often intended to perform open and closed loop c...
Uloženo v:
| Vydáno v: | 2021 19th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) s. 104 - 110 |
|---|---|
| Hlavní autoři: | , |
| Médium: | Konferenční příspěvek |
| Jazyk: | angličtina |
| Vydáno: |
ACM
20.11.2021
|
| Témata: | |
| 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!
|
| Abstract | Programmable logic controllers operating in a sequential execution scheme are widely used for various applications in industrial environments with real-time requirements. The graphical programming languages described in the third part of IEC 61131 are often intended to perform open and closed loop control tasks. Continuous Function Charts (CFCs) represent an additional language accepted in practice which can be interpreted as an extension of IEC 61131-3 Function Block Diagrams. Those charts allow more flexible positioning and interconnection of function blocks, but can quickly become difficult to manage. Furthermore, the sequential execution order forces a sequential processing of possible independent and thus possibly parallel program paths. The question arises whether a translation of existing CFCs to synchronous programs considering independent actions can lead to a more manageable software model. While current formalization approaches for CFCs primarily focus on verification, the focus of this approach is on restructuring and possible reuse in engineering. This paper introduces a possible automated translation of CFCs to imperative synchronous Quartz programs and outlines the potential for reducing the states of equivalent extended finite state machines through restructuring. |
|---|---|
| AbstractList | Programmable logic controllers operating in a sequential execution scheme are widely used for various applications in industrial environments with real-time requirements. The graphical programming languages described in the third part of IEC 61131 are often intended to perform open and closed loop control tasks. Continuous Function Charts (CFCs) represent an additional language accepted in practice which can be interpreted as an extension of IEC 61131-3 Function Block Diagrams. Those charts allow more flexible positioning and interconnection of function blocks, but can quickly become difficult to manage. Furthermore, the sequential execution order forces a sequential processing of possible independent and thus possibly parallel program paths. The question arises whether a translation of existing CFCs to synchronous programs considering independent actions can lead to a more manageable software model. While current formalization approaches for CFCs primarily focus on verification, the focus of this approach is on restructuring and possible reuse in engineering. This paper introduces a possible automated translation of CFCs to imperative synchronous Quartz programs and outlines the potential for reducing the states of equivalent extended finite state machines through restructuring. |
| Author | Schneider, Klaus Werner, Marcel Christian |
| Author_xml | – sequence: 1 givenname: Marcel Christian surname: Werner fullname: Werner, Marcel Christian email: marcel.christian.werner@gmail.com organization: University of Kaiserslautern,Kaiserslautern,Germany – sequence: 2 givenname: Klaus surname: Schneider fullname: Schneider, Klaus email: schneider@cs.uni-kl.de organization: University of Kaiserslautern,Kaiserslautern,Germany |
| BookMark | eNotjr1OwzAURj3AAIW5A4tfIMU_ceKMKKJQqRKgtnN1Y1_TSI1d2Q5SeXpSYDrSp6Oj75Zc-eCRkDlnC85L9ShLXQsuFhdKqW_IZhvBpyPkPngaHG2Dz70fw5jocvTmd24PEHOiOdDVcMI4uV9IN2dvDjH4i_kxTsI3fY_hM8KQ7si1g2PC-3_OyG75vG1fi_Xby6p9WhcgapUL0YHjVWW1sBZZA66zTjCH07FGGmk18BINcsV156yQ2jFUyjgnKqiZ4XJGHv66PSLuT7EfIJ73jeZlo6T8AcJYTCo |
| ContentType | Conference Proceeding |
| DBID | 6IE 6IL CBEJK RIE RIL |
| DOI | 10.1145/3487212.3487338 |
| DatabaseName | IEEE Electronic Library (IEL) Conference Proceedings IEEE Proceedings Order Plan All Online (POP All Online) 1998-present by volume IEEE Xplore All Conference Proceedings IEEE Xplore IEEE Proceedings Order Plans (POP All) 1998-Present |
| DatabaseTitleList | |
| Database_xml | – sequence: 1 dbid: RIE name: IEEE Electronic Library (IEL) url: https://ieeexplore.ieee.org/ sourceTypes: Publisher |
| DeliveryMethod | fulltext_linktorsrc |
| EndPage | 110 |
| ExternalDocumentID | 9814953 |
| Genre | orig-research |
| GroupedDBID | 6IE 6IL CBEJK RIE RIL |
| ID | FETCH-LOGICAL-a275t-2baf166d82dde09afbdf20fe73393c3d8a14ece1518bfd238f0e55cff26a70c13 |
| IEDL.DBID | RIE |
| ISICitedReferencesCount | 0 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000850543100011&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| IngestDate | Thu Jun 29 18:37:11 EDT 2023 |
| IsPeerReviewed | false |
| IsScholarly | false |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-a275t-2baf166d82dde09afbdf20fe73393c3d8a14ece1518bfd238f0e55cff26a70c13 |
| PageCount | 7 |
| ParticipantIDs | ieee_primary_9814953 |
| PublicationCentury | 2000 |
| PublicationDate | 2021-Nov.-20 |
| PublicationDateYYYYMMDD | 2021-11-20 |
| PublicationDate_xml | – month: 11 year: 2021 text: 2021-Nov.-20 day: 20 |
| PublicationDecade | 2020 |
| PublicationTitle | 2021 19th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) |
| PublicationTitleAbbrev | MEMOCODE |
| PublicationYear | 2021 |
| Publisher | ACM |
| Publisher_xml | – name: ACM |
| Score | 1.7951285 |
| Snippet | Programmable logic controllers operating in a sequential execution scheme are widely used for various applications in industrial environments with real-time... |
| SourceID | ieee |
| SourceType | Publisher |
| StartPage | 104 |
| SubjectTerms | Automata Computer languages Formal languages IEC Standards programmable logic controllers Programmable logic devices Real-time systems Software software restructuring software reusability synchronous languages Task analysis |
| Title | Translation of Continuous Function Charts to Imperative Synchronous Quartz Programs |
| URI | https://ieeexplore.ieee.org/document/9814953 |
| WOSCitedRecordID | wos000850543100011&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3PS8MwFA7b8OBJZRN_k4NHuyVpm6RncSjIGExlt5G-vMAurWydoH-9SVqmBy-eGh4loa8k32vf975HyK0BaUDZNDHC2MQjPiSmsHlijRSOaZNmMV3w9qxmM71cFvMeudvXwiBiJJ_hOAxjLt_WsAu_yiaFjnTIPukrJdtarU6th2f5JPWxtz-Ix-GahnqTX-1SIlpMj_63zjEZ_ZTd0fkeUE5ID6shWUQ0aRlrtHY0yEmtq53_YKdTj0nRHHLmzZY2NX3yUXCr5U0XnxUE5dtwZ6RufoXJAxlrOyKv04eX-8ek64TgXajyJhGlcVxKq4U_jVhhXGmdYA79cxYppFYbniGgR29dOutR2DHMc3BOSKMY8PSUDKq6wjNCARxghpyj8aGHtCW4nEGJXLHMKJ2dk2FwyOq9FbtYdb64-Nt8SQ5FIHlw7rfbFRk0mx1ekwP4aNbbzU18Q9_jzZgz |
| linkProvider | IEEE |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3PS8MwFH7MKehJZRN_m4NHuyVp-ussjg3nGGzKbiNNXmCXVtZO0L_eJB3TgxdPDY-S0FeS77Xve98DuJcqlirRYSC51IFFfBXITEeBljE3NJWh8OmCt3EymaSLRTZtwcOuFgYRPfkMe27oc_m6VBv3q6yfpZ4OuQf7kRCcNtVaW70eJqJ-aKNvexT33DV0FSe_GqZ4vBgc_2-lE-j-FN6R6Q5STqGFRQdmHk8azhopDXGCUqtiYz_ZycCikje7rHldkbokIxsHN2reZPZZKKd96-705M0vN7mjY1VdeB08zR-HwbYXgnViEtUBz6VhcaxTbs8jmkmTa8OpQfucWahCnUomUKHF7zQ32uKwoRhFyhgey4QqFp5BuygLPAeilFEokDGUNviIda5MRFWOLKFCJqm4gI5zyPK9kbtYbn1x-bf5Dg6H85fxcjyaPF_BEXeUD8bs5ruGdr3e4A0cqI96Va1v_dv6BvoLm3o |
| 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=2021+19th+ACM-IEEE+International+Conference+on+Formal+Methods+and+Models+for+System+Design+%28MEMOCODE%29&rft.atitle=Translation+of+Continuous+Function+Charts+to+Imperative+Synchronous+Quartz+Programs&rft.au=Werner%2C+Marcel+Christian&rft.au=Schneider%2C+Klaus&rft.date=2021-11-20&rft.pub=ACM&rft.spage=104&rft.epage=110&rft_id=info:doi/10.1145%2F3487212.3487338&rft.externalDocID=9814953 |