Franco Fummi

Foto 1 Franco Fummi,  19 novembre 2017
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.

Orario di ricevimento

giovedì, Ore 8.30 - 9.30,   Ca' Vignal 2, piano 1, stanza 61

Curriculum

Principali interessi di ricerca:
  • Progettazione di sistemi embedded, ossia di quei dispositivi elettronici dedicati al controllo di apparecchiature meccaniche, elettriche e idrauliche, dal settore automobilistico passando per quello industriale fino all’elettronica di consumo; gli aspetti maggiormente investigati sono legati alle fasi di moderazione, validazione, verifica e simulazione.
  • Analisi di sistemi embedded di rete con particolare enfasi alla loro progettazione automatica, verifica e ottimizzazione delle prestazioni, in particolare nei settori delle reti di sensori e dell’Internet della cose (IoT), dall’informatica industriale fino ai sistemi ciberfisici.
  • Realizzazione di software ottimizzato per sistemi embedded attraverso la sua modellazione ad alto livello indipendente dalle architetture fino alla specializzazione per architetture di calcolo eterogenee composte da processori di uso generale, hardware programmabile e processori dedicati come le GPGPU.

Insegnamenti

Insegnamenti attivi nel periodo selezionato: 64.
Clicca sull'insegnamento per vedere orari e dettagli del corso.

