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 条
  • [31] Towards a Formal Approach for the Verification of SCA/BPEL Software Architectures
    Taoufik, Sakka Rouis
    Tahar, Bhiri Mohamed
    Layth, Sliman
    Mourad, Kmimech
    2017 8TH INTERNATIONAL CONFERENCE ON INFORMATION, INTELLIGENCE, SYSTEMS & APPLICATIONS (IISA), 2017, : 487 - 492
  • [32] Towards a Verification-Based Development Approach for Reactive Systems
    Kameda, Tae
    Arai, Osamu
    Gorlatch, Sergei
    Fujita, Hamido
    NEW TRENDS IN SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, 2009, 199 : 350 - 363
  • [33] Towards a Two Layered Verification Approach for Compiled Graph Transformation
    Horvath, Akos
    GRAPH TRANSFORMATIONS, ICGT 2008, 2008, 5214 : 499 - 501
  • [34] USER VERIFICATION FROM WALKING ACTIVITY First Steps towards a Personal Verification System
    Casale, Pierluigi
    Pujol, Oriol
    Radeva, Petia
    PECCS 2011: PROCEEDINGS OF THE 1ST INTERNATIONAL CONFERENCE ON PERVASIVE AND EMBEDDED COMPUTING AND COMMUNICATION SYSTEMS, 2011, : 179 - 185
  • [35] Towards the Evolution of an Artificial Homeostatic System
    Moioli, Renan C.
    Vargas, Patricia A.
    Von Zuben, Fernando J.
    Husbands, Phil
    2008 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-8, 2008, : 4023 - +
  • [36] Towards a new approach on software process evolution
    Ahmed-Nacer, M
    ACS/IEEE INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS, PROCEEDINGS, 2001, : 345 - 351
  • [37] An Approach for Verification of a Satellite Simulator - an evolving system
    Barbosa da Silva, Paulo Diego
    Villani, Emilia
    Ambrosio, Ana Maria
    Azevedo, Denise Rotondi
    2016 SEVENTH LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE COMPUTING (LADC), 2016, : 176 - 182
  • [38] Biometric Palmprint Verification: A Dynamical System Approach
    Palma, David
    Montessoro, Pier Luca
    Giordano, Giulia
    Blanchini, Franco
    IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2019, 49 (12): : 2676 - 2687
  • [39] A Unified Approach to Requirements Validation and System Verification
    Foster, George J.
    Helm, Annette L.
    2010 IEEE INTERNATIONAL SYSTEMS CONFERENCE, 2010, : 404 - 408
  • [40] A PRACTICAL APPROACH TO PIPELINE SYSTEM MATERIALS VERIFICATION
    Lutz, Andrew R.
    Bubenik, Thomas A.
    PROCEEDINGS OF THE 9TH INTERNATIONAL PIPELINE CONFERENCE - 2012, VOL 4, 2013, : 809 - 813
12345