Sistemi Ciberfisici e IoT

  1. Home
  2. Ricerca
  3. Aree di competenza
  4. Sistemi Ciberfisici e IoT
L'Internet of Things (IoT) e i sistemi ciberfisici (CPS) sono fondamentali per la trasformazione digitale in molteplici settori. L'IoT consente la connessione e la comunicazione tra dispositivi intelligenti, migliorando l'efficienza e l'automazione dei processi mediante la raccolta distribuita di dati e la condivisione di informazioni. I CPS integrano il mondo fisico e quello virtuale, permettendo il monitoraggio e il controllo in tempo reale di sistemi complessi, come infrastrutture urbane e industriali, abitazioni, sistemi autonomi, ecc. Queste tecnologie aumentano la capacità di raccolta e analisi dei dati, supportando decisioni più informate e la loro attuazione. Inoltre, migliorano la qualità della vita attraverso soluzioni smart in ambiti come l’healthcare, la produzione industriale, la logistica, la gestione delle risorse energetiche e molti altri settori cruciali per lo sviluppo delle società moderne.
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
Sistemi fisici e ciberfisici
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
Gruppi di ricerca
Nome Descrizione URL
ESD - Electronic Systems Design Obiettivo del gruppo di ricerca è applicare l’automazione della progettazione elettronica (EDA) ai sistemi di produzione ciber-fisici (CPPS) e IoT industriale (IIoT) per la modellazione, simulazione, sintesi e test di linee di produzione. http://cisd.di.univr.it/
IoT4Care Gruppo di ricerca interdipartimentale per la progettazione di sistemi IoT in ambito neurologico e riabilitativo
NeST Progettazione e verifica delle tecnologie di comunicazione in grado di portare efficienza e sostenibilità in applicazioni chiave come industria, agricoltura, domotica, trasporti e gestione del territorio.
PARCO – Parallel Computing Obiettivo del gruppo di ricerca è lo sviluppo e ottimizzazione di Software per sistemi di calcolo multi-core CPU/many-core GPU con vincoli di risorse (e.g., Edge Computing) e per sistemi di calcolo ad alte prestazioni (High-performance Computing – HPC).
Sistemi fisici e ciberfisici
Condividi