Synthesizing Multirate Programs from IEC 61499

被引:2
|
作者
Yoong, Li Hsien [1 ]
Roop, Partha S. [2 ]
机构
[1] Invenco Grp Ltd, Auckland, New Zealand
[2] Univ Auckland, Dept Elect & Comp Engn, Auckland, New Zealand
来源
2015 IEEE 18TH INTERNATIONAL SYMPOSIUM ON REAL-TIME DISTRIBUTED COMPUTING (ISORC) | 2015年
关键词
LANGUAGES;
D O I
10.1109/ISORC.2015.26
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
IEC 61499 is a standard for designing industrial control systems using function blocks. Since its publication in 2005, several run-time environments have been developed as plausible implementations. Most of them, however, are poorly suited for use in safety-critical systems, as they are unable to guarantee deterministic behaviour and predictable timing. The use of different run-time environments results in subtle behavioural differences and complicates the effort of static timing analysis. We offer an alternative solution by leveraging the model-based approach to automatically synthesize multirate synchronous programs for a multitasking environment. Our approach preserves the well-known deterministic property of synchronous programs, while facilitating static timing analysis of IEC 61499 specifications. We achieve this without the need to introduce any foreign artefact to the standard. The schedulability criterion for tasks derived using our technique is given for the rate-monotonic scheduling policy. The viability of our approach is demonstrated through a code generator, which synthesizes multirate synchronous code for multi-task execution on the mu C/OS-II real-time operating system.
引用
收藏
页码:43 / +
页数:9
相关论文
共 50 条
  • [21] The past, present, and future of IEC 61499
    Zoitl, Alois
    Strasser, Thomas
    Hall, Ken
    Staron, Ray
    Suender, Christoph
    Favre-Bulle, Bernard
    HOLONIC AND MULTI-AGENT SYSTEMS FOR MANUFACTURING, PROCEEDINGS, 2007, 4659 : 1 - +
  • [22] Integration of IEC 61499 with OPC UA
    Kozar, Slavomir
    Kadera, Petr
    2016 IEEE 21ST INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2016,
  • [23] A Case Study on Migration from IEC 61131 PLC to IEC 61499 Function Block Control
    Dai, William Wenbin
    Vyatkin, Valeriy
    2009 7TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, VOLS 1 AND 2, 2009, : 79 - 84
  • [24] Guaranteeing Replica Determinism on IEC 61499
    de Sousa, Mario
    2014 IEEE EMERGING TECHNOLOGY AND FACTORY AUTOMATION (ETFA), 2014,
  • [25] IEC 61499 and the Promise of Holonic Systems
    Brennan, Robert W.
    Lyu, Guolin
    INDUSTRIAL APPLICATIONS OF HOLONIC AND MULTI-AGENT SYSTEMS (HOLOMAS 2019), 2019, 11710 : 3 - 12
  • [26] Contract Based Verification of IEC 61499
    Lindgren, Per
    Lindner, Marcus
    Pereira, David
    Pinho, Luis Miguel
    2016 IEEE 14TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2016, : 132 - 141
  • [27] Programmable Logic for IEC 61850 Logical Nodes by means of IEC 61499
    Yang, ChenWei
    Vyatkin, Valeriy
    Nair, Nirmal-Kumar C.
    Chouinard, Julien
    IECON 2011: 37TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY, 2011,
  • [28] Towards Implementation of IEC 61850 GOOSE Messaging in IEC 61499 Environment
    Xu, Jiang
    Yang, Chen-Wei
    Zhabelova, Gulnara
    Berber, Stevan
    Vyatkin, Valeriy
    2013 11TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2013, : 464 - 470
  • [29] Migration From PLC to IEC 61499 Using Semantic Web Technologies
    William Dai, Wenbin
    Dubinin, Victor N.
    Vyatkin, Valeriy
    IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2014, 44 (03): : 277 - 291
  • [30] A Portability Study of IEC 61499: Semantics and Tools
    Pang, Cheng
    Patil, Sandeep
    Yang, Chen-Wei
    Vyatkin, Valeriy
    Shalyto, Anatoly
    2014 12TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2014, : 440 - +