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...

Full description

Saved in:
Bibliographic Details
Main Author: Vyatkin, V.
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