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 条
  • [41] Real-Time Simulation in Non Real-Time Environment
    Tarnawski, Jaroslaw
    Karla, Tomasz
    2016 21ST INTERNATIONAL CONFERENCE ON METHODS AND MODELS IN AUTOMATION AND ROBOTICS (MMAR), 2016, : 577 - 582
  • [42] Real-time constraints with the OCL
    Flake, S
    ISORC 2002: FIFTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS, 2002, : 425 - 426
  • [43] A Formal Methodology for Notational Analysis and Real-Time Decision Support in Sport Environment
    Capobianco, Giovanni
    Di Giacomo, Umberto
    Mercaldo, Francesco
    Santone, Antonella
    2018 IEEE INTERNATIONAL CONFERENCE ON BIG DATA (BIG DATA), 2018, : 5305 - 5307
  • [44] Real-Time Animation for Formal Specification
    Mery, Dominique
    Singh, Neeraj Kumar
    COMPLEX SYSTEMS DESIGN AND MANAGEMENT, 2010, : 49 - 60
  • [45] Formal development of a real-time kernel
    Fowler, S
    Wellings, A
    18TH IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 1997, : 220 - 229
  • [46] Component-based software design and formal description in real-time creditable service
    Chen W.-Y.
    Xiang T.
    Wang X.-B.
    Sang N.
    Sun S.-X.
    Dianzi Keji Daxue Xuebao/Journal of the University of Electronic Science and Technology of China, 2011, 40 (01): : 122 - 127
  • [47] An approach to a synthesis of formal and visual description techniques for the development of real-time reactive systems
    Muthiayen, D
    Alagar, VS
    Khendek, F
    Sefidcon, A
    SEVENTH INTERNATIONAL CONFERENCE ON REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS, 2000, : 491 - 497
  • [48] A Formal Model of IEC 61499-Based Industrial Automation Architecture Supporting Time-Aware Computations
    Drozdov, Dmitrii
    Dubinin, Victor
    Patil, Sandeep
    Vyatkin, Valeriy
    IEEE OPEN JOURNAL OF THE INDUSTRIAL ELECTRONICS SOCIETY, 2021, 2 : 169 - 183
  • [49] FORMAL SPECIFICATION OF REAL-TIME SYSTEMS
    GORSKI, J
    COMPUTER PHYSICS COMMUNICATIONS, 1988, 50 (1-2) : 71 - 88
  • [50] Formal methods in real-time systems
    Olderog, ER
    10TH EUROMICRO WORKSHOP ON REAL-TIME SYSTEMS, PROCEEDINGS, 1998, : 254 - 263
12345