Franco  Fummi

I contenuti di questa pagina sono di responsabilità di: Franco Fummi
In caso di assenza rivolgersi alla struttura: Dipartimento di Informatica

Foto 2 Franco Fummi,  16 settembre 2009
Qualifica
Professore ordinario

Settore disciplinare
ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI


Ufficio
Ca' Vignal 2,  Piano 1,  Stanza 59

Telefono
045 802 7994

Fax
045 802 7068

E-mail
franco|fummi*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.

Skype
My status


Direttore
Dipartimento Informatica

Presidente

Altri incarichi

Documenti

Curriculum

Orario di ricevimento
Luogo Giorno Orario
Ca' Vignal 2, piano 1, stanza 61 martedì 8.30 - 10.30

Gruppi di ricerca
Nome Descrizione
Progettazione di sistemi elettronici (ESD - Electronic Systems Design) Tecniche per la progettazione automatica di sistemi elettronici, basate su linguaggi formali e metodologie corrette per costruzioni o formalmente verificate

Competenze
Argomento Descrizione Area di ricerca
Progettazione di sistemi embedded 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
Computer systems organization - Embedded and cyber-physical systems
Sistemi di rete Tecniche per la progettazione di sistemi di rete, particolarmente orientate a: - progettazione di protocolli e architetture di rete - valutazione delle prestazioni di sistemi di rete - caratterizzazione e misura delle reti - reti overlay Sistemi ciberfisici
Networks - Network architectures
Sistemi embedded di rete 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 Sistemi ciberfisici
Computer systems organization - Embedded and cyber-physical systems
Verifica di sistemi embedded 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 Sistemi ciberfisici
Hardware - Hardware validation

Prodotti della ricerca

Anno
Tipologia prodotto
Numero prodotti per pagina
pubblicazioni su 269 totali
 

