Gruppi di ricerca

ESD - Electronic Systems Design

Il gruppo di ricerca sul progetto di sistemi elettronici (ESD, Electronic Systems Design) del Dipartimento di Informatica dell’Università di Verona è composto attualmente da ventitre persone tra professori, ricercatori, assegnisti di ricerca, post-doc e dottorandi.

Il gruppo ESD è stato costituito nel 1999 e in questi anni ha prodotto più di 250 pubblicazioni nel settore e ha acquisito contratti di ricerca per più di 2.0M€. Ha ottenuto cinque progetti di ricerca europei (FP5-2001-IST-34607 (SYMBAD), FP6-2005-IST-5-033506 (ANGEL), FP6-2005-IST-5-033709 (VERTIGO), FP7-2007-IST-1-217069 (COCONUT), FP7-2007-IST-2-228344 (C4C)), cofinanziamenti ministeriali, cinque progetti territorio/università e decine di contratti di ricerca aziendali.

Ha fondato lo spin-off EDALab per l'ingegnerizzazione e la commercializzazione dei prototipi di ricerca.

URL
http://cisd.di.univr.it/

Franco Fummi
Professore ordinario (Dipartimento Ingegneria per la medicina di innovazione)
Davide Quaglia
Professore associato
Michele Lora
Ricercatore a tempo determinato (Dipartimento Ingegneria per la medicina di innovazione)
Stefano Spellini
Personale di spin-off (Dipartimento Ingegneria per la medicina di innovazione)
Nicola Dall'Ora
Collaboratore alla ricerca - Tecnico di Laboratorio (Dipartimento Ingegneria per la medicina di innovazione)
Graziano Pravadelli
Professore ordinario (Dipartimento Ingegneria per la medicina di innovazione)
Nicola Bombieri
Professore ordinario (Dipartimento Ingegneria per la medicina di innovazione)
Enrico Fraccaroli
Assegnista (Dipartimento Ingegneria per la medicina di innovazione)
Carlo Tadiello
Personale di spin-off (Dipartimento Ingegneria per la medicina di innovazione)
Francesco Lumpp
Dottorando
Argomento Area di ricerca
Architetture avanzate e parallele Sistemi Ciberfisici e IoT Sistemi fisici e ciberfisici
Progettazione di sistemi embedded Embedded and cyber-physical systems
Progettazione di sistemi embedded e IoT Sistemi Ciberfisici e IoT Sistemi fisici e ciberfisici
Sistemi ciberfisici Sistemi Ciberfisici e IoT Sistemi fisici e ciberfisici
Sistemi embedded di rete Sistemi Ciberfisici e IoT Sistemi fisici e ciberfisici
Verifica di sistemi embedded Hardware validation
Verifica di sistemi embedded Sistemi Ciberfisici e IoT Sistemi fisici e ciberfisici
Titolo Responsabili Fonte finanziamento Data inizio Durata (mesi) 
Ambiente basato su EFSM per la progettazione e la verifica di software embedded (EFFORT) - Joint Project 2007 Franco Fummi Ateneo, STM Products s.r.l. 01/01/2008 30
Ambiente di modellazione e verifica per terminali mobili Franco Fummi Fondo EX 60% (2005) Ambiente di modellazione e verifica per terminali mobili - assegnato e gestito dal Dipartimento 01/12/2005 12
Ambienti per la progettazione di applicazioni per terminali mobili Franco Fummi TELECOM ITALIA LAB S.p.A. 01/10/2003 12
A Multimedia Platform for ZigBee based Home Automation (Z-Home) - Joint Project 2007 Franco Fummi Ateneo, Telecom Italia S.p.A. 01/11/2007 19
An embedded networked architecture to monitor the wine supply chain (eWINE) Franco Dellaglio Agrifutur s.r.l., Ateneo 01/06/2006 12
ANGEL : Advanced Networked embedded platform as a Gateway to Enhance quality of Life Franco Fummi Unione Europea 01/07/2006 30
Applicazione del linguaggio VHDL alla specifica di circuiti proprietari Franco Fummi NEURICAM SPA 31/03/2000 12
Applicazione di una metodologia ibrida per la verifica funzionale Franco Fummi STMicroelectronics s.r.l. 01/05/2001 12
Architetture per la gestione integrata di sistemi di rete Graziano Pravadelli EDALab s.r.l. 01/01/2010 12
Architetture per sistemi embedded di controllo e comunicazione Graziano Pravadelli EDALab s.r.l. 01/01/2010 12
AuTOMatic verifICation tool for embedded software (ATOMIC) Franco Fummi 7PQ VALUTATI POSITIVAMENTE 05/05/2010 24
C4C - Control for Coordination of Distributed Systems Tiziano Villa Unione Europea 01/05/2008 36
Centre of Reserach Excellence in Dependable Embedded Systems (CREDES) Franco Fummi Unione Europea 01/10/2009 36
COCONUT - A correct-by Construction Workbench for Design and Verification of Embedded Systems Franco Fummi Unione Europea 01/01/2008 30
Controllo automatico di processo per risparmio energetico e recupero di risorse dalle acque reflue Alessandro Farinelli 28/03/2014 12
DARE - Realtà Aumentata basata sulla direzione del segnale radio Davide Quaglia 06/03/2017 18
Definizione architettura dei servizi LDAP Franco Fummi Servizi Informatici di Ateneo 01/12/2002 6
Definizione di una metodologia (V-box) per la standardizzazione e automazione dell'intero processo di sviluppo di applicazioni embedded in modo conforme al V-model Franco Fummi STM Products s.r.l. 01/11/2013 5
E-Cube: Sviluppo e sperimentazione pilota di un sistema scalabile per l'ottimizzazione dei consumi energetici Franco Fummi Ministero dello Sviluppo Economico 06/04/2009 36
Generazione e ottimizzazione automatica di SW dedicato per architetture NoC riconfigurabili (PRIN 2009) Franco Fummi PRIN VALUTATO POSITIVAMENTE 15/07/2011 24
HERONS - Hierarchical Control and Fault Diagnosis of Distributed Systems Tiziano Villa 7PQ VALUTATI POSITIVAMENTE 23/08/2011 36
Implementazione di una piattaforma embedded per l'attuazione di servizi di risparmio energetico (Progetto smart green data center) Graziano Pravadelli EDALab s.r.l. 01/12/2014 12
I-PLANTS: studenti in cammino nel verde 2.0 Davide Quaglia 01/06/2017 12
Metodi e strumenti avanzati per la gestione di reti di calcolatori per il progetto elettronico Franco Fummi SIEMENS HEALTHCARE DIAGNOSTICS SRL 01/09/2001 3
Middleware per la tracciabilità RFID e per il monitoraggio attraverso reti di sensori Graziano Pravadelli EDALab s.r.l. 01/01/2010 12
Modeling and Co-simulation Methods and Tools for the Architectural Exploration and Optimization of Smart Devices (McMEOS) - Joint Project 2005 Franco Fummi Ateneo, NEURICAM SPA 01/01/2007 12
Modellazione e Analisi di Sistemi Embedded Distribuiti Franco Fummi SITEK SPA 01/06/2001 12
Modellazione e simulazione di sistemi embedded in reti industriali eterogenee Franco Fummi SITEK SPA 01/12/2002 12
Modellazione e verifica di sistemi embedded Graziano Pravadelli EDALab s.r.l. 26/11/2009 1
Modellazione e verifica di sistemi embedded ibridi per piattaforme multiprocessore (PRIN 2007) Franco Fummi PRIN VALUTATO POSITIVAMENTE 22/09/2008 24
Modellazione e verifica di sistemi embedded ibridi per piattaforme multiprocessore (PRIN 2008) Franco Fummi PRIN VALUTATO POSITIVAMENTE 27/01/2010 24
Modellazione, simulazione e sintesi di sistemi embedded di rete Franco Fummi TELECOM ITALIA LAB S.p.A. 01/05/2002 12
Modellazione, Simulazione e Validazione di Sistemi su Chip Franco Fummi Ministero dell'Istruzione dell'Università e della Ricerca 01/05/2002 24
Modellizzazione e simulazione di sistemi integrati complessi per applicazioni multimediali Franco Fummi C.N.R. Consiglio Nazionale delle Ricerche 01/10/2001 12
OPTImizing dependability via MUtation analysis for Microelectronics (OPTIMUM) - Joint Project 2007 Franco Fummi Ateneo, STM Products s.r.l. 01/01/2011 12
Osservazione dei processi lavorativi, con garanzie oggettive di tutela della Privacy, per la prevenzione di Errori e situazioni di Rischio in maniera Automatica ai tempi di Industria 4.0 (OPERA 4.0) Davide Quaglia Fondazione Cariverona 01/01/2021 24
Piattaforma embedded configurabile per comunicazioni veicolari wireless a larga banda (WirelessTransPlat) - Joint Project 2007 Franco Fummi Ateneo, Delta Sistemi s.r.l. 01/09/2007 12
Piattaforme di servizio P2P: rete logica, requisiti e strumenti (PRIN 2008) Damiano Carra PRIN VALUTATO POSITIVAMENTE 27/01/2010 24
Progettazione e implementazione di una piattaforma di teleassistenza mobile audio e video basato sulla Realtà Aumentata e Reti di Sensori Wearable (Glasses Hidden On-Site Technician) Graziano Pravadelli EDALab s.r.l. 01/01/2015 16
Progetto di integrazione unix - active directory Franco Fummi SIEMENS HEALTHCARE DIAGNOSTICS SRL 14/01/2003 6
Reliability aware methods for robust design technology (RELMUST) Franco Fummi 7PQ VALUTATI POSITIVAMENTE 06/07/2009 36
SiP Design Technologies for Monitoring of Food Health in Harsh Environments (MEALTH) Franco Fummi 7PQ VALUTATI POSITIVAMENTE 13/07/2007 30
Sviluppo degli ambienti di progettazione per sistemi embedded HIFSuite e ZigBeeSuite Graziano Pravadelli EDALab s.r.l. 07/11/2008 16
Sviluppo di client innovativo per comunicazioni multimediali interattive in tempo reale Davide Quaglia Telenia Software s.r.l. 10/09/2015 6
Sviluppo di una piattaforma ICT per l’analisi delle prestazioni sportive Davide Quaglia ALLEGRETTI ALBERTO & C. sas 13/12/2016 3
Sviluppo di un software di simulazione di piattaforme multiprocessore ad elevate prestazioni per elaborazione di dati multimediali in rete (PRIN 2007) Andrea Acquaviva PRIN VALUTATO POSITIVAMENTE 22/09/2008 24
Sviluppo di un software di simulazione di piattaforme multiprocessore ad elevate prestazioni per elaborazione di dati multimediali in rete (PRIN 2008) Davide Quaglia PRIN VALUTATO POSITIVAMENTE 27/01/2010 24
SYMBAD: Formal Verification in System Level Based Design Franco Fummi Unione Europea 01/03/2002 27
Tecniche di modellazione di piattaforme per terminali mobili Franco Fummi Fondo EX 60% (2004) Tecniche di modellazione di piattaforme per terminali mobili (continuazione, anno 2004) - assegnato e gestito dal Dipartimento 01/05/2004 12
Tecniche di Progetto e Simulazione di Sistemi Embedded per il Controllo Franco Fummi SITEK SPA 01/04/2000 12
Testability evaluation of Critical Control System Franco Fummi AUTEC S.R.L. 01/01/2001 6
Timing-accurate co-simulation of the Ultimodule platform Franco Fummi Exor International, Inc. 01/01/2004 11
Tools for cOoperating Objects applications Life-cycle (TOOL) Franco Fummi 7PQ VALUTATI POSITIVAMENTE 01/03/2010 36
TOUCHMORE: Automatic Customizable Tool-chain for Heterogeneous Multicore Platform Software Development Franco Fummi Unione Europea 01/09/2011 36
Tracciabilità integrata e verifica di processo in tempo reale applicata alla produzione di farine da cereali biologici macinati a pietra (E-FLOUR) - Joint Projects 2011 Davide Quaglia Antico Molino Rosso s.r.l. 01/05/2012 16
Verifica formale di Software modellato e generato automaticamente (Verilab - Azione I) Graziano Pravadelli EDALab s.r.l., MCE Meccanica s.r.l., STM Products s.r.l. 14/10/2010 24
Verifica formale di Software modellato e generato automaticamente (Verilab - Azione III) Graziano Pravadelli EDALab s.r.l., MCE Meccanica s.r.l., STM Products s.r.l. 14/10/2010 24
Verifica formale di Software modellato e generato automaticamente (Verilab - Azione V) Graziano Pravadelli EDALab s.r.l., MCE Meccanica s.r.l., STM Products s.r.l. 14/10/2010 24
VERTIGO: Verification and Validation of Embedded Systems Design Workbench Franco Fummi Unione Europea 01/06/2006 30
Wireless Sensing Technology for Monitoring of Food Health in Harsh Environments (MEALTHY) Franco Fummi 7PQ VALUTATI POSITIVAMENTE 17/12/2007 30
Yield Improvement in Nanotechnology Production Process of Standard Cells Based Integrated Circuits (ImpNanolC) - Joint Project 2005 Franco Fummi Ateneo, PDF Solutions Inc. 01/01/2007 12
Nome Descrizione
Laboratorio ESD (Electronic Systems Design)

Il laboratorio fornisce il supporto hw e sw per la progettazione di dispositivi digitali e per la realizzazione dei relativi strumenti CAD

Laboratorio NES (Networked Embedded Systems)

Il laboratorio fornisce il supporto hw e sw per la progettazione di sistemi embedded di rete

Attività

Strutture

Condividi