The ESD (Electronic Systems Design) research group at the Department of Computer Science, Università di Verona, is composed of 23 people among professors, research assistants, post-doc and Ph.D. students.
The ESD group has been built in 1999, it has produced more than 250 publications in the field and it has obtained research funding for more than 2.0M€. It has been involved in five European projects (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)), projects co-funded by the Italian Government, four projects joining university and its territory and some industrial research activities.
ESD research group has generated the EDALab spin-off, whose mission is the engineering of the produced research prototypes.
Skills
| Topic |
Research area |
ISI-CRUI |
| Basic CAD algorithms
|
Cyber-physical systems
Hardware - Electronic design automation
|
Computer Science & Engineering |
| Modelli per sistemi ibridi |
Theory of computation
Theory of computation - Models of computation
|
Computer Science & Engineering |
| Embedded system design
|
Cyber-physical systems
Computer systems organization - Embedded and cyber-physical systems
|
Computer Science & Engineering |
| Networking systems
|
Cyber-physical systems
Networks - Network architectures
|
Computer Science & Engineering |
| Networked embedded systems |
Cyber-physical systems
Computer systems organization - Embedded and cyber-physical systems
|
Computer Science & Engineering |
| Embedded system verification
|
Cyber-physical systems
Hardware - Hardware validation
|
Computer Science & Engineering |
Projects
| Title |
People in charge |
Sponsors |
Starting date |
Duration (months) |
|
An EFSM-based Framework for Designing and Verifying Embedded Software (EFFORT)
|
Franco Fummi |
Ateneo, STMProducts |
1/1/08 |
30 |
|
Ambiente di modellazione e verifica per terminali mobili
|
Franco Fummi |
|
12/1/05 |
12 |
|
Ambienti per la progettazione di applicazioni per terminali mobili
|
Franco Fummi |
TELECOM ITALIA LAB S.p.A. |
10/1/03 |
12 |
|
A multimedia platform for ZigBee based home automation (Z-Home)
|
Franco Fummi |
Ateneo, Telecom Italia S.p.A. |
11/1/07 |
19 |
|
An embedded networked architecture to monitor the wine supply chain (eWINE)
|
Franco Dellaglio |
Agrifutur s.r.l., Ateneo |
6/1/06 |
12 |
|
ANGEL : Advanced Networked embedded platform as a Gateway to Enhance quality of Life
|
Franco Fummi |
Unione Europea |
7/1/06 |
30 |
|
Applicazione del linguaggio VHDL alla specifica di circuiti proprietari
|
Franco Fummi |
NEURICAM SPA |
3/31/00 |
12 |
|
Applicazione di una metodologia ibrida per la verifica funzionale
|
Franco Fummi |
STMicroelectronics s.r.l. |
5/1/01 |
12 |
|
Architetture per la gestione integrata di sistemi di rete
|
Graziano Pravadelli |
EDALab s.r.l. |
1/1/10 |
12 |
|
Architetture per sistemi embedded di controllo e comunicazione
|
Graziano Pravadelli |
EDALab s.r.l. |
1/1/10 |
12 |
|
AuTOMatic verifICation tool for embedded software (ATOMIC)
|
Franco Fummi |
7PQ VALUTATI POSITIVAMENTE |
5/5/10 |
24 |
|
C4C - Control for Coordination of Distributed Systems
|
Tiziano Villa |
Unione Europea |
5/1/08 |
36 |
|
Centre of Reserach Excellence in Dependable Embedded Systems (CREDES)
|
Franco Fummi |
Unione Europea |
10/1/09 |
36 |
|
COCONUT - A correct-by Construction Workbench for Design and Verification of Embedded Systems
|
Franco Fummi |
Unione Europea |
1/1/08 |
30 |
|
|
Franco Fummi |
Servizi Informatici di Ateneo |
12/1/02 |
6 |
|
E-Cube: Sviluppo e sperimentazione pilota di un sistema scalabile per l'ottimizzazione dei consumi energetici
|
Franco Fummi |
Ministero dello Sviluppo Economico |
4/6/09 |
36 |
|
Generazione e ottimizzazione automatica di SW dedicato per architetture NoC riconfigurabili (PRIN 2009)
|
Franco Fummi |
PRIN VALUTATO POSITIVAMENTE |
7/15/11 |
24 |
|
HERONS - Hierarchical Control and Fault Diagnosis of Distributed Systems
|
Tiziano Villa |
7PQ VALUTATI POSITIVAMENTE |
8/23/11 |
36 |
|
Metodi e strumenti avanzati per la gestione di reti di calcolatori per il progetto elettronico
|
Franco Fummi |
SIEMENS ICN |
9/1/01 |
3 |
|
Middleware per la tracciabilità RFID e per il monitoraggio attraverso reti di sensori
|
Graziano Pravadelli |
EDALab s.r.l. |
1/1/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 |
1/1/07 |
12 |
|
Modellazione e Analisi di Sistemi Embedded Distribuiti
|
Franco Fummi |
SITEK SPA |
6/1/01 |
12 |
|
|
Franco Fummi |
SITEK SPA |
12/1/02 |
12 |
|
Modellazione e verifica di sistemi embedded
|
Graziano Pravadelli |
EDALab s.r.l. |
11/26/09 |
1 |
|
Modellazione e verifica di sistemi embedded ibridi per piattaforme multiprocessore (PRIN 2007)
|
Franco Fummi |
PRIN VALUTATO POSITIVAMENTE |
9/22/08 |
24 |
|
Modellazione e verifica di sistemi embedded ibridi per piattaforme multiprocessore (PRIN 2008)
|
Franco Fummi |
PRIN VALUTATO POSITIVAMENTE |
1/27/10 |
24 |
|
|
Franco Fummi |
TELECOM ITALIA LAB S.p.A. |
5/1/02 |
12 |
|
Modeling, Simulation and Validation of System-On-Chip
|
Franco Fummi |
Ministero dell'Istruzione dell'Università e della Ricerca |
5/1/02 |
24 |
|
Modellizzazione e simulazione di sistemi integrati complessi per applicazioni multimediali
|
Franco Fummi |
C.N.R. Consiglio Nazionale delle Ricerche |
10/1/01 |
12 |
|
Configurable embedded platform for broadband wireless communications over transportation systems (WirelessTransPlat)
|
Franco Fummi |
Ateneo, Delta Sistemi s.r.l. |
9/1/07 |
12 |
|
Piattaforme di servizio P2P: rete logica, requisiti e strumenti (PRIN 2008)
|
Damiano Carra |
PRIN VALUTATO POSITIVAMENTE |
1/27/10 |
24 |
|
|
Franco Fummi |
SIEMENS ICN |
1/14/03 |
6 |
|
Reliability aware methods for robust design technology (RELMUST)
|
Franco Fummi |
7PQ VALUTATI POSITIVAMENTE |
7/6/09 |
36 |
|
SiP Design Technologies for Monitoring of Food Health in Harsh Environments (MEALTH)
|
Franco Fummi |
7PQ VALUTATI POSITIVAMENTE |
7/13/07 |
30 |
|
Sviluppo degli ambienti di progettazione per sistemi embedded HIFSuite e ZigBeeSuite
|
Graziano Pravadelli |
EDALab s.r.l. |
11/7/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 |
9/22/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 |
1/27/10 |
24 |
|
SYMBAD: Formal Verification in System Level Based Design
|
Franco Fummi |
Unione Europea |
3/1/02 |
27 |
|
Tecniche di modellazione di piattaforme per terminali mobili
|
Franco Fummi |
|
5/1/04 |
12 |
|
Tecniche di Progetto e Simulazione di Sistemi Embedded per il Controllo
|
Franco Fummi |
SITEK SPA |
4/1/00 |
12 |
|
Testability evaluation of Critical Control System
|
Franco Fummi |
AUTEC S.R.L. |
1/1/01 |
6 |
|
Timing-accurate co-simulation of the Ultimodule platform
|
Franco Fummi |
Exor International, Inc. |
1/1/04 |
11 |
|
Tools for cOoperating Objects applications Life-cycle (TOOL)
|
Franco Fummi |
7PQ VALUTATI POSITIVAMENTE |
3/1/10 |
36 |
|
TOUCHMORE: Automatic Customizable Tool-chain for Heterogeneous Multicore Platform Software Development
|
Franco Fummi |
Unione Europea |
9/1/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 |
|
5/1/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 |
10/14/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 |
10/14/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 |
10/14/10 |
24 |
|
VERTIGO: Verification and Validation of Embedded Systems Design Workbench
|
Franco Fummi |
Unione Europea |
6/1/06 |
30 |
|
Wireless Sensing Technology for Monitoring of Food Health in Harsh Environments (MEALTHY)
|
Franco Fummi |
7PQ VALUTATI POSITIVAMENTE |
12/17/07 |
30 |
|
Yield Improvement in Nanotechnology Production Process of Standard Cells Based Integrated Circuits (ImpNanolC) - Joint Project 2005
|
Franco Fummi |
Ateneo, PDF Solutions Inc. |
1/1/07 |
12 |
