Guaranteeing correctness of component bindings in dynamic adaptive systems based on runtime testing

Abstract

Component-based software engineering has been successfully applied over the past years. Future system generations, like pervasive systems, are a vast array of decentralized, distributed, autonomic, heterogeneous, organically grown and continually evolving subsystems respectively components. Components may join or leave these systems during the whole system life-cycle -- even during runtime. We depend more and more on these dynamic adaptive systems. Hence we have to guarantee their correctness although the systems are evolving during runtime. In this paper we will show that existing approaches cannot guarantee the correctness of component bindings in dynamic adaptive systems. To guarantee system correctness and to support binding of components during runtime we integrate runtime testing into our component infrastructure DAiSI.