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 条
  • [21] Towards a Formal Verification Approach for Cloud Software Architecture
    Ayach, Amal
    Sliman, Layth
    Kmimech, Mourad
    Bhiri, Mohamed Tahar
    Raddaoui, Badran
    NEW TRENDS IN INTELLIGENT SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, 2017, 297 : 490 - 502
  • [22] Towards a compositional approach to the design and verification of distributed systems
    Charpentier, M
    Chandy, KM
    FM'99-FORMAL METHODS, 1999, 1708 : 570 - 589
  • [23] Towards a Runtime Verification Approach for Internet of Things Systems
    Leotta, Maurizio
    Ancona, Davide
    Franceschini, Luca
    Olianas, Dario
    Ribaudo, Marina
    Ricca, Filippo
    CURRENT TRENDS IN WEB ENGINEERING (ICWE 2018), 2018, 11153 : 83 - 96
  • [24] Towards an integrated approach to human evolution
    Foley, RA
    Donnelly, P
    GENES, FOSSILS AND BEHAVIOUR: AN INTEGRATED APPROACH TO HUMAN EVOLUTION, 2001, 310 : 1 - 12
  • [25] A synthetic approach towards the understanding of evolution
    Ishikawa, Takumi
    Nakano, Kaoru
    PROCEEDINGS OF THE SECOND IASTED INTERNATIONAL CONFERENCE ON ENVIRONMENTAL MODELLING AND SIMULATION, 2006, : 124 - +
  • [26] COLUMBUS System Integration and Verification Approach
    Canovai, G.
    Mellab, K.
    2008 MIKON CONFERENCE PROCEEDINGS, VOLS 1 AND 2, 2008, : 309 - 316
  • [27] A verification approach to applied system security
    Brucker A.D.
    Wolff B.
    International Journal on Software Tools for Technology Transfer, 2005, 7 (3) : 233 - 247
  • [28] Towards a self-sufficient face verification system
    Lopez-Lopez, Eric
    Regueiro, Carlos, V
    Pardo, Xose M.
    Franco, Annalisa
    Lumini, Alessandra
    EXPERT SYSTEMS WITH APPLICATIONS, 2021, 174
  • [29] Correctness by construction: Towards verification in hierarchical system development
    Majster-Cederbaum, M
    Salger, F
    SPIN MODEL CHECKING AND SOFTWARE VERIFICATON, 2000, 1885 : 163 - 180
  • [30] Towards a Unifying CSP approach to Hierarchical Verification of Asynchronous Hardware
    Wang, X.
    Kwiatkowska, M.
    Theodoropoulos, G.
    Zhang, Q.
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 128 (06) : 231 - 246
12345