Towards an approach for the verification of downtimeless system evolution

被引：0
|
作者：
Suender, Christoph [1 ]
Favre-Bulle, Bernard [1 ]
Vyatkin, Valeriy [2 ]
机构：
[1] Vienna Univ Technol, Automat & Control Inst, Gusshaus Str 27-29-376, A-1040 Vienna, Austria
[2] Univ Auckland, Dept Elect & Comp Engn, Auckland, New Zealand
来源：
2006 IEEE CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION, VOLS 1 -3 | 2006年
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper presents ongoing work focused on dynamic reconfiguration of industrial automation systems as a part of their total life cycle. Modification of the control logic has to be enabled at runtime and without any disturbances of related applications. The epsilon CEDAC engineering cycle for dynamic system evolution is based on the use of an IEC 61499 reconfiguration application responsible for the dynamic transformation of the program during its execution. The verification of this evolution step takes the central role in this engineering cycle. The paper discusses the general requirements for this kind of verification. Especially the capabilities of the automation system-the used hardware and software form a major point. The paper describes the basic concepts and ongoing work regarding the verification of downtimeless system evolution.
引用
收藏
页码：1203 / +
页数：2
相关论文
共 50 条
  • [1] Formal Verification of Downtimeless System Evolution in Embedded Automation Controllers
    Suender, Christoph
    Vyatkin, Valeriy
    Zoitl, Alois
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2013, 12 (01)
  • [2] Downtimeless system evolution:: Current state and future trends
    Hummer, Oliver
    Suender, Christoph
    Strasser, Thomas
    Rooker, Martijn N.
    Kerbleder, Gerold
    2007 5TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, VOLS 1-3, 2007, : 1123 - +
  • [3] Enhanced engineering of downtimeless system evolution by use of hardware capability descriptions within the εCEDAC approach
    Suender, Christoph
    Hummer, Oliver
    Favre-Bulle, Bernard
    ETFA 2007: 12TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOLS 1-3, 2007, : 764 - 767
  • [4] Towards a Hybrid Verification Approach
    Elaraby, Nahla
    Kuhn, Eva
    Messinger, Anita
    Radschek, Sophie Therese
    SOFTWARE TECHNOLOGIES: APPLICATIONS AND FOUNDATIONS, 2018, 11176 : 367 - 386
  • [5] Towards Mechatronics Approach of System Design, Verification and Validation for Autonomous Vehicles
    Samak, Chinmay
    Samak, Tanmay
    Krovi, Venkat
    2023 IEEE/ASME INTERNATIONAL CONFERENCE ON ADVANCED INTELLIGENT MECHATRONICS, AIM, 2023, : 1208 - 1213
  • [6] A Hierarchical Approach Towards System Level Static Timing Verification of SoCs
    Chakraborty, Rupsa
    Chowdhury, Dipanwita Roy
    2009 IEEE INTERNATIONAL CONFERENCE ON COMPUTER DESIGN, 2009, : 201 - 206
  • [7] Towards an Integrated Approach to Verification and Model-Based Testing in System Engineering
    Lefticaru, Raluca
    Konur, Savas
    Yildirim, Unal
    Uddin, Amad
    Campean, Felician
    Gheorghe, Marian
    2017 IEEE INTERNATIONAL CONFERENCE ON INTERNET OF THINGS (ITHINGS) AND IEEE GREEN COMPUTING AND COMMUNICATIONS (GREENCOM) AND IEEE CYBER, PHYSICAL AND SOCIAL COMPUTING (CPSCOM) AND IEEE SMART DATA (SMARTDATA), 2017, : 131 - 138
  • [8] Towards a Model-Driven Approach to Information System Evolution
    Aboulsamh, Mohammed
    Davies, Jim
    INFORMATION SYSTEMS DEVELOPMENT: ASIAN EXPERIENCES, 2011, : 269 - 280
  • [9] Towards formal verification on the system level
    Drechsler, R
    15TH IEEE INTERNATIONAL WORKSHOP ON RAPID SYSTEM PROTOTYPING, PROCEEDINGS: SHORTENING THE PATH FROM SPECIFICATION TO PROTOTYPE, 2004, : 2 - 5
  • [10] The Cyber-Physical System Approach Towards Artificial General Intelligence: The Problem of Verification
    Toser, Zoltan
    Lorincz, Andras
    ARTIFICIAL GENERAL INTELLIGENCE (AGI 2015), 2015, 9205 : 373 - 383
12345