Self-Adaptation to Device Distribution in the Internet of Things


Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio Damiani

ACM Transactions on Autonomous and Adaptive Systems 12(3), pages 12:1-12:29
September 2017

A key problem when coordinating the behaviour of spatially situated networks, like those typically found in the Internet of Things (IoT), is adaptation to changes impacting network topology, density, and heterogeneity. Computational goals for such systems, however, are often dependent on geometric properties of the continuous environment in which the devices are situated rather than the particulars of how devices happen to be distributed through it. In this article, we identify a new property of distributed algorithms, eventual consistency, which guarantees that computation converges to a final state that approximates a predictable limit, based on the continuous environment, 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 (Beal et al. 2015; Viroli et al. 2015a) that identify a class of self-stabilizing programs. Finally, we confirm through simulation of IoT application scenarios that eventually consistent programs from this class can provide resilient behavior where programs that are only converging fail badly.

(keywords) Field calculus, large-scale coordination, self-organisation, self-stabilization, spatial computing

Journals & Series

Publications

Publications / Views

Home

Clouds
•  tags  •  authors  •  editors  •  journals  

Year
 2023    2022    2021    2020    2019    2018    2017    2016    2015    2014–1927

Sort
•  in journal  •  in proc  •  chapters  •  books  •  edited  •  spec issues  •  editorials  •  entries  •  manuals  •  tech reps  •  phd th  •  others  

Status
•  online  •  in press  •  proof  •  camera-ready  •  revised  •  accepted  •  revision  •  submitted  •  draft  •  note  

Services
•  ACM Digital Library  •  DBLP  •  IEEE Xplore  •  IRIS  •  PubMed  •  Google Scholar  •  Scopus  •  Semantic Scholar  •  Web of Science  •  DOI  

Publication

— authors

Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio Damiani

— status

published

— sort

article in journal

— publication date

September 2017

— journal

ACM Transactions on Autonomous and Adaptive Systems

— volume

12

— issue

3

— pages

12:1-12:29

— number of pages

29

— address

New York, NY, USA

URLs

original page  |  original PDF

identifiers

— DOI

10.1145/3105758

— print ISSN

1556-4665

Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY