Self-adaptation to Device Distribution Changes in Situated Computing Systems


Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio Damiani

2016 IEEE 10th International Conference on Self-Adaptive and Self-Organizing Systems, Augsburg, Germany, September 18-22, 2016
 2016
Best paper at IEEE SASO 2016

A key problem when coordinating the behaviour of devices in situated networks (e.g., pervasive computing, smart cities, Internet of Things, wireless sensor networks) is adaptation to changes impacting network topology, density, and heterogeneity. Computational goals for such systems are often expressed in terms of geometric properties of the continuous environment in which the devices are situated, and the results of resilient computations should depend primarily on that continuous environment, rather than the particulars of how devices happen to be distributed through it. In this paper, we identify a new property of distributed algorithms, eventual consistency, which guarantees that computation selfstabilizes to a final state that approximates a predictable limit as the density and speed of devices increases. We then identify a large class of programs that are eventually consistent, building on prior results on the field calculus computational model to identify a class of self-stabilizing programs. Finally, we confirm through simulation of pervasive network scenarios that eventually consistent programs from this class can provide resilient behavior where programs that are only self-stabilizing fail badly.

@article{SASO2016,
author    = {Jacob Beal and
               Mirko Viroli and
               Danilo Pianini and
               Ferruccio Damiani}
,
 title     = {Self-Adaptation to Device Distribution Changes},
 booktitle = {10th {IEEE} International Conference on Self-Adaptive and Self-Organizing
               Systems, {SASO} 2016, Augsburg, Germany, September 12-16, 2016}
,
 pages     = {60--69},
 year      = {2016},
 url       = {http://dx.doi.org/10.1109/SASO.2016.12},
 doi       = {10.1109/SASO.2016.12},
 editor    = {Giacomo Cabri and
               Gauthier Picard and
               Niranjan Suri}
,
 note = {Best paper of IEEE SASO 2016.},
abstract = {A key problem when coordinating the behaviour of devices in situated networks (e.g., pervasive computing, smart cities, Internet of Things, wireless sensor networks) is adaptation to changes impacting network topology, density, and heterogeneity. Computational goals for such systems are often expressed in terms of geometric properties of the continuous environment in which the devices are situated, and the results of resilient computations should depend primarily on that continuous environment, rather than the particulars of how devices happen to be distributed through it. In this paper, we identify a new property of distributed algorithms, eventual consistency, which guarantees that computation selfstabilizes to a final state that approximates a predictable limit as the density and speed of devices increases. We then identify a large class of programs that are eventually consistent, building on prior results on the field calculus computational model to identify a class of self-stabilizing programs. Finally, we confirm through simulation of pervasive network scenarios that eventually consistent programs from this class can provide resilient behavior where programs that are only self-stabilizing fail badly.}}

Tags:

Publication

— authors

Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio Damiani

— status

published

— sort

paper in proceedings

Venue

— volume

2016 IEEE 10th International Conference on Self-Adaptive and Self-Organizing Systems, Augsburg, Germany, September 18-22, 2016

— publication date

2016

URLs

original page  |  original PDF

BibTeX

— BibTeX ID
SASO2016
— BibTeX category
article

Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY