- Oggetto:
- Oggetto:
Aggregate Programming for the Internet of Things
- Oggetto:
Aggregate Programming for the Internet of Things
- Oggetto:
Academic year 2023/2024
- Teachers
- Ferruccio Damiani (Titolare del corso)
Giorgio Audrito (Titolare del corso)
Gianluca Torta (Titolare del corso) - Degree course
- PhD in Computer Science
- Year
- 1st year, 2nd year, 3rd year
- Teaching period
- Ciclo di incontri
- Type
- A scelta dello studente
- Credits/Recognition
- 6
- Course disciplinary sector (SSD)
- INF/01 - informatics
- Delivery
- Tradizionale
- Language
- Inglese
- Attendance
- Obbligatoria
- Type of examination
- Relazione finale
- Oggetto:
Sommario del corso
- Oggetto:
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).
- Oggetto:
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
- Wed 8 May, 15-18- Tue 14 May, 14-17
- Wed 15 May, 15-18- Tue 21 May, 14-17
- Wed 22 May, 15-18- Tue 28 May, 14-17
- Wed 29 May, 15-18- Tue 4, June, 14-17 (eventual recovery)
All meetings will be physically held in Sala Seminari, 1st floor at the Department of Computer Science. In case of specific needs, remote participation is possible.
- Oggetto:
Learning assessment methods
Exercises done during the program development sessions.
Suggested readings and bibliography
- Oggetto:
- 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
- Beal, J., Pianini, D., Viroli, M.: Aggregate programming for the Internet of Things.
- Enroll
- Open
- Enrollment opening date
- 01/10/2020 at 00:00
- Oggetto:
