Formal Modeling of Function Block Applications Running in IEC 61499 Execution Runtime

The execution model in a new standard for distributed control systems, IEC 61499, is analyzed. It is shown how the same standard compliant application running in two different standard compliant runtime environments may result in completely different behaviors. Thus, to achieve true portability of a...

Full description

Saved in:
Bibliographic Details
Published in2006 IEEE Conference on Emerging Technologies and Factory Automation pp. 1269 - 1276
Main Authors Cengic, G., Ljungkrantz, O., Akesson, K.
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.09.2006
Subjects
Application software
Control systems
Distributed control
Formal verification
Hardware
IEC standards
Process control
Programmable control
Runtime environment
Standards development
Online AccessGet full text
ISBN9780780397583
0780397584
ISSN1946-0740
DOI10.1109/ETFA.2006.355187

Cover

Abstract The execution model in a new standard for distributed control systems, IEC 61499, is analyzed. It is shown how the same standard compliant application running in two different standard compliant runtime environments may result in completely different behaviors. Thus, to achieve true portability of applications between multiple standard compliant runtime environments a more detailed execution model is necessary. In this paper a new runtime environment, Fuber, is presented along with a formal execution model. In this case the execution model is given as a set of interacting state machines which makes it straightforward to analyze the behavior of the application and runtime together using existing tools for formal verification.
AbstractList The execution model in a new standard for distributed control systems, IEC 61499, is analyzed. It is shown how the same standard compliant application running in two different standard compliant runtime environments may result in completely different behaviors. Thus, to achieve true portability of applications between multiple standard compliant runtime environments a more detailed execution model is necessary. In this paper a new runtime environment, Fuber, is presented along with a formal execution model. In this case the execution model is given as a set of interacting state machines which makes it straightforward to analyze the behavior of the application and runtime together using existing tools for formal verification.
Author Ljungkrantz, O.
Akesson, K.
Cengic, G.
Author_xml – sequence: 1
  givenname: G.
  surname: Cengic
  fullname: Cengic, G.
  organization: Dept. of Signals & Syst., Chalmers Univ. of Technol
– sequence: 2
  givenname: O.
  surname: Ljungkrantz
  fullname: Ljungkrantz, O.
  organization: Dept. of Signals & Syst., Chalmers Univ. of Technol
– sequence: 3
  givenname: K.
  surname: Akesson
  fullname: Akesson, K.
  organization: Dept. of Signals & Syst., Chalmers Univ. of Technol
BookMark eNotT1tLwzAUDjjBOfsu-JI_0Jo0ze2xllYHE0Hm88jSU4m2SWlX0H9vph4-OPDdDucarXzwgNAtJRmlRN_X-6bMckJExjinSl6gREtFIpiWXLEVWlNdiJTIglyhZJ4_SBwWKU3X6K0J02B6_Bxa6J1_x6HDzeLtyQWPH_pgP3E5jr2z5szM-HXx_mxzHm_rCgtaaI3rL7DLbyLKJzfADbrsTD9D8r838U69r57S3cvjtip3qaNCyNS2zCpytCwXJEKIDvL4gxW6a82xsxyoBqCtNqCtVUoREyWbS8WBt1yzDbr763UAcBgnN5jp-1BQqRjJ2Q_IJlIn
ContentType Conference Proceeding
DBID 6IE
6IL
CBEJK
RIE
RIL
DOI 10.1109/ETFA.2006.355187
DatabaseName IEEE Electronic Library (IEL) Conference Proceedings
IEEE Xplore POP ALL
IEEE Xplore All Conference Proceedings
IEEE Electronic Library (IEL)
IEEE Proceedings Order Plans (POP All) 1998-Present
DatabaseTitleList
Database_xml – sequence: 1
  dbid: RIE
  name: IEEE Electronic Library (IEL)
  url: https://proxy.k.utb.cz/login?url=https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
Discipline Engineering
EndPage 1276
ExternalDocumentID 4178302
Genre orig-research
GroupedDBID 6IE
6IF
6IK
6IL
6IN
AAJGR
AAWTH
ABLEC
ADZIZ
ALMA_UNASSIGNED_HOLDINGS
BEFXN
BFFAM
BGNUA
BKEBE
BPEOZ
CBEJK
CHZPO
IEGSK
IPLJI
M43
OCL
RIE
RIL
RNS
ID FETCH-LOGICAL-i1667-cd3c80bc326026066fe2551c69fdabfc5e19ee1d9ae9cc8880a69fc2785e5d593
IEDL.DBID RIE
ISBN 9780780397583
0780397584
ISSN 1946-0740
IngestDate Wed Aug 27 02:20:58 EDT 2025
IsPeerReviewed false
IsScholarly true
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-i1667-cd3c80bc326026066fe2551c69fdabfc5e19ee1d9ae9cc8880a69fc2785e5d593
PageCount 8
ParticipantIDs ieee_primary_4178302
PublicationCentury 2000
PublicationDate 2006-Sept.
PublicationDateYYYYMMDD 2006-09-01
PublicationDate_xml – month: 09
  year: 2006
  text: 2006-Sept.
