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-ph ysical 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 (bondavalli@unifi.it).
DiMaI, Universita' di Firenze, Viale Morgagni, 65 - 50134 Firenze
Dott. Andrea Ceccarelli,
Su appuntamento. Contattare il docente (andrea.ceccarelli@unifi.it).
DiMai, Universita' di Firenze, Viale Morgagni, 65 - 50134 Firenze
Dott. Ohammad Gharib,
Su appuntamento. Contattare il docente (mohammad.gharib@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
Introduction and fundamentals of Cyber-Physical Systems
- emergence
- interface and stigmergy
Distributed systems: algorithms, protocols
Real-time systems: Real-time aspects, Time, clocks and resilient time keeping, Scheduling in real-time systems, R&SAClock
Standard frameworks for designing SoS
The role of Modelling and Model-Driven Engineering
SysML, tools and alternatives
Examples: fog, cloud Computing
Blockchains
Cyber-Physical Systems Lab: requirements engineering, modeling, implementation (with a little of robotics)
Lab presentation, introduction, arrangements
Requirements analysis and definition: Kilobots platooning
Python with examples
Blockly4SoS and examples
Modeling of platooning with Blockly4SoS
Kilombo (Kilobots simulator): how to use, analysis of examples, how to program
Kilobots usage : howTo on Kilobots
implementation of the platooing.