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 条
  • [41] A System Approach to Reliability Verification Test Design
    Zhang, Jiliang
    Geiger, Celine
    Sun, Feng-Bin
    ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM 2016 PROCEEDINGS, 2016,
  • [42] A Verification-Based Approach to Evaluate Software Architecture Evolution
    Li Bixin
    Liao Li
    Yu Ximeng
    CHINESE JOURNAL OF ELECTRONICS, 2017, 26 (03) : 485 - 492
  • [43] A Verification-Based Approach to Evaluate Software Architecture Evolution
    LI Bixin
    LIAO Li
    YU Ximeng
    ChineseJournalofElectronics, 2017, 26 (03) : 485 - 492
  • [44] Towards the formal verification of lower system layers in automotive systems
    Beyer, S
    Böhm, P
    Knapp, S
    Gerke, M
    Leinenbach, D
    Hillebrand, M
    Paul, WJ
    der Rieden, TI
    2005 IEEE International Conference on Computer Design: VLSI in Computers & Processors, Proceedings, 2005, : 317 - 324
  • [45] Towards Assertion-Based Verification of Heterogeneous System Designs
    Laemmermann, Stefan
    Ruf, Juergen
    Kropf, Thomas
    Rosenstiel, Wolfgang
    Viehl, Alexander
    Jesser, Alexander
    Hedrich, Lars
    2010 DESIGN, AUTOMATION & TEST IN EUROPE (DATE 2010), 2010, : 1171 - 1176
  • [46] Towards the Automated Verification of Weibull Distributions for System Failure Rates
    Lu, Yu
    Miller, Alice A.
    Hoffmann, Ruth
    Johnson, Christopher W.
    CRITICAL SYSTEMS: FORMAL METHODS AND AUTOMATED VERIFICATION, 2016, 9933 : 81 - 96
  • [47] Towards a phase field model of the microstructural evolution of duplex steel with experimental verification
    Poulsen, S. O.
    Voorhees, P. W.
    Lauridsen, E. M.
    RECRYSTALLIZATION AND GRAIN GROWTH IV, 2012, 715-716 : 635 - +
  • [48] Towards verification of C# programs: A three-level approach
    Nepomniaschy, V. A.
    Anureev, I. S.
    Dubranovskii, I. V.
    Promsky, A. V.
    PROGRAMMING AND COMPUTER SOFTWARE, 2006, 32 (04) : 190 - 202
  • [49] A Solidity-to-CPN Approach Towards Formal Verification of Smart Contracts
    Garfatta, Ikram
    Klai, Kais
    Graiet, Mohamed
    Gaaloul, Walid
    2021 IEEE 30TH INTERNATIONAL CONFERENCE ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES (WETICE 2021), 2021, : 69 - 74
  • [50] The RESCUE Approach - Towards Compositional Hardware/Software Co-Verification
    Herber, Paula
    2014 IEEE INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING AND COMMUNICATIONS, 2014 IEEE 6TH INTL SYMP ON CYBERSPACE SAFETY AND SECURITY, 2014 IEEE 11TH INTL CONF ON EMBEDDED SOFTWARE AND SYST (HPCC,CSS,ICESS), 2014, : 721 - 724
12345