58260 - SISTEMI DISTRIBUITI

Conoscenze e abilità da conseguire

Al termine del corso, lo studente conosce le questioni fondamentali che riguardano i sistemi distribuiti, i modelli computazionali che ne catturano l'essenza, e le tecnologie che correntemente consentono di affrontarle nella maniera più efficace e sistematica. In particolare, lo studente conosce le soluzioni, le tecnologie, le architetture e le Metodologie più idonee ad affrontare il progetto di un sistema distribuito, ed è in grado di: - individuare le criticità di un sistema computazionale derivanti dalla caratteristica distribuzione fisica - determinare le soluzioni metodologicamente più appropriate - selezionare le tecnologie più adatte per implementare le soluzioni individuate.

Contenuti

Casi di studio

• il teorema CAP
• il consenso distribuito
• DLT: blockchain come middleware

Generalità sui sistemi distribuiti

• Alle radici dei sistemi distribuiti: spazio, tempo e computazione
• Definizione e scopo dei sistemi distribuiti
• Tipi di sistemi distribuiti
• Modellare i sistemi distribuiti: (a) algebre dei processi, (b) architetture software e di sistema
  
• Proprietà della distribuzione
• Computazione e spazio
• Computazione e tempo

Modelli e tecnologie per i sistemi distribuiti

• Agenti e sistemi multi-agente
• Cloud, fog, edge computing
• Servizi web

Testi/Bibliografia

La bibliografia è resa disponibile tramite il sito del corso.

Metodi didattici

• Lezioni teoriche in aula con uso di lucidi
• Esempi discussi e costruiti in aula al computer dai docenti
  
• Laboratorio

Modalità di verifica e valutazione dell'apprendimento

• Prova orale con discussione di un progetto individuale o di gruppo

Strumenti a supporto della didattica

• Sito web del docente
• Pagina web del corso con PDF dei lucidi, altro materiale e link utili

Link ad altre eventuali informazioni

https://apice.unibo.it/xwiki/bin/view/Courses/Series/Sd/

Orario di ricevimento

Consulta il sito web di Andrea Omicini

Consulta il sito web di Giovanni Ciatto