Model-Driven Development of Self-organising Control Applications
In this article we present a software development methodology and a supporting algorithm toolbox for Organic Computing applications that were developed in the context of the MODOC project. We focus on control applications for dynamic actuator/sensor networks that have no skilled human administrator and that are subject to frequent random hardware failures. To deal with these characteristics, applications in this setting should be self-organising and self-stabilising. However, realising self-organising and self-stabilising applications is usually a complex task requiring expert knowledge. Thus, we show that the development of such applications can be greatly simplified by shifting complexity into a model-driven tool chain. Developers implement their application in a high-level language based on a role abstraction focusing on application functionality. In order to hide the remaining complexity, we developed a tool chain which is responsible for transforming the high-level code to executable machine code that is automatically enriched by self-x properties such as self-organisation and self-stabilisation, which are not explicitly defined by the application programmer. Thereby, the application benefits from extended fault-tolerance and availability. A major part of the tool chain is a toolbox containing self-x algorithms commonly required for Organic Computing applications. The heart of the toolbox is an algorithm stack realised by our publish/subscribe middleware Rebeca that is able to efficiently realise self-organisation even in case of large networks.
KeywordsModel-driven development Publish/subscribe Self-stabilisation Self-organisation Actuator and sensor networks Composite event detection Adaptive routing
Unable to display preview. Download preview PDF.
- 2.Jaeger, M.A., Mühl, G.: Stochastic analysis and comparison of self-stabilizing routing algorithms for publish/subscribe systems. In: Proceedings of the 13th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems (MASCOTS ’05), pp. 471–479. IEEE Comput. Soc., Los Alamitos (2005) CrossRefGoogle Scholar
- 3.Jaeger, M.A., Mühl, G., Werner, M., Parzyjegla, H.: Reconfiguring self-stabilizing publish/subscribe systems. In: Proceedings of the 17th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management (DSOM 2006). LNCS, vol. 4269, pp. 233–238. Springer, Berlin (2006) Google Scholar
- 5.Mühl, G., Schröter, A., Parzyjegla, H., Kounev, S., Richling, J.: Stochastic analysis of hierarchical publish/subscribe systems. In: Proceedings of the 15th International Euro-Par Conference on Parallel Processing (Euro-Par ’09). LNCS, vol. 5704, pp. 97–109. Springer, Berlin (2009) Google Scholar
- 6.Mühl, G., Werner, M., Jaeger, M.A., Herrmann, K., Parzyjegla, H.: On the definitions of self-managing and self-organizing systems. In: KiVS 2007 Workshop: Selbstorganisierende, Adaptive, Kontextsensitive verteilte Systeme (SAKS 2007). Springer, Berlin (2007) Google Scholar
- 8.Parzyjegla, H., Jaeger, M.A., Mühl, G., Weis, T.: A model-driven approach to the development of autonomous control applications. In: Proceedings of the 1st Workshop on Model-Driven Software Adaptation (M-ADAPT ’07) at ECOOP 2007, vol. 2007-10, pp. 25–27. Technische Universität Berlin, Berlin (2007) Google Scholar
- 12.Schröter, A., Graff, D., Mühl, G., Richling, J., Parzyjegla, H.: Self-optimizing hybrid routing in publish/subscribe systems. In: Proceedings of the 20th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management (DSOM 2009). LNCS, vol. 5841, pp. 111–122. Springer, Berlin (2009) Google Scholar
- 13.Schröter, A., Mühl, G., Kounev, S., Parzyjegla, H., Richling, J.: Stochastic performance analysis and capacity planning of publish/subscribe systems. In: Proceedings of the 4th ACM International Conference on Distributed Event-Based Systems (DEBS ’10). ACM, New York (2000) Google Scholar
- 15.Seib, E., Parzyjegla, H., Mühl, G.: Distributed composite event detection in publish/subscribe networks—a case for self-organization. In: Proceedings of the Workshops der wissenschaftlichen Konferenz Kommunikation in verteilten Systemen 2011 (WowKiVS 2011), Electronic Communications of the EASST. European Association of Software Science and Technology (EASST), March 2011 Google Scholar