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

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 265 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   
Dipartimento Informatica  Progettazione di sistemi embedded (2014/2015)   6   
Dipartimento Informatica  Software per sistemi embedded (2014/2015)   6   
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