PhD in Computer Science

Aggregate Programming for the Internet of Things

Aggregate Programming for the Internet of Things

Academic year 2023/2024

Sommario del corso

• Program
• Course delivery
• Learning assessment methods
• Suggested readings and bibliography
• Teaching tools
• Course card

Program

With the ongoing explosion of data production and availability of devices with computational capabilities, traditional centralized data-processing techniques start to suffer from the increasing costs of data transfer, infrastructure, security and privacy needs. The edge/fog computing paradigm has emerged to meet these challenges, particularly for Internet of Things and open Cyber-Physical Systems. It processes data where it is generated in order to address the shortcomings of centralized techniques. However, decentralized architectures have their own challenges: handling device unreliability, data volatility, and coping with conficting goals. Aggregate Programming is a recent abstraction allowing one to program large-scale networks in a simple way, while providing strong guarantees on the resilience of the resulting behaviour under changes and unreliability. This abstraction shifts the local viewpoint of single device behaviour, to the global viewpoint of overall system behaviour; leaving the (automated) global-to-local translation to language implementation. This short course presents the Aggregate Programming abstraction, together with its commonly used distributed algorithms that have strong resilience guarantees, and its toolkit (programming language and simulator).

Course delivery

Frontal lessons (with slides) and program development sessions, for a total duration of 24 hours. The meetings will be: 

- Tue 7 May, 14-17 (Sala Riunioni, 1st floor)
- Wed 8 May, 15-18 (Sala Seminari, 1st floor)

- Wed 15 May, 15-18 (Sala Conferenze, 3rd floor) 

- Wed 22 May, 15-18 (Sala Seminari, 1st floor)

- Tue 28 May, 14-17 (Sala Seminari, 1st floor)
- Wed 29 May, 15-18 (Sala Seminari, 1st floor)

- Tue 4, June, 14-17 (Sala Riunioni, 1st floor) 

- Tue 11 June, 14-18 [exam] (Sala Riunioni, 1st floor)

All meetings will be physically held at the Department of Computer Science. In case of specific needs, remote participation is possible.

Learning assessment methods

Exercises done during the program development sessions. 

• Beal, J., Pianini, D., Viroli, M.: Aggregate programming for the Internet of Things.
  IEEE Computer 48(9) (2015). https://doi.org/10.1109/MC.2015.261
• Viroli, M., Beal, J., Damiani, F., Audrito, G., Casadei, R., Pianini, D.: From distributed coordination to field calculus and aggregate computing. J. Log. Algebraic
  Methods Program. 109 (2019). https://doi.org/10.1016/j.jlamp.2019.100486
• Audrito, G., Casadei, R., Damiani, F., Salvaneschi, G., Viroli, M.:
  Functional Programming for Distributed Systems with XC. In Proceedings of the 36th European Conference on Object-Oriented Programming (ECOOP 2022): 20:1-20:28. https://doi.org/10.4230/LIPIcs.ECOOP.2022.20
• Audrito, G.: FCPP: an effcient and extensible field calculus framework. In:
  Proceedings of the 1st International Conference on Autonomic Computing and
  Self-Organizing Systems, ACSOS. pp. 153{159. IEEE Computer Society (2020).
  https://doi.org/10.1109/ACSOS49614.2020.00037

• Teaching material
• Exams and finals
• Class schedule
• Go to Moodle
• Register for the course
• Enrolled students
• Invia email agli studenti registrati
• Export table