October 30th, 2014: Model-Based Software Component Management ForThe Dynamic Reconfiguration Of Component-Based Embedded Systems

  • Speaker: Jan Rohde
  • Title:  Model-Based Software Component Management ForThe Dynamic Reconfiguration Of Component-Based Embedded Systems
  • Abstract: A software platform, which enables dynamic reconfiguration of component-based embedded systems is currently being developed at the IDA within the „Controlling Concurrent Change“ project. The reconfiguration procedure assures that the high requirements with respect to the real-time performance, reliability, data security and operating safety are met. In the first step of the reconfiguration process all planned changes are executed on a model of the under- lying platform, which was co-developed in this work. The model object provides mechanisms for the extraction of views. By introducing the view concept, different aspects of the modeled system can be considered and thereby a formal verification of the modeled system can be performed. As a further contribution to the CCC project, a management software for the model-based reconfiguration of a component-based system is developed. This software is called Component Manager and allows the dynamic addition, removal and replacement of components. All associated problems, such as component dependencies or constraints that are imposed by the component model, are described as a set of Boolean clauses. To effciently solve the stated problem, a SAT-solver is used. By means of the implemented optimization algorithm the minimal set of required components is introduced to the model. The use of databases enables the persistent storage of all required meta-information about the components and additionally of whole model states. On the basis of the stored model states former system configurations can be restored. The pending changes to the current system configuration can be exported and executed by system configurator module. To complete the work, the correct functioning of the Component Manager and the model object is shown within a case study.