  Runtime verification is a computing analysis paradigm based on observing a
system at runtime (to check its expected behaviour) by means of monitors
generated from formal specifications. Distributed runtime verification is
runtime verification in connection with distributed systems: it comprises both
monitoring of distributed systems and using distributed systems for monitoring.
Aggregate computing is a programming paradigm based on a reference computing
machine that is the aggregate collection of devices that cooperatively carry
out a computational process: the details of behaviour, position and number of
devices are largely abstracted away, to be replaced with a space-filling
computational environment. In this position paper we argue, by means of simple
examples, that aggregate computing is particularly well suited for implementing
distributed monitors. Our aim is to foster further research on how to generate
aggregate computing monitors from suitable formal specifications.
