Loading…
Execution Semantic of Function Blocks based on the Model of Net Condition/Event Systems
This paper aims at the development of an execution model of function block networks following the IEC 61499 standard architecture for industrial measurement and control systems. Implementation of the standard requires an execution environment that is deterministic, provides real-time reactivity, and...
Saved in:
Main Author: | |
---|---|
Format: | Conference Proceeding |
Language: | English |
Subjects: | |
Online Access: | Request full text |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
cited_by | |
---|---|
cites | |
container_end_page | 879 |
container_issue | |
container_start_page | 874 |
container_title | |
container_volume | |
creator | Vyatkin, V. |
description | This paper aims at the development of an execution model of function block networks following the IEC 61499 standard architecture for industrial measurement and control systems. Implementation of the standard requires an execution environment that is deterministic, provides real-time reactivity, and is compact to fit embedded platforms. In particular, this paper discusses the problem of function block scheduling that would be the core of such execution environment. The function blocks are modeling by net condition/event systems (NCES). It is shown that the NCES implementation provides a natural scheduling policy for function blocks that preserves concurrency and enables evaluation of the reactivity by model- checking. |
doi_str_mv | 10.1109/INDIN.2006.275692 |
format | conference_proceeding |
fullrecord | <record><control><sourceid>swepub_CHZPO</sourceid><recordid>TN_cdi_swepub_primary_oai_DiVA_org_ltu_29708</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>4053504</ieee_id><sourcerecordid>oai_DiVA_org_ltu_28136</sourcerecordid><originalsourceid>FETCH-LOGICAL-i1648-14cdb8fac46517604eac3121484d4e1da6a2bdb6a218d304b49f80601a0613733</originalsourceid><addsrcrecordid>eNqVkMtOwzAQRc1Loir9AMTGH0DasT1xnGXpAypBWZTXLnJiBwxpUtUJ0L8npQiJJaOrGc2do1lcQk4Z9BmDeDCbj2fzPgeQfR6FMuZ7pBdHClqJOAIW75MOF5EKhBRPB39uwA9Jh8UiDDCM5DHpef8KbWGIAkWHPE4-bdbUrirpwi51WbuMVjmdNmX2bV4UVfbmaaq9NbTd6xdLbypjiy01tzUdVaVxW3QwebdlTRcbX9ulPyFHuS687f3MLrmfTu5GV8H17eVsNLwOHJOoAoaZSVWuM5QhiySg1ZlgnKFCg5YZLTVPTdp2powATDHOFUhgGiQTkRBdcr776z_sqkmT1dot9XqTVNolY_cwTKr1c1LUTcLbMNQ_cMXaMLvkbIc7a-0vjBCKEFB8AQRHddk</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Execution Semantic of Function Blocks based on the Model of Net Condition/Event Systems</title><source>IEEE Xplore All Conference Series</source><creator>Vyatkin, V.</creator><creatorcontrib>Vyatkin, V.</creatorcontrib><description>This paper aims at the development of an execution model of function block networks following the IEC 61499 standard architecture for industrial measurement and control systems. Implementation of the standard requires an execution environment that is deterministic, provides real-time reactivity, and is compact to fit embedded platforms. In particular, this paper discusses the problem of function block scheduling that would be the core of such execution environment. The function blocks are modeling by net condition/event systems (NCES). It is shown that the NCES implementation provides a natural scheduling policy for function blocks that preserves concurrency and enables evaluation of the reactivity by model- checking.</description><identifier>ISSN: 1935-4576</identifier><identifier>ISBN: 9780780397002</identifier><identifier>ISBN: 0780397002</identifier><identifier>ISBN: 9780780397019</identifier><identifier>ISBN: 0780397010</identifier><identifier>EISSN: 2378-363X</identifier><identifier>EISBN: 9780780397019</identifier><identifier>EISBN: 0780397010</identifier><identifier>DOI: 10.1109/INDIN.2006.275692</identifier><language>eng</language><publisher>IEEE</publisher><subject>Concurrent computing ; Control system synthesis ; Electrical equipment industry ; function blocks ; IEC 61499 ; IEC standards ; Industrial control ; industrial informatics ; Job shop scheduling ; Measurement standards ; net condition/event systems ; reactive embedded control systems ; scheduling ; Standards development</subject><ispartof>2006 4th IEEE International Conference on Industrial Informatics, 2006, p.874-879</ispartof><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/4053504$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>230,309,310,780,784,789,790,885,2058,4050,4051,27925,54555,54920,54932</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/4053504$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc><backlink>$$Uhttps://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-28136$$DView record from Swedish Publication Index$$Hfree_for_read</backlink><backlink>$$Uhttps://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-29708$$DView record from Swedish Publication Index$$Hfree_for_read</backlink></links><search><creatorcontrib>Vyatkin, V.</creatorcontrib><title>Execution Semantic of Function Blocks based on the Model of Net Condition/Event Systems</title><title>2006 4th IEEE International Conference on Industrial Informatics</title><addtitle>INDIN</addtitle><description>This paper aims at the development of an execution model of function block networks following the IEC 61499 standard architecture for industrial measurement and control systems. Implementation of the standard requires an execution environment that is deterministic, provides real-time reactivity, and is compact to fit embedded platforms. In particular, this paper discusses the problem of function block scheduling that would be the core of such execution environment. The function blocks are modeling by net condition/event systems (NCES). It is shown that the NCES implementation provides a natural scheduling policy for function blocks that preserves concurrency and enables evaluation of the reactivity by model- checking.</description><subject>Concurrent computing</subject><subject>Control system synthesis</subject><subject>Electrical equipment industry</subject><subject>function blocks</subject><subject>IEC 61499</subject><subject>IEC standards</subject><subject>Industrial control</subject><subject>industrial informatics</subject><subject>Job shop scheduling</subject><subject>Measurement standards</subject><subject>net condition/event systems</subject><subject>reactive embedded control systems</subject><subject>scheduling</subject><subject>Standards development</subject><issn>1935-4576</issn><issn>2378-363X</issn><isbn>9780780397002</isbn><isbn>0780397002</isbn><isbn>9780780397019</isbn><isbn>0780397010</isbn><isbn>9780780397019</isbn><isbn>0780397010</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2006</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><recordid>eNqVkMtOwzAQRc1Loir9AMTGH0DasT1xnGXpAypBWZTXLnJiBwxpUtUJ0L8npQiJJaOrGc2do1lcQk4Z9BmDeDCbj2fzPgeQfR6FMuZ7pBdHClqJOAIW75MOF5EKhBRPB39uwA9Jh8UiDDCM5DHpef8KbWGIAkWHPE4-bdbUrirpwi51WbuMVjmdNmX2bV4UVfbmaaq9NbTd6xdLbypjiy01tzUdVaVxW3QwebdlTRcbX9ulPyFHuS687f3MLrmfTu5GV8H17eVsNLwOHJOoAoaZSVWuM5QhiySg1ZlgnKFCg5YZLTVPTdp2powATDHOFUhgGiQTkRBdcr776z_sqkmT1dot9XqTVNolY_cwTKr1c1LUTcLbMNQ_cMXaMLvkbIc7a-0vjBCKEFB8AQRHddk</recordid><startdate>200608</startdate><enddate>200608</enddate><creator>Vyatkin, V.</creator><general>IEEE</general><scope>6IE</scope><scope>6IL</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIL</scope><scope>ADTPV</scope><scope>BNKNJ</scope></search><sort><creationdate>200608</creationdate><title>Execution Semantic of Function Blocks based on the Model of Net Condition/Event Systems</title><author>Vyatkin, V.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-i1648-14cdb8fac46517604eac3121484d4e1da6a2bdb6a218d304b49f80601a0613733</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2006</creationdate><topic>Concurrent computing</topic><topic>Control system synthesis</topic><topic>Electrical equipment industry</topic><topic>function blocks</topic><topic>IEC 61499</topic><topic>IEC standards</topic><topic>Industrial control</topic><topic>industrial informatics</topic><topic>Job shop scheduling</topic><topic>Measurement standards</topic><topic>net condition/event systems</topic><topic>reactive embedded control systems</topic><topic>scheduling</topic><topic>Standards development</topic><toplevel>online_resources</toplevel><creatorcontrib>Vyatkin, V.</creatorcontrib><collection>IEEE Electronic Library (IEL) Conference Proceedings</collection><collection>IEEE Proceedings Order Plan All Online (POP All Online) 1998-present by volume</collection><collection>IEEE Xplore All Conference Proceedings</collection><collection>IEEE Xplore (Online service)</collection><collection>IEEE Proceedings Order Plans (POP All) 1998-Present</collection><collection>SwePub</collection><collection>SwePub Conference</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Vyatkin, V.</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Execution Semantic of Function Blocks based on the Model of Net Condition/Event Systems</atitle><btitle>2006 4th IEEE International Conference on Industrial Informatics</btitle><stitle>INDIN</stitle><date>2006-08</date><risdate>2006</risdate><spage>874</spage><epage>879</epage><pages>874-879</pages><issn>1935-4576</issn><eissn>2378-363X</eissn><isbn>9780780397002</isbn><isbn>0780397002</isbn><isbn>9780780397019</isbn><isbn>0780397010</isbn><eisbn>9780780397019</eisbn><eisbn>0780397010</eisbn><abstract>This paper aims at the development of an execution model of function block networks following the IEC 61499 standard architecture for industrial measurement and control systems. Implementation of the standard requires an execution environment that is deterministic, provides real-time reactivity, and is compact to fit embedded platforms. In particular, this paper discusses the problem of function block scheduling that would be the core of such execution environment. The function blocks are modeling by net condition/event systems (NCES). It is shown that the NCES implementation provides a natural scheduling policy for function blocks that preserves concurrency and enables evaluation of the reactivity by model- checking.</abstract><pub>IEEE</pub><doi>10.1109/INDIN.2006.275692</doi><tpages>6</tpages></addata></record> |
fulltext | fulltext_linktorsrc |
identifier | ISSN: 1935-4576 |
ispartof | 2006 4th IEEE International Conference on Industrial Informatics, 2006, p.874-879 |
issn | 1935-4576 2378-363X |
language | eng |
recordid | cdi_swepub_primary_oai_DiVA_org_ltu_29708 |
source | IEEE Xplore All Conference Series |
subjects | Concurrent computing Control system synthesis Electrical equipment industry function blocks IEC 61499 IEC standards Industrial control industrial informatics Job shop scheduling Measurement standards net condition/event systems reactive embedded control systems scheduling Standards development |
title | Execution Semantic of Function Blocks based on the Model of Net Condition/Event Systems |
url | http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-01T05%3A25%3A11IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-swepub_CHZPO&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=Execution%20Semantic%20of%20Function%20Blocks%20based%20on%20the%20Model%20of%20Net%20Condition/Event%20Systems&rft.btitle=2006%204th%20IEEE%20International%20Conference%20on%20Industrial%20Informatics&rft.au=Vyatkin,%20V.&rft.date=2006-08&rft.spage=874&rft.epage=879&rft.pages=874-879&rft.issn=1935-4576&rft.eissn=2378-363X&rft.isbn=9780780397002&rft.isbn_list=0780397002&rft.isbn_list=9780780397019&rft.isbn_list=0780397010&rft_id=info:doi/10.1109/INDIN.2006.275692&rft.eisbn=9780780397019&rft.eisbn_list=0780397010&rft_dat=%3Cswepub_CHZPO%3Eoai_DiVA_org_ltu_28136%3C/swepub_CHZPO%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-i1648-14cdb8fac46517604eac3121484d4e1da6a2bdb6a218d304b49f80601a0613733%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_id=info:pmid/&rft_ieee_id=4053504&rfr_iscdi=true |