Synchronous execution of IEC 61499 function blocks using Esterel

被引:0
|
作者
Yoong, Li Hsien [1 ]
Roop, Partha [1 ]
Vyatkin, Valedy [1 ]
Salcic, Zoran [1 ]
机构
[1] Univ Auckland, Dept Elect & Comp Engn, Auckland 1, New Zealand
关键词
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
The IEC 61499 standard proposes a component-oriented approach for specifying industrial-process measurement and control systems using function blocks. Unfortunately, the standard does not provide rigorous semantics for the execution of function blocks, resulting in different behaviours on different implementations. The differences arise mostly as a result of the various event handling and scheduling mechanisms employed. To overcome such ambiguities, this paper proposes synchronous semantics for function block execution by translating function block programs into Esterel, a well-known synchronous language. The mathematical foundation of synchronous languages will not only precisely define the execution semantics, but also open up the pathway for formal verification of function blocks.
引用
收藏
页码:1189 / 1194
页数:6
相关论文
共 50 条
  • [1] Verifying IEC 61499 Function Blocks Using Esterel
    Yoong, Li Hsien
    Roop, Partha S.
    [J]. IEEE EMBEDDED SYSTEMS LETTERS, 2010, 2 (01) : 1 - 4
  • [2] Modeling and clarifying the execution of IEC 61499 function blocks using XNet
    Hagge, Nils
    Wagner, Bernardo
    [J]. 2007 5TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, VOLS 1-3, 2007, : 1177 - 1182
  • [3] Implementation of full synchronous composition using IEC 61499 function blocks
    Cengic, G
    Åkesson, K
    Lennartson, B
    Yuan, CY
    Ferreira, P
    [J]. 2005 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING (CASE), 2005, : 267 - 272
  • [4] IEC 61499 Execution Model Based on Life Cycle of Function Blocks
    Catalan, Carlos
    Serna, Felix
    Blesa, Alfonso
    Rams, Josep M.
    [J]. 2010 IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2010,
  • [5] Remote Web-Based Execution of IEC 61499 Function Blocks
    Rohat, Oana
    Popescu, Dan
    [J]. PROCEEDINGS OF THE 2014 6TH INTERNATIONAL CONFERENCE ON ELECTRONICS, COMPUTERS AND ARTIFICIAL INTELLIGENCE (ECAI), 2014,
  • [6] Speculative Computation in IEC 61499 Function Blocks Execution - Modeling and Simulation
    Drozdov, Dmitrii
    Dubinin, Victor
    Vyatkin, Valeriy
    [J]. 2016 IEEE 14TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2016, : 748 - 755
  • [7] Sequential axiomatic model for execution of basic function blocks in IEC61499
    Vyatkin, Valeriy
    Dubinin, Victor
    [J]. 2007 5TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, VOLS 1-3, 2007, : 1183 - +
  • [8] Refactoring of Execution Control Charts in Basic Function Blocks of the IEC 61499 Standard
    Vyatkin, Valeriy
    Dubinin, Victor
    [J]. IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2010, 6 (02) : 155 - 165
  • [9] Reconfigurable logic control using IEC 61499 function blocks
    Almeida, E. Emanuel
    Luntz, Jonathan E.
    Tilbury, Dawn M.
    [J]. 2006 IEEE CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION, VOLS 1 -3, 2006, : 1255 - +
  • [10] Using the CIP protocol with IEC 61499 communication function blocks
    Weehuizen, Frans
    Zoitl, Alois
    [J]. 2007 5TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, VOLS 1-3, 2007, : 261 - +