Gruppi di ricerca

Progettazione di sistemi elettronici (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.

Referenti
Franco Fummi Tiziano Villa

URL
http://esd.scienze.univr.it/

Franco Fummi
Professore ordinario
Nicola Bombieri
Professore associato
Graziano Pravadelli
Professore associato
Davide Bresolin
Incaricato alla ricerca
Tiziano Villa
Professore ordinario
Damiano Carra
Ricercatore
Davide Quaglia
Ricercatore
Luca Geretti
Ricercatore a tempo determinato
Argomento Area di ricerca
Algoritmi CAD di base Sistemi ciberfisici
Hardware  -  Electronic design automation
Analisi di grandi quantità di dati Sistemi informativi
Information systems  -  Information systems applications
Architetture avanzate e parallele Sistemi ciberfisici
Computer systems organization  -  Architectures
Modelli per sistemi ibridi Informatica teorica
Theory of computation  -  Models of computation
Progettazione di sistemi embedded Sistemi ciberfisici
Computer systems organization  -  Embedded and cyber-physical systems
Sistemi di rete Sistemi ciberfisici
Networks  -  Network architectures
Sistemi embedded di rete Sistemi ciberfisici
Computer systems organization  -  Embedded and cyber-physical systems
Verifica di sistemi embedded Sistemi ciberfisici
Hardware  -  Hardware validation
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 null 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
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
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 null 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