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 条
  • [31] Real-Time Environment Description Application for Visually Challenged People
    Bhile, Amey Arvind
    Hole, Varsha
    SECOND INTERNATIONAL CONFERENCE ON COMPUTER NETWORKS AND COMMUNICATION TECHNOLOGIES, ICCNCT 2019, 2020, 44 : 326 - 332
  • [32] Runtime verification of embedded real-time systems
    Thomas Reinbacher
    Matthias Függer
    Jörg Brauer
    Formal Methods in System Design, 2014, 44 : 203 - 239
  • [33] Safe Runtime Verification of Real-Time Properties
    Colombo, Christian
    Pace, Gordon J.
    Schneider, Gerardo
    FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, PROCEEDINGS, 2009, 5813 : 103 - +
  • [34] Copilot: A Hard Real-Time Runtime Monitor
    Pike, Lee
    Goodloe, Alwyn
    Morisset, Robin
    Niller, Sebastian
    RUNTIME VERIFICATION, 2010, 6418 : 345 - +
  • [35] Runtime Verification of Real-time Embedded Systems
    Bonakdarpour, Borzoo
    Fischmeister, Sebastian
    EMSOFT '12: PROCEEDINGS OF THE TENTH AMC INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE 2012, 2012, : 249 - 250
  • [36] Runtime verification of embedded real-time systems
    Reinbacher, Thomas
    Fuegger, Matthias
    Brauer, Joerg
    FORMAL METHODS IN SYSTEM DESIGN, 2014, 44 (03) : 203 - 239
  • [37] RTMLton: An SML Runtime for Real-Time Systems
    Shivkumar, Bhargav
    Murphy, Jeffrey
    Ziarek, Lukasz
    PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES (PADL 2020), 2020, 12007 : 113 - 130
  • [38] Testing Real-Time Systems with Runtime Enforcement
    Bechennec, Jean-Luc
    Faucou, Sebastien
    Roux, Olivier H.
    Brun, Matthias
    Givel, Louis-Marie
    IEEE DESIGN & TEST, 2018, 35 (04) : 31 - 37
  • [39] An implementation of a hybrid system integrating the Java']Java runtime environment and a real-time OS
    Nakamoto, Y
    Usui, K
    Asakura, Y
    INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-V, PROCEEDINGS, 1999, : 991 - 997
  • [40] An approach for pre-runtime scheduling in embedded hard real-time systems with power constraints
    Tavares, E
    Barreto, R
    Oliveira, M
    Maciel, P
    Neves, M
    Lima, R
    16TH SYMPOSIUM ON COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING, PROCEEDINGS, 2004, : 188 - 195
12345