Resiliency with Aggregate Computing: State of the Art and Roadmap


Mirko Viroli, Jacob Beal

Maurice H. ter Beek, Michele Loreti (a cura di)
Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems, pp. 5-18
Electronic Proceedings in Theoretical Computer Science 217
Open Publishing Association
2016

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

Tags:

Pubblicazioni

Pubblicazioni / Viste

Home

Nuvole
•  tag  •  autori  •  curatori  •  riviste  

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

Tipo
•  su rivista  •  in atti  •  capitoli  •  libri  •  curatele  •  speciali  •  editoriali  •  voci  •  manuali  •  rapporti  •  tesi phd  •  altre  

Stato
•  online  •  in stampa  •  bozza stampa  •  camera-ready  •  revisionato  •  accettato  •  in revisione  •  sottoposto  •  bozza  •  nota  

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

Pubblicazione

— autori/autrici

Mirko Viroli, Jacob Beal

— a cura di

Maurice H. ter Beek, Michele Loreti

— stato

pubblicato

— tipo

articolo in atti

— data di pubblicazione

2016

— volume

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

— collana

Electronic Proceedings in Theoretical Computer Science

— volume

217

— pagine

5-18

— numero di pagine

14

— luogo

Vienna, Austria

URL

pagina originale  |  PDF originale

identificatori

— DOI

10.4204/EPTCS.217.3

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