A Synchronous Approach for IEC 61499 Function Block Implementation
IEC 61499 has been endorsed as the standard for modeling and implementing distributed industrial process measurement and control systems. The standard prescribes the use of function blocks for designing systems in a component-oriented approach. The execution model of a basic function block and the m...
Gespeichert in:
| Veröffentlicht in: | IEEE transactions on computers 2009-12, Vol.58 (12), p.1599-1614 |
|---|---|
| Hauptverfasser: | , , , |
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 1614 |
|---|---|
| container_issue | 12 |
| container_start_page | 1599 |
| container_title | IEEE transactions on computers |
| container_volume | 58 |
| creator | Li Hsien Yoong Roop, P.S. Vyatkin, V. Salcic, Z. |
| description | IEC 61499 has been endorsed as the standard for modeling and implementing distributed industrial process measurement and control systems. The standard prescribes the use of function blocks for designing systems in a component-oriented approach. The execution model of a basic function block and the manner for event/data connections between blocks are described therein. Unfortunately, the standard does not provide exhaustive specifications for function block execution. Consequently, multiple standard-compliant implementations exhibiting different behaviors are possible. This not only defeats the purpose of having a standard but also makes verification of function block systems difficult. To overcome this, we propose synchronous semantics for function blocks and show its feasibility by translating function blocks into a subset of Esterel, a well-known synchronous language. The proposed semantics avoids causal cycles common in Esterel and is proved to be reactive and deterministic under any composition. Moreover, verification techniques developed for synchronous systems can now be applied to function blocks. |
| doi_str_mv | 10.1109/TC.2009.128 |
| format | Article |
| fullrecord | <record><control><sourceid>proquest_RIE</sourceid><recordid>TN_cdi_proquest_journals_856931372</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>5235138</ieee_id><sourcerecordid>869842920</sourcerecordid><originalsourceid>FETCH-LOGICAL-c348t-2c683c4af8a94b87cc4808546db3f8a7b0dbfbe14c3137b3da490bf27a5371a83</originalsourceid><addsrcrecordid>eNpdkM9LwzAcxYMoOKcnj16KFw_SmZ9tctzqpoOBB6fXkGSp62ybmrTI_ntbJwqevvD48N73PQAuEZwgBMXdOptgCMUEYX4ERoixNBaCJcdgBCHisSAUnoKzEHYQwgRDMQKzafS8r83Wu9p1IZo2jXfKbKPc-Wg5z6IEUSGiRVebtnB1NCudeY-WVVPaytatGsRzcJKrMtiLnzsGL4v5OnuMV08Py2y6ig2hvI2xSTgxVOVcCap5agzlkDOabDTptVTDjc61RdQQRFJNNooKqHOcKkZSpDgZg9uDb_i0Tadl44tK-b10qpD3xetUOv8my7aTCcYDfXOg-0IfnQ2trIpgbFmq2vZNJU8Ep1hg2JPX_8id63zdV5GcJWL4Bv-FG-9C8Db_jUdQDtvLdSaH7SX6Dr860IW19pdkmDBEOPkC7wB9WA</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>856931372</pqid></control><display><type>article</type><title>A Synchronous Approach for IEC 61499 Function Block Implementation</title><source>IEEE Electronic Library (IEL)</source><creator>Li Hsien Yoong ; Roop, P.S. ; Vyatkin, V. ; Salcic, Z.</creator><creatorcontrib>Li Hsien Yoong ; Roop, P.S. ; Vyatkin, V. ; Salcic, Z.</creatorcontrib><description>IEC 61499 has been endorsed as the standard for modeling and implementing distributed industrial process measurement and control systems. The standard prescribes the use of function blocks for designing systems in a component-oriented approach. The execution model of a basic function block and the manner for event/data connections between blocks are described therein. Unfortunately, the standard does not provide exhaustive specifications for function block execution. Consequently, multiple standard-compliant implementations exhibiting different behaviors are possible. This not only defeats the purpose of having a standard but also makes verification of function block systems difficult. To overcome this, we propose synchronous semantics for function blocks and show its feasibility by translating function blocks into a subset of Esterel, a well-known synchronous language. The proposed semantics avoids causal cycles common in Esterel and is proved to be reactive and deterministic under any composition. Moreover, verification techniques developed for synchronous systems can now be applied to function blocks.</description><identifier>ISSN: 0018-9340</identifier><identifier>ISSN: 1557-9956</identifier><identifier>EISSN: 1557-9956</identifier><identifier>DOI: 10.1109/TC.2009.128</identifier><identifier>CODEN: ITCOB4</identifier><language>eng</language><publisher>New York: IEEE</publisher><subject>Blocking ; Compilation ; Computational modeling ; Control systems ; Data mining ; Esterel ; function blocks ; IEC 61499 ; IEC standards ; Joints ; Mathematical analysis ; Mathematical models ; Probability density function ; Semantics ; Software ; Specifications ; Synchronous ; synchronous semantics ; System recovery</subject><ispartof>IEEE transactions on computers, 2009-12, Vol.58 (12), p.1599-1614</ispartof><rights>Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) 2009</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c348t-2c683c4af8a94b87cc4808546db3f8a7b0dbfbe14c3137b3da490bf27a5371a83</citedby><cites>FETCH-LOGICAL-c348t-2c683c4af8a94b87cc4808546db3f8a7b0dbfbe14c3137b3da490bf27a5371a83</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/5235138$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>230,314,780,784,796,885,27924,27925,54758</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/5235138$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc><backlink>$$Uhttps://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-6228$$DView record from Swedish Publication Index$$Hfree_for_read</backlink></links><search><creatorcontrib>Li Hsien Yoong</creatorcontrib><creatorcontrib>Roop, P.S.</creatorcontrib><creatorcontrib>Vyatkin, V.</creatorcontrib><creatorcontrib>Salcic, Z.</creatorcontrib><title>A Synchronous Approach for IEC 61499 Function Block Implementation</title><title>IEEE transactions on computers</title><addtitle>TC</addtitle><description>IEC 61499 has been endorsed as the standard for modeling and implementing distributed industrial process measurement and control systems. The standard prescribes the use of function blocks for designing systems in a component-oriented approach. The execution model of a basic function block and the manner for event/data connections between blocks are described therein. Unfortunately, the standard does not provide exhaustive specifications for function block execution. Consequently, multiple standard-compliant implementations exhibiting different behaviors are possible. This not only defeats the purpose of having a standard but also makes verification of function block systems difficult. To overcome this, we propose synchronous semantics for function blocks and show its feasibility by translating function blocks into a subset of Esterel, a well-known synchronous language. The proposed semantics avoids causal cycles common in Esterel and is proved to be reactive and deterministic under any composition. Moreover, verification techniques developed for synchronous systems can now be applied to function blocks.</description><subject>Blocking</subject><subject>Compilation</subject><subject>Computational modeling</subject><subject>Control systems</subject><subject>Data mining</subject><subject>Esterel</subject><subject>function blocks</subject><subject>IEC 61499</subject><subject>IEC standards</subject><subject>Joints</subject><subject>Mathematical analysis</subject><subject>Mathematical models</subject><subject>Probability density function</subject><subject>Semantics</subject><subject>Software</subject><subject>Specifications</subject><subject>Synchronous</subject><subject>synchronous semantics</subject><subject>System recovery</subject><issn>0018-9340</issn><issn>1557-9956</issn><issn>1557-9956</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2009</creationdate><recordtype>article</recordtype><sourceid>RIE</sourceid><recordid>eNpdkM9LwzAcxYMoOKcnj16KFw_SmZ9tctzqpoOBB6fXkGSp62ybmrTI_ntbJwqevvD48N73PQAuEZwgBMXdOptgCMUEYX4ERoixNBaCJcdgBCHisSAUnoKzEHYQwgRDMQKzafS8r83Wu9p1IZo2jXfKbKPc-Wg5z6IEUSGiRVebtnB1NCudeY-WVVPaytatGsRzcJKrMtiLnzsGL4v5OnuMV08Py2y6ig2hvI2xSTgxVOVcCap5agzlkDOabDTptVTDjc61RdQQRFJNNooKqHOcKkZSpDgZg9uDb_i0Tadl44tK-b10qpD3xetUOv8my7aTCcYDfXOg-0IfnQ2trIpgbFmq2vZNJU8Ep1hg2JPX_8id63zdV5GcJWL4Bv-FG-9C8Db_jUdQDtvLdSaH7SX6Dr860IW19pdkmDBEOPkC7wB9WA</recordid><startdate>20091201</startdate><enddate>20091201</enddate><creator>Li Hsien Yoong</creator><creator>Roop, P.S.</creator><creator>Vyatkin, V.</creator><creator>Salcic, Z.</creator><general>IEEE</general><general>The Institute of Electrical and Electronics Engineers, Inc. (IEEE)</general><scope>97E</scope><scope>RIA</scope><scope>RIE</scope><scope>AAYXX</scope><scope>CITATION</scope><scope>7SC</scope><scope>7SP</scope><scope>8FD</scope><scope>JQ2</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope><scope>F28</scope><scope>FR3</scope><scope>ADTPV</scope><scope>AOWAS</scope></search><sort><creationdate>20091201</creationdate><title>A Synchronous Approach for IEC 61499 Function Block Implementation</title><author>Li Hsien Yoong ; Roop, P.S. ; Vyatkin, V. ; Salcic, Z.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c348t-2c683c4af8a94b87cc4808546db3f8a7b0dbfbe14c3137b3da490bf27a5371a83</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2009</creationdate><topic>Blocking</topic><topic>Compilation</topic><topic>Computational modeling</topic><topic>Control systems</topic><topic>Data mining</topic><topic>Esterel</topic><topic>function blocks</topic><topic>IEC 61499</topic><topic>IEC standards</topic><topic>Joints</topic><topic>Mathematical analysis</topic><topic>Mathematical models</topic><topic>Probability density function</topic><topic>Semantics</topic><topic>Software</topic><topic>Specifications</topic><topic>Synchronous</topic><topic>synchronous semantics</topic><topic>System recovery</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Li Hsien Yoong</creatorcontrib><creatorcontrib>Roop, P.S.</creatorcontrib><creatorcontrib>Vyatkin, V.</creatorcontrib><creatorcontrib>Salcic, Z.</creatorcontrib><collection>IEEE All-Society Periodicals Package (ASPP) 2005-present</collection><collection>IEEE All-Society Periodicals Package (ASPP) 1998-Present</collection><collection>IEEE Electronic Library (IEL)</collection><collection>CrossRef</collection><collection>Computer and Information Systems Abstracts</collection><collection>Electronics & Communications Abstracts</collection><collection>Technology Research Database</collection><collection>ProQuest Computer Science Collection</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><collection>ANTE: Abstracts in New Technology & Engineering</collection><collection>Engineering Research Database</collection><collection>SwePub</collection><collection>SwePub Articles</collection><jtitle>IEEE transactions on computers</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Li Hsien Yoong</au><au>Roop, P.S.</au><au>Vyatkin, V.</au><au>Salcic, Z.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>A Synchronous Approach for IEC 61499 Function Block Implementation</atitle><jtitle>IEEE transactions on computers</jtitle><stitle>TC</stitle><date>2009-12-01</date><risdate>2009</risdate><volume>58</volume><issue>12</issue><spage>1599</spage><epage>1614</epage><pages>1599-1614</pages><issn>0018-9340</issn><issn>1557-9956</issn><eissn>1557-9956</eissn><coden>ITCOB4</coden><abstract>IEC 61499 has been endorsed as the standard for modeling and implementing distributed industrial process measurement and control systems. The standard prescribes the use of function blocks for designing systems in a component-oriented approach. The execution model of a basic function block and the manner for event/data connections between blocks are described therein. Unfortunately, the standard does not provide exhaustive specifications for function block execution. Consequently, multiple standard-compliant implementations exhibiting different behaviors are possible. This not only defeats the purpose of having a standard but also makes verification of function block systems difficult. To overcome this, we propose synchronous semantics for function blocks and show its feasibility by translating function blocks into a subset of Esterel, a well-known synchronous language. The proposed semantics avoids causal cycles common in Esterel and is proved to be reactive and deterministic under any composition. Moreover, verification techniques developed for synchronous systems can now be applied to function blocks.</abstract><cop>New York</cop><pub>IEEE</pub><doi>10.1109/TC.2009.128</doi><tpages>16</tpages></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | ISSN: 0018-9340 |
| ispartof | IEEE transactions on computers, 2009-12, Vol.58 (12), p.1599-1614 |
| issn | 0018-9340 1557-9956 1557-9956 |
| language | eng |
| recordid | cdi_proquest_journals_856931372 |
| source | IEEE Electronic Library (IEL) |
| subjects | Blocking Compilation Computational modeling Control systems Data mining Esterel function blocks IEC 61499 IEC standards Joints Mathematical analysis Mathematical models Probability density function Semantics Software Specifications Synchronous synchronous semantics System recovery |
| title | A Synchronous Approach for IEC 61499 Function Block Implementation |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-02T18%3A16%3A30IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_RIE&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=A%20Synchronous%20Approach%20for%20IEC%2061499%20Function%20Block%20Implementation&rft.jtitle=IEEE%20transactions%20on%20computers&rft.au=Li%20Hsien%20Yoong&rft.date=2009-12-01&rft.volume=58&rft.issue=12&rft.spage=1599&rft.epage=1614&rft.pages=1599-1614&rft.issn=0018-9340&rft.eissn=1557-9956&rft.coden=ITCOB4&rft_id=info:doi/10.1109/TC.2009.128&rft_dat=%3Cproquest_RIE%3E869842920%3C/proquest_RIE%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=856931372&rft_id=info:pmid/&rft_ieee_id=5235138&rfr_iscdi=true |