- Ateneo/CSP Project (EX POST for proposal "New Design and Development Approach for Dependable Intelligent Edge Systems - NewEdge")
- Start date: 2021/12/31
- End date: 2023/12/31
- For more information on NewEdge, please contact: Ferruccio Damiani
Synopsis
Aggregate computing is a recently proposed innovative approach for programming the Internet of Things (IoT) — the key idea is to simplify the software development by programming a large system as a whole: the desired system-level behaviour is expressed by a declarative and rigorously tractable global specification; then, individual devices are automatically bounded to play the corresponding local behaviour of that specification. NewEdge investigates how to use existing and novel aggregate computing techniques for supporting the development of dependable edge systems.
Work plan
The work plan is broken into five work packages:- WP1: Management (leader: Ferruccio Damiani)
- WP2: Algorithms (leader: Giorgio Audrito)
- WP3: Variability modelling (leader: Luca Paolini)
- WP4: Protoyping and Validation (leader: Gianluca Torta)
- WP5: Dissemination, Exploitation and Communication (leader: Ferruccio Damiani)