Formal description of an IEC 61499 runtime environment with real-time constraints

被引：5
|
作者：
Suender, Christoph [1 ]
Rofner, Hermann [2 ]
Vyatkin, Valeriy [3 ]
Favre-Bulle, Bernard [1 ,4 ]
机构：
[1] Vienna Univ Technol, Automat & Control Inst ACIN, Vienna, Austria
[2] Vienna Univ Technol, A-2006 Vienna, Austria
[3] Univ Auckland, Dept Elect & Comp Engn, Auckland 1, New Zealand
[4] Vienna Univ Technol, Automat & Control Inst ACIN, A-1010 Vienna, Austria
来源：
2007 5TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, VOLS 1-3 | 2007年
关键词：
D O I：
10.1109/INDIN.2007.4384885
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper investigates on the introduction of the runtime behavior and real-time constraints into the verification process of IEC 61499 based automation systems. In detail, the event propagation policies as well as the necessary execution time for all actions within the automation system need to be described for a complete model of the automation system. The basis of the formal description provides an analytic methodology for the event propagation policy of an IEC 61499 runtime implementation. By use of this methodology within the formal model of the runtime environment, the overall system behavior can be described also in the case of reactive systems properties.
引用
收藏
页码：853 / +
页数：2
相关论文
共 50 条
  • [1] A Real-Time Semantics for the IEC 61499 standard
    Lindgren, Per
    Lindner, Marcus
    Lindner, Andreas
    Vyatkin, Valeriy
    Pereira, David
    Pinho, Luis Miguel
    PROCEEDINGS OF 2015 IEEE 20TH CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION (ETFA), 2015,
  • [2] Modelling execution order and real-time constraints in IEC 61499 control applications
    Grabmair, G.
    Froschauer, R.
    Strasser, T.
    Zoitl, A.
    DIS 2006: IEEE WORKSHOP ON DISTRIBUTED INTELLIGENT SYSTEMS: COLLECTIVE INTELLIGENCE AND ITS APPLICATIONS, PROCEEDINGS, 2006, : 115 - +
  • [3] Real-time Dynamic Reconfiguration for IEC 61499
    Prenzel, Laurin
    Hofmann, Simon
    Steinhorst, Sebastian
    2022 IEEE 5TH INTERNATIONAL CONFERENCE ON INDUSTRIAL CYBER-PHYSICAL SYSTEMS, ICPS, 2022,
  • [4] An execution environment for real-time constrained control software based on IEC 61499
    Zoitl, Alois
    Grabmair, Gunnar
    Smodic, Rene
    Strasser, Thomas
    2007 5TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, VOLS 1-3, 2007, : 1117 - +
  • [5] Improved Communication Model for an IEC 61499 Runtime Environment
    Hofmann, Michael
    Rooker, Martijn
    Zoitl, Alois
    2011 IEEE 16TH CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2011,
  • [6] Modelling real-time constraints regarding reconfiguration aspects for IEC 61499 control applications
    Grabmair, G.
    Zoitl, A.
    Strasser, T.
    Froschauer, R.
    2007 5TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, VOLS 1-3, 2007, : 1135 - +
  • [7] Comprehensive Formal Description of IEC 61499 Control Devices
    Suender, Christoph
    Gosetti, Ivo
    Vyatkin, Valeriy
    Favre-Bulle, Bernard
    2008 6TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, VOLS 1-3, 2008, : 1127 - +
  • [8] Definition of the Execution Model Used in the Fuber IEC 61499 Runtime Environment
    Cengic, Goran
    Akesson, Knut
    2008 6TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, VOLS 1-3, 2008, : 276 - 281
  • [9] Formal modeling of function block applications running in IEC 61499 execution runtime
    Cengic, Goran
    Ljungkrant, Oscar
    Akesson, Knut
    2006 IEEE CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION, VOLS 1 -3, 2006, : 918 - +
  • [10] Enhanced real-time execution of modular control software based on IEC 61499
    Zoitl, Alois
    Smodic, Rene
    Suender, Christoph
    Grabmair, Gunnar
    2006 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), VOLS 1-10, 2006, : 327 - +
12345