Compositional Blocks for Optimal Self-Healing Gradients

With the constant increase in the number of interconnected devices in today networks, and the high demand of adaptiveness, more and more computations can be designed according to self-organisation principles. In this context, a key building block for large-scale system coordination, called gradient, is used to estimate distances in a fully-distributed way: it is the basis for a vast variety of higher level patterns including information broadcast, events forecasting, distributed sensing, and so on. However, computing gradients is very problematic in mobile environments: the fastest self-healing gradient conceived so far (called BIS) achieves a reaction speed proportional to the single-path speed of information in the network. In this paper we introduce a new gradient algorithm, SVD (Stale Values Detection) gradient, which uses broadcasts to reach a reaction speed that is equal to the multi-path speed of information, namely, the fastest speed possibly achievable by network algorithms. We then combine SVD with other blocks (metric correction, smooth filtering, BIS gradient, information damping) proposing a composed block called ULT(imate) gradient. We evaluate the resulting algorithm and compare it with other approaches, showing it scores best both on accuracy and smoothness while keeping communication cost under control.

[1]  Mirko Viroli,et al.  A Calculus of Self-stabilising Computational Fields , 2014, COORDINATION.

[2]  Andrea Omicini,et al.  Design Patterns for Self-organising Systems , 2007, CEEMAS.

[3]  Mirko Viroli,et al.  Description and composition of bio-inspired design patterns: a complete overview , 2012, Natural Computing.

[4]  David E. Culler,et al.  Hood: a neighborhood abstraction for sensor networks , 2004, MobiSys '04.

[5]  Radhika Nagpal Programmable self-assembly: constructing global shape using biologically-inspired local interactions and origami mathematics , 2001 .

[6]  W. Weibull A Statistical Distribution Function of Wide Applicability , 1951 .

[7]  Jacob Beal,et al.  Fast self-healing gradients , 2008, SAC '08.

[8]  Franco Zambonelli,et al.  A taxonomy of architectural patterns for self-adaptive systems , 2013, C3S2E '13.

[9]  Jacob Beal,et al.  Infrastructure for engineered emergence on sensor/actuator networks , 2006, IEEE Intelligent Systems.

[10]  Olivier Michel,et al.  Computational models for integrative and developmental biology , 2002 .

[11]  Radhika Nagpal,et al.  Organizing a Global Coordinate System from Local Information on an Ad Hoc Sensor Network , 2003, IPSN.

[12]  Mirko Viroli,et al.  Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed , 2017, COORDINATION.

[13]  Philip Wadler,et al.  Featherweight Java: a minimal core calculus for Java and GJ , 2001, TOPL.

[14]  Jacob Beal,et al.  Protelis: practical aggregate programming , 2015, SAC.

[15]  Jacob Beal,et al.  Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields , 2015, FORTE.

[16]  Jacob Beal,et al.  Self-Adaptation to Device Distribution Changes , 2016, 2016 IEEE 10th International Conference on Self-Adaptive and Self-Organizing Systems (SASO).

[17]  Mario E Inchiosa,et al.  Overcoming design and development challenges in agent-based modeling using ascape , 2002, Proceedings of the National Academy of Sciences of the United States of America.

[18]  Franco Zambonelli,et al.  Programming pervasive and mobile computing applications: The TOTA approach , 2009, TSEM.

[19]  Mirko Viroli,et al.  Chemical-oriented simulation of computational systems with ALCHEMIST , 2013, J. Simulation.

[20]  Jacob Beal,et al.  Aggregate Programming for the Internet of Things , 2015, Computer.

[21]  Jacob Beal,et al.  Organizing the Aggregate: Languages for Spatial Computing , 2012, ArXiv.

[22]  Jacob Beal,et al.  Flexible self-healing gradients , 2009, SAC '09.

[23]  David E. Culler,et al.  Supporting aggregate queries over ad-hoc wireless sensor networks , 2002, Proceedings Fourth IEEE Workshop on Mobile Computing Systems and Applications.

[24]  Mirko Viroli,et al.  Type-based Self-stabilisation for Computational Fields , 2015, Log. Methods Comput. Sci..

[25]  Stefan Dulman,et al.  Gradient-Based Distance Estimation for Spatial Computers , 2013, Comput. J..

[26]  Timothy W. Finin,et al.  KQML as an agent communication language , 1994, CIKM '94.

[27]  Jacob Beal,et al.  Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields , 2015, 2015 IEEE 9th International Conference on Self-Adaptive and Self-Organizing Systems.

[28]  Elizabeth M. Belding-Royer,et al.  A review of current routing protocols for ad hoc mobile wireless networks , 1999, IEEE Wirel. Commun..

[29]  Ugo Montanari,et al.  Asynchronous Distributed Execution Of Fixpoint-Based Computational Fields , 2016, Log. Methods Comput. Sci..