Corso Nome Crediti totali Online Crediti del docente Moduli svolti da questo docente
Laurea in Informatica Architettura degli elaboratori [Cognomi A-L] (2017/2018)   12  eLearning (Teoria)
Laurea in Informatica Architettura degli elaboratori [Cognomi M-Z] (2017/2018)   12  eLearning (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche Progettazione di sistemi embedded (2017/2018)   6  eLearning
Laurea magistrale in Ingegneria e scienze informatiche Software per sistemi embedded (2017/2018)   6  eLearning
Laurea in Informatica Architettura degli elaboratori (2016/2017)   12  eLearning (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche Progettazione di sistemi embedded (2016/2017)   6  eLearning
Laurea magistrale in Ingegneria e scienze informatiche Software per sistemi embedded (2016/2017)   6  eLearning
Laurea in Informatica Architettura degli elaboratori (2015/2016)   12  eLearning (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche Progettazione di sistemi embedded (2015/2016)   6  eLearning
Laurea magistrale in Ingegneria e scienze informatiche Software per sistemi embedded (2015/2016)   6  eLearning
Laurea in Informatica Architettura degli elaboratori (2014/2015)   12  eLearning (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche Progettazione di sistemi embedded (2014/2015)   6  eLearning
Laurea magistrale in Ingegneria e scienze informatiche Software per sistemi embedded (2014/2015)   6  eLearning
Laurea in Informatica Architettura degli elaboratori (2013/2014)   12  eLearning (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche Progettazione di sistemi embedded (2013/2014)   6  eLearning
Laurea magistrale in Ingegneria e scienze informatiche Software per sistemi embedded (2013/2014)   6  eLearning
Laurea in Informatica Architettura degli elaboratori (2012/2013)   12  eLearning (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche Progettazione di sistemi embedded (2012/2013)   6  eLearning
Laurea magistrale in Ingegneria e scienze informatiche Software per sistemi embedded (2012/2013)   6  eLearning
Laurea in Informatica Architettura degli elaboratori (2011/2012)   12  eLearning (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche Progettazione di sistemi embedded (2011/2012)   6  eLearning
Laurea magistrale in Ingegneria e scienze informatiche Software per sistemi embedded (2011/2012)   6  eLearning
Laurea in Informatica Architettura degli elaboratori (2010/2011)   12  eLearning (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche Progettazione di sistemi embedded (2010/2011)   6  eLearning
Laurea magistrale in Ingegneria e scienze informatiche Software per sistemi embedded (2010/2011)   6  eLearning
Laurea in Informatica Architettura degli elaboratori (2009/2010)   12  eLearning (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche Progettazione di sistemi embedded (2009/2010)   6  eLearning
Laurea magistrale in Ingegneria e scienze informatiche Software per sistemi embedded (2009/2010)   6  eLearning
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Architettura degli elaboratori (2008/2009)   10  eLearning Teoria
Laurea in Bioinformatica (ordinamento fino all'a.a. 2008/09) Elementi di architettura degli elaboratori (2008/2009)   5  eLearning
Laurea specialistica in Informatica Sistemi di elaborazione dell'informazione (2008/2009)   5    Teoria
Laboratorio
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Architettura degli elaboratori (2007/2008)   10    Teoria
Laurea in Bioinformatica (ordinamento fino all'a.a. 2008/09) Elementi di architettura degli elaboratori (2007/2008)   5   
Laurea specialistica in Informatica Sistemi di elaborazione dell'informazione (2007/2008)   5    Teoria
Laboratorio
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Architettura degli elaboratori (2006/2007)   10    Teoria
Laurea in Bioinformatica (ordinamento fino all'a.a. 2008/09) Elementi di architettura degli elaboratori (2006/2007)   5   
Master Universitario in Progettazione e gestione di sistemi di rete (I livello - IV edizione) Sistemi di Elaborazione delle Informazioni di Rete (2006/2007)   5     
Laurea specialistica in Informatica Sistemi di elaborazione dell'informazione (2006/2007)   5   
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Architettura degli elaboratori (2005/2006)   10    Teoria
Laurea specialistica in Informatica Sistemi di elaborazione dell'informazione (2005/2006)   5   
Laurea specialistica in Informatica Sistemi per la progettazione automatica (2005/2006)   5   
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Architettura degli elaboratori (2004/2005)   10      Teoria
Laurea specialistica in Informatica Sistemi di elaborazione dell'informazione (2004/2005)   5     
Laurea specialistica in Informatica Sistemi per la progettazione automatica (2004/2005)   5     
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Architettura degli elaboratori (2003/2004)   10      Teoria
Laurea specialistica in Informatica Sistemi di elaborazione dell'informazione (2003/2004)   5     
Laurea specialistica in Informatica Sistemi per la progettazione automatica (2003/2004)   5     
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Architettura degli elaboratori (2002/2003)   10      Teoria
  Laboratorio [Informatica (G-Z)]
  Laboratorio [Tecnologie e Informatica (A-F)]
Laurea specialistica in Informatica Sistemi di elaborazione dell'informazione (2002/2003)   5     
Laurea specialistica in Informatica Sistemi per la progettazione automatica (2002/2003)   5     
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Architettura degli elaboratori (2001/2002)   10      Teoria
  Laboratorio
Laurea in Tecnologie dell'Informazione: Multimedia Sistemi di elaborazione dell'informazione (2001/2002)   5     
Laurea in Informatica (vecchio ordinamento) Sistemi per la progettazione automatica (2001/2002)   0     
Laurea in Informatica (vecchio ordinamento) Architettura degli elaboratori (2000/2001)   2     
Laurea in Informatica (vecchio ordinamento) Sistemi di elaborazione dell'informazione: architetture (III anno) (2000/2001)   1     
Laurea in Informatica (vecchio ordinamento) Sistemi per la progettazione automatica (2000/2001)   1     
Laurea in Informatica (vecchio ordinamento) Architettura degli elaboratori (1999/2000)   2     
Laurea in Informatica (vecchio ordinamento) Sistemi di elaborazione dell'informazione: architetture (III anno) (1999/2000)   1     
Laurea in Informatica (vecchio ordinamento) Sistemi per la progettazione automatica (1999/2000)   1     

 

Gruppi di ricerca

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
Progetti
Titolo Data inizio
Progettazione e implementazione di un sistema di controllo e monitoraggio multi protocollo Wireless 01/01/17
Progettazione e implementazione di un efficiente e innovativo strumento di modellazione e simulazione per sistemi cosiddetti smart systems (TLM Smart Systems Modeling) 29/02/16
TOYS - TOward Industrial Smart DisplaYS - Joint Projects 2015 01/01/16
Servizi di progettazione dei totem multimediali interattivi, nell'ambito del progetto di realizzazione del percorso culturale ciclo-pedonale denominato "Alta Via della montagna veronese" che collega il sistema ambientale del monte Baldo con quello della Lessinia, attraversando i territori di tredici Comuni da San Zeno di Montagna fino alla frazione di Bolca in Comune di Vestanova per la lunghezza di 110 km 28/12/15
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) 01/01/15
Implementazione di una piattaforma embedded per l'attuazione di servizi di risparmio energetico (Progetto smart green data center) 01/12/14
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 01/11/13
Definizione metodologie adeguate per produrre software certificabile e Formalizzazione processi e metodologia per Attestato conformità del Dipartimento di Informatica 30/07/13
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




Organizzazione

Strutture del dipartimento