Daniel Sykes
Jeff Kramer
ABSTRACT
Autonomous systems need to support dynamic software adaptation in order to handle the complexity and unpredictability of the execution environment, and the changing needs of the end user. Although a number of approaches have been proposed, few address a key issue: that of distribution.
In this paper we seek to overcome the limitations of centralised approaches. We build on our previous work on adaptive self-assembly within the three-layer model for autonomous systems to provide a decentralised technique for self-assembly. To achieve this in a fault-tolerant and scalable manner, we use a gossip protocol as a basis. While no central or leader node is aware of the full space of solutions, gossip ensures that agreement on a particular solution - in this case a component configuration - is reached in a logarithmic number of steps with respect to the size of the network.
- N. Arshad, D. Heimbigner, and A. L. Wolf. Deployment and dynamic reconfiguration planning for distributed software systems. Software Quality Journal, 15(3):265--281, 2007. Google Scholar
Digital Library
- R. Brooks. A robust layered control system for a mobile robot. Robotics and Automation, IEEE Journal of, 2(1):14--23, 1986.Google Scholar
- S.-W. Cheng. Rainbow: Cost-Effective Software Architecture-Based Self-Adaptation. PhD thesis, 2008. Google ScholarDigital Library
- A. Demers, D. Greene, C. Hauser, W. Irish, J. Larson, S. Shenker, H. Sturgis, D. Swinehart, and D. Terry. Epidemic algorithms for replicated database maintenance. In Proceedings of the sixth annual ACM Symposium on Principles of Distributed Computing, pages 1--12. ACM New York, NY, USA, 1987. Google ScholarDigital Library
- I. Epifani, C. Ghezzi, R. Mirandola, and G. Tamburrelli. Model evolution by run-time parameter adaptation. In Proceedings of the 2009 International Conference on Software Engineering, pages 111--121. IEEE Computer Society, 2009. Google ScholarDigital Library
- D. Garlan and B. Schmerl. Model-based adaptation for self-healing systems. In WOSS '02: Proceedings of the first workshop on Self-healing systems, pages 27--32, New York, NY, USA, 2002. ACM Press. Google ScholarDigital Library
- I. Georgiadis, J. Magee, and J. Kramer. Self-organising software architectures for distributed systems. In WOSS '02: Proceedings of the first workshop on Self-healing systems, pages 33--38, New York, NY, USA, 2002. ACM Press. Google ScholarDigital Library
- W. Heaven, D. Sykes, J. Magee, and J. Kramer. A Case Study in Goal-Driven Architectural Adaptation. Software Engineering for Self-Adaptive Systems, 2009. Google ScholarDigital Library
- M. Jelasity, A. Montresor, and O. Babaoglu. Gossip-based aggregation in large dynamic networks. ACM Transactions on Computer Systems (TOCS), 23(3):252, 2005. Google ScholarDigital Library
- D. Kempe, A. Dobra, and J. Gehrke. Gossip-based computation of aggregate information. In Annual Symposium on Foundations Of Computer Science, volume 44, pages 482--491. IEEE Computer Society Press, 2003. Google ScholarDigital Library
- J. Kramer and J. Magee. Self-managed systems: an architectural challenge. Future of Software Engineering, 2007. FOSE'07, 0:259--268, 2007. Google ScholarDigital Library
- D. Le Metayer. Describing software architecture styles using graph grammars. Software Engineering, IEEE Transactions on, 24(7):521--533, 1998. Google ScholarDigital Library
- N. Lynch. Distributed Algorithms. Morgan Kaufman, 1996. Google ScholarDigital Library
- B. Pittel. On spreading a rumor. SIAM Journal on Applied Mathematics, pages 213--223, 1987. Google ScholarDigital Library
- D. Sykes, W. Heaven, J. Magee, and J. Kramer. From Goals to Components: A Combined Approach to Self-Management. Proc. of ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2008. Google ScholarDigital Library
- D. Sykes, W. Heaven, J. Magee, and J. Kramer. Exploiting non-functional preferences in architectural adaptation for self-managed systems. In Proceedings of the Symposium on Applied Computing. ACM, 2010. Google ScholarDigital Library
- H. Tajalli, J. Garcia, G. Edwards, and N. Medvidovic. PLASMA: a plan-based layered architecture for software model-driven adaptation. In Proceedings of the International Conference on Automated Software Engineering, pages 467--476. ACM, 2010. Google ScholarDigital Library
- R. van Renesse. Epidemic protocols (or, gossip is good). http://www.cis.cornell.edu/iai/events/Gossip_Tutorial.pdf.Google Scholar
- D. Weyns, S. Malek, and J. Andersson. On decentralized self-adaptation: lessons from the trenches and challenges for the future. In Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, pages 84--93, New York, NY, USA, 2010. ACM. Google ScholarDigital Library
- J. Zhang and B. Cheng. Modular model checking of dynamically adaptive programs. Technical report, Michigan State University, 2006.Google Scholar
Index Terms
- FlashMob: distributed adaptive self-assembly
Recommendations
Araneola: A scalable reliable multicast system for dynamic environments
This paper presents Araneola (Araneola means ''little spider'' in Latin.), a scalable reliable application-level multicast system for highly dynamic wide-area environments. Araneola supports multi-point to multi-point reliable communication in a fully ...
DECA: a hierarchical framework for DECentralized aggregation in DHTs
DSOM'06: Proceedings of the 17th IFIP/IEEE international conference on Distributed Systems: operations and managementAs Structured Peer-to-Peer (P2P) Networks become popular, there is an emerging need to monitor continuously the huge number of participants in a robust and scalable manner. To this end, aggregation has emerged as a basis for the self-management of these ...
A Robust Algorithm for the Membership Management of Super-Peer Overlay
MMNS 2009: Proceedings of the 12th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services: Wired-Wireless Multimedia Networks and Services ManagementPeer-to-Peer technologies have been widely applied for multimedia applications. The super-peer based approach provides an efficient way to run applications by exploring nodes' heterogeneity. In P2P live video streaming, even though the number of stable ...
Comments