Resiliency with Aggregate Computing: State of the Art and Roadmap

Mirko Viroli
(University of Bologna, Cesena, Italy)
Jacob Beal
(Raytheon BBN Technologies Cambridge, MA, USA)

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.

Invited Presentation in Maurice H. ter Beek and Michele Loreti: Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST 2016), Vienna, Austria, 8 July 2016, Electronic Proceedings in Theoretical Computer Science 217, pp. 5–18.
Published: 7th July 2016.

ArXived at: http://dx.doi.org/10.4204/EPTCS.217.3 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org