Progetti
Titolo Data inizio
TOUCHMORE: Automatic Customizable Tool-chain for Heterogeneous Multicore Platform Software Development 01/09/11
Generazione e ottimizzazione automatica di SW dedicato per architetture NoC riconfigurabili (PRIN 2009) 15/07/11
OPTImizing dependability via MUtation analysis for Microelectronics (OPTIMUM) - Joint Project 2007 01/01/11
Verifica formale di Software modellato e generato automaticamente (Verilab - Azione I) 14/10/10
Verifica formale di Software modellato e generato automaticamente (Verilab - Azione III) 14/10/10
Verifica formale di Software modellato e generato automaticamente (Verilab - Azione V) 14/10/10
AuTOMatic verifICation tool for embedded software (ATOMIC) 05/05/10
Tools for cOoperating Objects applications Life-cycle (TOOL) 01/03/10
Modellazione e verifica di sistemi embedded ibridi per piattaforme multiprocessore (PRIN 2008) 27/01/10
Centre of Reserach Excellence in Dependable Embedded Systems (CREDES) 01/10/09
Reliability aware methods for robust design technology (RELMUST) 06/07/09
Creazione di un sistema automatico per la Validazione di un sistema di sviluppo di software embedded 09/04/09
E-Cube: Sviluppo e sperimentazione pilota di un sistema scalabile per l'ottimizzazione dei consumi energetici 06/04/09
Sviluppo degli ambienti di progettazione per sistemi embedded HIFSuite e ZigBeeSuite 07/11/08
Studio Progetto Sviluppo di una Piattaforma Embedded per registratori di cassa 08/10/08
Consulenza e assistenza per la realizazione di applicazioni embedded per sistemi informativi e diagnostici 03/10/08
Modellazione e verifica di sistemi embedded ibridi per piattaforme multiprocessore (PRIN 2007) 22/09/08
Studio Progetto Sviluppo Piattaforma SW per casse automatiche 30/04/08
Ambiente basato su EFSM per la progettazione e la verifica di software embedded (EFFORT) - Joint Project 2007 01/01/08
COCONUT - A correct-by Construction Workbench for Design and Verification of Embedded Systems 01/01/08
Wireless Sensing Technology for Monitoring of Food Health in Harsh Environments (MEALTHY) 17/12/07
A Multimedia Platform for ZigBee based Home Automation (Z-Home) - Joint Project 2007 01/11/07
Piattaforma embedded configurabile per comunicazioni veicolari wireless a larga banda (WirelessTransPlat) - Joint Project 2007 01/09/07
SiP Design Technologies for Monitoring of Food Health in Harsh Environments (MEALTH) 13/07/07
Implementazione di un centralino VoIP per applicazioni ferroviarie 05/07/07
Consulenza e assistenza per lo sviluppo dell'interfaccia grafica e debugging del software sul sistema di riconoscimento targhe (NC5310) 03/07/07
Consulenza e supporto nello sviluppo dei requisiti per l'acquisizione del nuovo sistema informatico 18/06/07
Design and implementation of the HDL Propagation Analysis Engine (PAE) and organization of mutation testing research community 24/05/07
Prototipo di un centralino VoIP per applicazioni ferroviarie 18/04/07
Yield Improvement in Nanotechnology Production Process of Standard Cells Based Integrated Circuits (ImpNanolC) - Joint Project 2005 01/01/07
Modeling and Co-simulation Methods and Tools for the Architectural Exploration and Optimization of Smart Devices (McMEOS) - Joint Project 2005 01/01/07
Architettura eEPC per l'interazione Terminale-Lettore RFID basata su protocollo ZigBee 22/09/06
Valutazione delle procedure informatiche per la gestione della biglietteria al fine di identificare delle specifiche funzionali e architetturali che permettano di difinire le modlaità di acquisizione delle procedure informatiche 18/07/06
ANGEL : Advanced Networked embedded platform as a Gateway to Enhance quality of Life 01/07/06
An embedded networked architecture to monitor the wine supply chain (eWINE) 01/06/06
VERTIGO: Verification and Validation of Embedded Systems Design Workbench 01/06/06
Infrastrutture avanzate per il trasporto di dati e voce su rete in ambito ferroviario 02/05/06
Inserimento di nuove funzionalità all'interno della piattaforma di trasmissione multimediale di TVBLOB e la loro verifica attraverso la simulazione della piattaforma in un contesto di rete 14/02/06
Manufacturability Characterization of Standard Cells for Deep Submicron Chip 14/02/06
Modellazione, simulazione e verifica di piattaforme per MPSoC (PRIN 2005) 30/01/06
Servizi di consulenza su CED Verona 05/12/05
Ambiente di modellazione e verifica per terminali mobili 01/12/05
Consulenza e supporto allo sviluppo di strumenti di monitoraggio e gestione della rete 22/06/05
Co-simulation strategies of the Ultimodule platform 20/05/05
Completamento e trubleshooting gestione remota del NOC di firenze e supporto all'analisi degli strumenti di monitoraggio della rete 13/01/05
Realizzazione della libreria Java, realizzazione applicazione e produzione documentazione 20/12/04
Tecniche di modellazione di piattaforme per terminali mobili 01/05/04
Timing-accurate co-simulation of the Ultimodule platform 01/01/04
Tecnologie low-power per terminali mobili e ambiente di esecuzione distribuito per terminali mobili 28/10/03
Ambienti per la progettazione di applicazioni per terminali mobili 01/10/03
Consulenza gestione del NOC di AGSMTelecomunicazioni 16/07/03
Gestione sistema di rete 01/06/03
Progetto di integrazione unix - active directory 14/01/03
Modellazione e simulazione di sistemi embedded in reti industriali eterogenee 01/12/02
Definizione architettura dei servizi LDAP 01/12/02
Modellazione, Simulazione e Validazione di Sistemi su Chip 01/05/02
Modellazione, simulazione e sintesi di sistemi embedded di rete 01/05/02
SYMBAD: Formal Verification in System Level Based Design 01/03/02
Modellizzazione e simulazione di sistemi integrati complessi per applicazioni multimediali 01/10/01
Metodi e strumenti avanzati per la gestione di reti di calcolatori per il progetto elettronico 01/09/01
Modellazione e Analisi di Sistemi Embedded Distribuiti 01/06/01
Applicazione di una metodologia ibrida per la verifica funzionale 01/05/01
Testability evaluation of Critical Control System 01/01/01
Tecniche di Progetto e Simulazione di Sistemi Embedded per il Controllo 01/04/00
Applicazione del linguaggio VHDL alla specifica di circuiti proprietari 31/03/00

Insegnamenti degli ultimi due anni accademici
Dipartimento/Scuola Nome Crediti totali Online Crediti del docente Moduli svolti da questo docente
Dipartimento Informatica  Architettura degli elaboratori (2014/2015)   12  eLearning
Dipartimento Informatica  Progettazione di sistemi embedded (2014/2015)   6  eLearning
Dipartimento Informatica  Software per sistemi embedded (2014/2015)   6  eLearning
Dipartimento Informatica  Architettura degli elaboratori (2013/2014)   12  eLearning
Dipartimento Informatica  Progettazione di sistemi embedded (2013/2014)   6  eLearning
Dipartimento Informatica  Software per sistemi embedded (2013/2014)   6  eLearning

Gli insegnamenti degli anni accademici precedenti sono consultabili dal catalogo dell'offerta formativa, specificando Anno Accademico e Docente.


Persone
Inizio pagina