MODOC - Model-Driven Development of Self-Organizing Control Applications (DFG SPP 1183)
Actuator- and sensor networks (AS-NETs) will become an integral part of our living and working environment. AS-NETs consist of embedded controllers, mobile devices (e.g. PDAs, Smart- Phones), and sensors. These devices form complex wireless communication networks that are subject to unpredictable changes. Thus, it is impossible to completely predetermine the configuration at design-time, e.g. to decide which device executes which application components. Furthermore, faults and changes require constant reconfiguration.
However, users do not want to administer their applications at run-time. Hence, applications have to be self-organizing in order to adapt to changing settings. For example, an application should reconfigure itself when faults occur or at least recover when faults have been removed.
Self-organization requires knowledge about the application. It cannot be achieved by a middleware alone. Thus, MODOC is a model-driven development approach that encapsulates the required expert knowledge into the model transformation. Non-experts can develop applications using a high-level modeling language. A model transformation inspects the application model and synthesizes application components capable of self-organization and self-stabilization.
The project is carried out in cooperation with the "Communication and Operating Systems" group of the Berlin University of Technology and the "Distributed Systems" group of the University of Duisburg.