PublicationDecade 2000
PublicationTitle 2006 IEEE Conference on Emerging Technologies and Factory Automation
PublicationTitleAbbrev ETFA
PublicationYear 2006
Publisher IEEE
Publisher_xml – name: IEEE
SSID ssj0000394691
ssj0001096939
Score 1.851921
Snippet The execution model in a new standard for distributed control systems, IEC 61499, is analyzed. It is shown how the same standard compliant application running...
SourceID ieee
SourceType Publisher
StartPage 1269
SubjectTerms Application software
Control systems
Distributed control
Formal verification
Hardware
IEC standards
Process control
Programmable control
Runtime environment
Standards development
Title Formal Modeling of Function Block Applications Running in IEC 61499 Execution Runtime
URI https://ieeexplore.ieee.org/document/4178302
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV3Pa8IwFA7qabvsh479JocdV21t0iZHJy1u4BhDwZs0ySuIo8qwMPbX7yW1zo0ddmubUNok5Pvee3nfI-SOKwaGA3iCC_AYQpAnkQh4cSZxn9S55C6CP36ORlP2NOOzBrnf5cIAgDt8Bl176WL5ZqVL6yrrsSC2clVN0oxFVOVq7fwpfihZrfvi_CvIzaUrJIZmOhrNMfOd1S6wI3JkthXfqe_DOoTpy14ySQdVmCK0emU_C6843EmPyLj-4uq4ybJbblRXf_4Sc_zvLx2TzneGH33ZYdcJaUBxSg73xAnbZJpaOvtGbbU0m7NOVzlNEQXtTNIHxMAlHexFv-lr6aof0UVBH5MhRUCWkiYfoN3Sts22jn0H35tMhiNvW4TBWwQRbqLahFr4SiPNs_JjUZQDWiGBjmRuMpVrDoEECIwV-dYa7Wk_wybdjwUHbrgMz0irWBVwTmis_Rj78b4IQqaVkn4IxsgokxxnQYkL0rYDNF9XOhvz7dhc_v34ihxU7hB73uuatDbvJdwgQdioW7cyvgCczrFB
linkProvider IEEE
linkToHtml http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV3PT8IwFG4QD-rFH2D8bQ8eHWys3dYjkhFQIMZAwo2s7VtCMMMYlhj_el87hmg8eNvWZtnapt_33uv7HiF3XDLQHMCJeAQOQwhyBBIBJ0wE7pMqFdxG8IejoDdhj1M-rZD7TS4MANjDZ9AwlzaWr5cqN66yJvNCI1e1Q3Y5Y4wX2Vobj4rrC1Yqv1gPC7JzYUuJoaGOZnPIXGu3R9gRWTJby--U934ZxHRFMx5320WgwjeKZT9Lr1jk6R6SYfnNxYGTRSNfyYb6_CXn-N-fOiL17xw_-rxBr2NSgeyEHGzJE9bIpGsI7Ss19dJM1jpdprSLOGjmkj4gCi5oeyv-TV9yW_-IzjPajzsUIVkIGn-AsovbNJtK9nV8bzzu9Jx1GQZn7gW4jSrtq8iVComeESALghTQDvFUIFKdyFRx8ASAp43Mt1JoUbsJNqlWGHHgmgv_lFSzZQZnhIbKDbEfb0Wez5SUwvVBaxEkguMsyOic1MwAzd4KpY3Zemwu_n58S_Z64-FgNuiPni7JfuEcMae_rkh19Z7DNdKFlbyxq-QLHPG0jg
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=2006+IEEE+Conference+on+Emerging+Technologies+and+Factory+Automation&rft.atitle=Formal+Modeling+of+Function+Block+Applications+Running+in+IEC+61499+Execution+Runtime&rft.au=Cengic%2C+G.&rft.au=Ljungkrantz%2C+O.&rft.au=Akesson%2C+K.&rft.date=2006-09-01&rft.pub=IEEE&rft.isbn=9780780397583&rft.issn=1946-0740&rft.spage=1269&rft.epage=1276&rft_id=info:doi/10.1109%2FETFA.2006.355187&rft.externalDocID=4178302
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1946-0740&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1946-0740&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1946-0740&client=summon