Skip to main content
Article thumbnail
Location of Repository

ABSTRACT A Concept for Dynamic Wiring of Components Correctness in Dynamic Adaptive Systems

By Dirk Niebuhr


Component-based Systems in our days tend to be more and more dynamic. Due to the increased mobility of devices hosting components, components have to be attached or detached to respectively from a system at runtime. This dynamic adaptation of the system configuration imposes several correctness issues. In general it is not possible to determine a correct system configuration without wiring and executing the system in advance. We will discuss approaches how to improve this situation. Finally we will focus on our favorite approach based on runtime testing

Topics: General Terms Design, Reliability, Verification Keywords Dynamic Adaptive Systems, Reconfiguration, Runtime Testing, Correctness, Component, Adaptation
Year: 2009
OAI identifier: oai:CiteSeerX.psu:
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.