Physical and Cyber-physical systems

  1. Home
  2. Research
  3. Area of responsibility
  4. Physical and Cyber-physical systems
Nicola Bombieri
Full Professor
Dong Seon Cheng
Temporary Assistant Professor
Franco Fummi
Full Professor
Michele Lora
Temporary Assistant Professor
Graziano Pravadelli
Full Professor
Research interests
Topic People Description
Sistemi fisici e ciberfisici
Advanced Architecture Nicola Bombieri
 		Parallel code for multi and many-core architectures. 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
Name Description 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
Share