Sistemi fisici e ciberfisici

Persone con competenze nell'area
Competenze

Nicola Bombieri: Professore ordinario
Dong Seon Cheng: Ricercatore a tempo determinato
Franco Fummi: Professore ordinario

Michele Lora: Ricercatore a tempo determinato
Graziano Pravadelli: Professore ordinario

Competenze
Argomento	Persone	Descrizione
Architetture avanzate e parallele	Nicola Bombieri	Applicazioni Software parallele per architeture multi- (multiprocessore) e many-core (GPU). Linguaggi e ambienti per la programmazione parallela: CUDA, OpenCL, OpenACC, OpenMP, MPI.
Progettazione di sistemi embedded e IoT	Nicola Bombieri Dong Seon Cheng Franco Fummi Michele Lora Graziano Pravadelli	Tecniche per la progettazione automatica di hardware/software per sistemi embedded modellati a livello transazionale (TLM), con particolare attenzione a: - sintesi e astrazione RTL-TLM - astrazione da moduli RTL a software - generazione automatica di transattori TLM - generazione automatica di device driver - software embedded per sistemi multi-core e many-core - modellazione basata su linguaggi di descrizione dell'hardware - progettazione basata su middleware
Sistemi ciberfisici	Dong Seon Cheng Franco Fummi Michele Lora	Tecniche per la modellazione, progettazione e verifica di sistemi ciberfisici, particolarmente orientate ai sistemi ciberfisici per la produzione - rappresentazione e verifica dei requisiti - software per la gestione della produzione - digital-twin
Sistemi embedded di rete	Franco Fummi Graziano Pravadelli	Tecniche per la progettazione di sistemi embedded di rete, particolarmente orientate a: - co-progettazione di sistemi embedded di rete - co-simulazione di sistemi embedded di rete - progettazione centrata sulla qualità del servizio - reti di sensori e sistemi M2M
Verifica di sistemi embedded	Franco Fummi Michele Lora Graziano Pravadelli	Tecniche per la verifica di sistemi embedded a diversi livelli di astrazione, con particolare attenzione a: - tecniche di verifica statica - tecniche di verifica dinamica - tecniche di verifica semi formale - verifica di sistemi ibridi e real-time