Introduzione ai Fondamenti sulla progettazione di distributed and real-time cyber physical systems.
Frameworks di Design e Tecniche per concepire, modellare e progettare cyber-physical systems.
Laboratorio su cyber-physical systems (of systems)
Cyber-Physical Systems of Systems
Foundations – A Conceptual Model and Some Derivations: The AMADEOS Legacy
Editors: Andrea Bondavalli, Sara Bouchenak, Hermann Kopetz
ISBN: 978-3-319-47589-9 (Print) 978-3-319-47590-5 (Online)
Il Corso Distributed Real time Cyber Physical Systems mira a fornire solide conoscenze e competenze per la concezione, definizione e progettazione, di sistemi complessi che caratterizzano vari settori emergenti quali l'Internet of Things, le Smart Factories e le Infrastrutture Critiche. in particolare il corso si concentra sugli aspetti di distribuzione e coordinamento dei vari sistemi che formano un system of System e delle problematiche di gestione del tempo reale.
Prerequisiti
nessuno
Metodi Didattici
CFU: 9
Numero di ore totali del corso: 270
Numero di ore per studio personale e altre attività formative di tipo individuale: 198
Numero di ore relative alle attività in aula: 54
Numero di ore relative ad attività di laboratorio (lezioni in laboratorio): 18
Numero di ore relative ad attività di esercitazioni (in laboratorio e in campo): 0
Numero di ore relative ad attività seminariali: 0
Numero di ore relative ad attività di stage: 0
Numero di ore per prove in itinere: 0
Altre Informazioni
Frequenza delle lezioni ed esercitazioni: Raccomandata
Strumenti a supporto della didattica UniFi E-Learning: http://e-l.unifi.it
Orario di ricevimento:
Prof. Andrea Bondavalli,
Su appuntamento. Contattare il docente tramite numero telefonico o e-mail (bondavalli@unifi.it).
DiMaI, Universita' di Firenze, Viale Morgagni, 65 - 50134 Firenze
Dott. Andrea Ceccarelli,
Su appuntamento. Contattare il docente tramite numero telefonico o e-mail (andrea.ceccarelli@unifi.it).
DiMai, Universita' di Firenze, Viale Morgagni, 65 - 50134 Firenze
Modalità di verifica apprendimento
La verifica dell'apprendimento è composta di due parti:
- elaborazione di un approfondimento o di un
Progetto di coordinamento di CPS;
- prova orale.
Condizione per l'ammissione alla prova orale è l'accettazione della relazione sul progetto.
Programma del corso
Introduzione e fondamenti di Cyber-Physical Systems
- emergenza
- interfacce e stigmergia
Sistemi distribuiti: algoritmi, protocolli
Sistemi real-time: fondamenti, tempo, clock, e resilient time keeping, scheduling nei sistemi real-time, R&SAClock
Framework standard per la progettazione di SoS
- Il ruolo della modellazione e del Model-Driven Engineering
- SysML, strumenti e alternative
- Esempi: fog, cloud Computing
Fondamenti di Blockchains
Cyber-Physical Systems Lab:
- fondamenti di requirements engineering, modeling con Blockly4SoS, programmazione e utilizzo Kilobots.
- studio dei requisiti di un Cyber-Physical System of Systems di esempio, composto da sistemi consistuenti mobili
- Modellazione del sistema tramite Blockly4SoS
- simulazione del sistema tramite Kilombo (Kilobots simulator)
- implementazione del sistema su Kilobot