Sistemi fisici e ciberfisici

L’internet delle cose (IoT) e i sistemi ciberfisici rappresentano il punto di unione tra il mondo fisico e quello digitale. Questa area di competenza è fondamentale per tutti i sistemi che vogliono interagire con cose e persone (https://cisd.di.univr.it). Dal lato cyber essa si occupa di progettare e ottimizzare architetture hardware, applicazioni dedicate e real-time, e tecnologie di rete e di interconnessione per sistemi intelligenti, integrando competenze di calcolo, controllo e comunicazione. Dal lato fisico è specializzata nello studio e preparazione di materiali per la fabbricazione e caratterizzazione di dispositivi per la sensoristica (sia in ambito biomedico sia in ambito industriale), per il drug delivery e per la produzione energetica (fotovoltaico).
Nicola Bombieri
Professore ordinario
Dong Seon Cheng
Ricercatore a tempo determinato
Franco Fummi
Professore ordinario
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 Nicola Bombieri
Dong Seon Cheng
Franco Fummi
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 di rete Franco Fummi
Tecniche per la progettazione di sistemi di rete, particolarmente orientate a: - progettazione di protocolli e architetture di rete - valutazione delle prestazioni di sistemi di rete - caratterizzazione e misura delle reti - reti overlay
Sistemi embedded di rete Franco Fummi
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
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