Report on generic edge computing (report + software)

The first deliverable reports on the results of Task T 5.1, including support for aggregation-based computations at the edge. The second deliverable reports the solutions developed in Task T 4.2 for supporting generic computation at the Edge (this includes a set of distributed protocols, their formal correctness proof, and experimental evaluation) as well as the initial prototypes of IoT applications. The third deliverable will present the set of mechanisms, and their integration in the previously defined protocols, to provide security guarantees and autonomic behaviour, and the final prototypes for IoT applications. The final deliverable will demonstrate that one of our application partners examples can be implemented on top of our infrastructure provider.