Mirko Viroli, Jacob Beal

One of the difficulties in developing collective adaptive systems is the challenge of simultaneously engineering both the desired resilient behaviour of the collective and the details of its implementation on individual devices. Aggregate computing simplifies this problem by separating these aspects into different layers of abstraction by means of a unifying notion of computational field and a functional computational model. We review the state of the art in aggregate computing, discuss the various resiliency properties it supports, and develop a roadmap of foundational problems still needing to be addressed in the continued development of this emerging discipline.

(keywords) Aggregate computing; computational fields; self-stabilisation; resiliency
Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems, Electronic Proceedings in Theoretical Computer Science 217, pp. 5-18, 2016.
Maurice H. ter Beek, Michele Loreti (a cura di), Open Publishing Association
@Inproceedings{VB-FORECAST2016,
  author    = "Viroli, Mirko and Beal, Jacob",
  year      = "2016",
  title     = "Resiliency with Aggregate Computing: State of the Art and Roadmap",
  editor    = "ter Beek, Maurice H. and Loreti, Michele",
  booktitle = "{\rm Proceedings of the Workshop on}
               FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems,
               {\rm Vienna, Austria, 8 July 2016}",
  series    = "Electronic Proceedings in Theoretical Computer Science",
  volume    = "217",
  publisher = "Open Publishing Association",
  pages     = "5-18",
  doi       = "10.4204/EPTCS.217.3",
}

Tags:
    

Pubblicazione

— autori/autrici

Mirko Viroli, Jacob Beal

— a cura di

Maurice H. ter Beek, Michele Loreti

— stato

pubblicato

— tipo

articolo in atti

Sede di pubblicazione

— volume

Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems

— collana

Electronic Proceedings in Theoretical Computer Science 217

— data di pubblicazione

2016

— pagine

5-18

— collana

Electronic Proceedings in Theoretical Computer Science 217

— data di pubblicazione

2016

URL & ID

pagina originale
PDF originale

— DOI

10.4204/EPTCS.217.3

BibTeX

— BibTeX category
article

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