Progettazione di sistemi elettronici (ESD - Electronic Systems Design)

Descrizione

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.

Componenti

Franco Fummi
Professore ordinario
Tiziano Villa
Professore ordinario
Nicola Bombieri
Ricercatore
Damiano Carra
Ricercatore
Graziano Pravadelli
Professore associato
Davide Quaglia
Ricercatore
Davide Bresolin
Incaricato alla ricerca
Stefano Cailotto
Assegnista
Giuseppe Di Guglielmo
Incaricato alla ricerca
Michele Ferrari
Personale di spin-off
Luca Geretti
Incaricato alla ricerca
Giovanni Perbellini
Assegnista
Francesco Stefanni
Professore a contratto
Walter Vendraminetto
Assegnista
Luigi Di Guglielmo
Incaricato alla ricerca
Valerio Guarnieri
Professore a contratto
Sara Vinco
Incaricato alla ricerca
Competenze
Argomento Area di ricerca ISI-CRUI
Algoritmi CAD di base Sistemi ciberfisici
Hardware - Electronic design automation
Computer Science & Engineering
Modelli per sistemi ibridi Informatica teorica
Theory of computation - Models of computation
Computer Science & Engineering
Progettazione di sistemi embedded Sistemi ciberfisici
Computer systems organization - Embedded and cyber-physical systems
Computer Science & Engineering
Sistemi di rete Sistemi ciberfisici
Networks - Network architectures
Computer Science & Engineering
Sistemi embedded di rete Sistemi ciberfisici
Computer systems organization - Embedded and cyber-physical systems
Computer Science & Engineering
Verifica di sistemi embedded Sistemi ciberfisici
Hardware - Hardware validation
Computer Science & Engineering
Progetti
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, STMProducts 01/01/08 30
Ambiente di modellazione e verifica per terminali mobili Franco Fummi 01/12/05 12
Ambienti per la progettazione di applicazioni per terminali mobili Franco Fummi TELECOM ITALIA LAB S.p.A. 01/10/03 12
A Multimedia Platform for ZigBee based Home Automation (Z-Home) - Joint Project 2007 Franco Fummi Ateneo, Telecom Italia S.p.A. 01/11/07 19
An embedded networked architecture to monitor the wine supply chain (eWINE) Franco Dellaglio Agrifutur s.r.l., Ateneo 01/06/06 12
ANGEL : Advanced Networked embedded platform as a Gateway to Enhance quality of Life Franco Fummi Unione Europea 01/07/06 30
Applicazione del linguaggio VHDL alla specifica di circuiti proprietari Franco Fummi NEURICAM SPA 31/03/00 12
Applicazione di una metodologia ibrida per la verifica funzionale Franco Fummi STMicroelectronics s.r.l. 01/05/01 12
Architetture per la gestione integrata di sistemi di rete Graziano Pravadelli EDALab s.r.l. 01/01/10 12
Architetture per sistemi embedded di controllo e comunicazione Graziano Pravadelli EDALab s.r.l. 01/01/10 12
AuTOMatic verifICation tool for embedded software (ATOMIC) Franco Fummi 7PQ VALUTATI POSITIVAMENTE 05/05/10 24
C4C - Control for Coordination of Distributed Systems Tiziano Villa Unione Europea 01/05/08 36
Centre of Reserach Excellence in Dependable Embedded Systems (CREDES) Franco Fummi Unione Europea 01/10/09 36
COCONUT - A correct-by Construction Workbench for Design and Verification of Embedded Systems Franco Fummi Unione Europea 01/01/08 30
Definizione architettura dei servizi LDAP Franco Fummi Servizi Informatici di Ateneo 01/12/02 6
E-Cube: Sviluppo e sperimentazione pilota di un sistema scalabile per l'ottimizzazione dei consumi energetici Franco Fummi Ministero dello Sviluppo Economico 06/04/09 36
Generazione e ottimizzazione automatica di SW dedicato per architetture NoC riconfigurabili (PRIN 2009) Franco Fummi PRIN VALUTATO POSITIVAMENTE 15/07/11 24
HERONS - Hierarchical Control and Fault Diagnosis of Distributed Systems Tiziano Villa 7PQ VALUTATI POSITIVAMENTE 23/08/11 36
Metodi e strumenti avanzati per la gestione di reti di calcolatori per il progetto elettronico Franco Fummi SIEMENS HEALTHCARE DIAGNOSTICS SRL 01/09/01 3
Middleware per la tracciabilità RFID e per il monitoraggio attraverso reti di sensori Graziano Pravadelli EDALab s.r.l. 01/01/10 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/07 12
Modellazione e Analisi di Sistemi Embedded Distribuiti Franco Fummi SITEK SPA 01/06/01 12
Modellazione e simulazione di sistemi embedded in reti industriali eterogenee Franco Fummi SITEK SPA 01/12/02 12
Modellazione e verifica di sistemi embedded Graziano Pravadelli EDALab s.r.l. 26/11/09 1
Modellazione e verifica di sistemi embedded ibridi per piattaforme multiprocessore (PRIN 2007) Franco Fummi PRIN VALUTATO POSITIVAMENTE 22/09/08 24
Modellazione e verifica di sistemi embedded ibridi per piattaforme multiprocessore (PRIN 2008) Franco Fummi PRIN VALUTATO POSITIVAMENTE 27/01/10 24
Modellazione, simulazione e sintesi di sistemi embedded di rete Franco Fummi TELECOM ITALIA LAB S.p.A. 01/05/02 12
Modellazione, Simulazione e Validazione di Sistemi su Chip Franco Fummi Ministero dell'Istruzione dell'Università e della Ricerca 01/05/02 24
Modellizzazione e simulazione di sistemi integrati complessi per applicazioni multimediali Franco Fummi C.N.R. Consiglio Nazionale delle Ricerche 01/10/01 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/07 12
Piattaforme di servizio P2P: rete logica, requisiti e strumenti (PRIN 2008) Damiano Carra PRIN VALUTATO POSITIVAMENTE 27/01/10 24
Progetto di integrazione unix - active directory Franco Fummi SIEMENS HEALTHCARE DIAGNOSTICS SRL 14/01/03 6
Reliability aware methods for robust design technology (RELMUST) Franco Fummi 7PQ VALUTATI POSITIVAMENTE 06/07/09 36
SiP Design Technologies for Monitoring of Food Health in Harsh Environments (MEALTH) Franco Fummi 7PQ VALUTATI POSITIVAMENTE 13/07/07 30
Sviluppo degli ambienti di progettazione per sistemi embedded HIFSuite e ZigBeeSuite Graziano Pravadelli EDALab s.r.l. 07/11/08 16
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/08 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/10 24
SYMBAD: Formal Verification in System Level Based Design Franco Fummi Unione Europea 01/03/02 27
Tecniche di modellazione di piattaforme per terminali mobili Franco Fummi 01/05/04 12
Tecniche di Progetto e Simulazione di Sistemi Embedded per il Controllo Franco Fummi SITEK SPA 01/04/00 12
Testability evaluation of Critical Control System Franco Fummi AUTEC S.R.L. 01/01/01 6
Timing-accurate co-simulation of the Ultimodule platform Franco Fummi Exor International, Inc. 01/01/04 11
Tools for cOoperating Objects applications Life-cycle (TOOL) Franco Fummi 7PQ VALUTATI POSITIVAMENTE 01/03/10 36
TOUCHMORE: Automatic Customizable Tool-chain for Heterogeneous Multicore Platform Software Development Franco Fummi Unione Europea 01/09/11 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 01/05/12 12
Verifica formale di Software modellato e generato automaticamente (Verilab - Azione I) Graziano Pravadelli EDALab s.r.l., MCE Meccanica s.r.l., STMProducts 14/10/10 24
Verifica formale di Software modellato e generato automaticamente (Verilab - Azione III) Graziano Pravadelli EDALab s.r.l., MCE Meccanica s.r.l., STMProducts 14/10/10 24
Verifica formale di Software modellato e generato automaticamente (Verilab - Azione V) Graziano Pravadelli EDALab s.r.l., MCE Meccanica s.r.l., STMProducts 14/10/10 24
VERTIGO: Verification and Validation of Embedded Systems Design Workbench Franco Fummi Unione Europea 01/06/06 30
Wireless Sensing Technology for Monitoring of Food Health in Harsh Environments (MEALTHY) Franco Fummi 7PQ VALUTATI POSITIVAMENTE 17/12/07 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/07 12
Laboratori e Centri di Ricerca
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
ornamento
Inizio pagina