Franco Fummi

  1. Home
  2. Department
  3. People
  4. Franco Fummi
Franco Fummi, February 8, 2019
Position
Full Professor
Academic sector
ING-INF/05 - INFORMATION PROCESSING SYSTEMS
Research sector (ERC)
PE6_1 - Computer architecture, pervasive computing, ubiquitous computing

PE6_2 - Computer systems, parallel/distributed systems, sensor networks, embedded systems, cyber-physical systems

Office
Ca' Vignal 2,  Floor 1,  Room 59
Telephone
045 802 7994
Fax
045 802 7068
E-mail
franco|fummi*univr|it <== Replace | with . and * with @ to have the right email address.

Office Hours

Thursday, Hours 10:00 AM - 11:30 AM,   Ca' Vignal 2, Floor 1, room 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.

Modules

Modules running in the period selected: 82.
Click on the module to see the timetable and course details.

Course Name Total credits Online Teacher credits Modules offered by this teacher
Bachelor's degree in Computer Science Computer Architecture [Matricole dispari] (2020/2021)   12  eLearning 6  (Teoria)
Bachelor's degree in Computer Science Computer Architecture [Matricole pari] (2020/2021)   12  eLearning 6  (Teoria)
Master's degree in Computer Science and Engineering Design automation of embedded systems (2020/2021)   6  eLearning 2 
Master's degree in Computer Engineering for Robotics and Smart Industry Embedded & IoT Systems Design (2020/2021)   6  eLearning 5  (Teoria)
1  (Laboratorio)
Bachelor's degree in Computer Science Computer Architecture [Matricole dispari] (2019/2020)   12  eLearning 6  (Teoria)
Bachelor's degree in Computer Science Computer Architecture [Matricole pari] (2019/2020)   12  eLearning 5  (Teoria)
Master's degree in Computer Science and Engineering Design automation of embedded systems (2019/2020)   6  eLearning 1  (Teoria)
1  (Laboratorio)
Master's degree in Computer Science and Engineering Embedded systems design (2019/2020)   6  eLearning 2  (Laboratorio)
4  (Teoria)
PhD in Computer Science Attività didattica dottorato (2019/2020)   50  eLearning 1 
Bachelor's degree in Computer Science Computer Architecture [Matricole dispari] (2018/2019)   12  eLearning 6  (Teoria)
Bachelor's degree in Computer Science Computer Architecture [Matricole pari] (2018/2019)   12  eLearning 5  (Teoria)
Master's degree in Computer Science and Engineering Design automation of embedded systems (2018/2019)   6  eLearning 1  (Laboratorio)
1  (Teoria)
Master's degree in Computer Science and Engineering Embedded systems design (2018/2019)   6  eLearning 2  (Laboratorio)
4  (Teoria)
Bachelor's degree in Computer Science Computer Architecture [Cognomi A-L] (2017/2018)   12  eLearning 5  (Teoria)
Bachelor's degree in Computer Science Computer Architecture [Cognomi M-Z] (2017/2018)   12  eLearning 6  (Teoria)
Master's degree in Computer Science and Engineering Design automation of embedded systems (2017/2018)   6  eLearning 2 
Master's degree in Computer Science and Engineering Embedded systems design (2017/2018)   6  eLearning 6 
Bachelor's degree in Computer Science Computer Architecture (2016/2017)   12  eLearning 9  (Teoria)
Master's degree in Computer Science and Engineering Design automation of embedded systems (2016/2017)   6  eLearning 2 
Master's degree in Computer Science and Engineering Embedded systems design (2016/2017)   6  eLearning 6 
Bachelor's degree in Computer Science Computer Architecture (2015/2016)   12  eLearning 9  (Teoria)
Master's degree in Computer Science and Engineering Design automation of embedded systems (2015/2016)   6  eLearning 2 
Master's degree in Computer Science and Engineering Embedded systems design (2015/2016)   6  eLearning 6 
Bachelor's degree in Computer Science Computer Architecture (2014/2015)   12  eLearning 9  (Teoria)
Master's degree in Computer Science and Engineering Design automation of embedded systems (2014/2015)   6  eLearning 2 
Master's degree in Computer Science and Engineering Embedded systems design (2014/2015)   6  eLearning 6 
Bachelor's degree in Computer Science Computer Architecture (2013/2014)   12  eLearning 9  (Teoria)
Master's degree in Computer Science and Engineering Design automation of embedded systems (2013/2014)   6  eLearning 2 
Master's degree in Computer Science and Engineering Embedded systems design (2013/2014)   6  eLearning 6 
Bachelor's degree in Computer Science Computer Architecture (2012/2013)   12  eLearning 9  (Teoria)
Master's degree in Computer Science and Engineering Design automation of embedded systems (2012/2013)   6  eLearning 2 
Master's degree in Computer Science and Engineering Embedded systems design (2012/2013)   6  eLearning 6 
Bachelor's degree in Computer Science Computer Architecture (2011/2012)   12  eLearning 9  (Teoria)
Master's degree in Computer Science and Engineering Design automation of embedded systems (2011/2012)   6  eLearning 2 
Master's degree in Computer Science and Engineering Embedded systems design (2011/2012)   6  eLearning 6 
Bachelor's degree in Computer Science Computer Architecture (2010/2011)   12  eLearning 9  (Teoria)
Master's degree in Computer Science and Engineering Design automation of embedded systems (2010/2011)   6  eLearning 2 
Master's degree in Computer Science and Engineering Embedded systems design (2010/2011)   6  eLearning 6 
Bachelor's degree in Computer Science Computer Architecture (2009/2010)   12  eLearning 9  (Teoria)
Master's degree in Computer Science and Engineering Design automation of embedded systems (2009/2010)   6  eLearning 2 
Master's degree in Computer Science and Engineering Embedded systems design (2009/2010)   6  eLearning 6 
Bachelor in Computer Science (until 2008-2009 academic year) Computer Architecture (2008/2009)   10  eLearning 8  Teoria
Bachelor's degree in Bioinformatics (until 2008-2009) Introduction to computer architecture (2008/2009)   5  eLearning 5 
Masters in Computer Science Sytems of Information Elaboration (2008/2009)   5    1  Laboratorio
4  Teoria
Bachelor in Computer Science (until 2008-2009 academic year) Computer Architecture (2007/2008)   10    8  Teoria
Bachelor's degree in Bioinformatics (until 2008-2009) Introduction to computer architecture (2007/2008)   5    5 
Masters in Computer Science Sytems of Information Elaboration (2007/2008)   5    1  Laboratorio
4  Teoria
Bachelor in Computer Science (until 2008-2009 academic year) Computer Architecture (2006/2007)   10    8  Teoria
Bachelor's degree in Bioinformatics (until 2008-2009) Introduction to computer architecture (2006/2007)   5    5 
Masters in Computer Science Sytems of Information Elaboration (2006/2007)   5    5 
Level 1 Masters in Network Planning and Management Sistemi di Elaborazione delle Informazioni di Rete (2006/2007)   5     
Bachelor in Computer Science (until 2008-2009 academic year) Computer Architecture (2005/2006)   10    8  Teoria
Masters in Computer Science Electronic Design Automation (2005/2006)   5    5 
Masters in Computer Science Sytems of Information Elaboration (2005/2006)   5    5 
Bachelor in Computer Science (until 2008-2009 academic year) Computer Architecture (2004/2005)   10      Teoria
Masters in Computer Science Electronic Design Automation (2004/2005)   5     
Masters in Computer Science Sytems of Information Elaboration (2004/2005)   5     
Bachelor in Computer Science (until 2008-2009 academic year) Computer Architecture (2003/2004)   10      Teoria
Masters in Computer Science Electronic Design Automation (2003/2004)   5     
Masters in Computer Science Sytems of Information Elaboration (2003/2004)   5     
Bachelor in Computer Science (until 2008-2009 academic year) Computer Architecture (2002/2003)   10      Teoria
  Laboratorio [Tecnologie e Informatica (A-F)]
  Laboratorio [Informatica (G-Z)]
Masters in Computer Science Electronic Design Automation (2002/2003)   5     
Masters in Computer Science Sytems of Information Elaboration (2002/2003)   5     
Bachelor in Computer Science (until 2008-2009 academic year) Computer Architecture (2001/2002)   10      Teoria
  Laboratorio
Bachelor in Computer Science (old system) Electronic Design Automation (2001/2002)   0     
Bachelor in Information Technology: Multimedia Sytems of Information Elaboration (2001/2002)   5     
Bachelor in Computer Science (old system) Computer Architecture (2000/2001)   2     
Bachelor in Computer Science (old system) Electronic Design Automation (2000/2001)   1     
Bachelor in Computer Science (old system) Information Processing Systems: Architecture (III year) (2000/2001)   1     
Bachelor in Computer Science (old system) Computer Architecture (1999/2000)   2     
Bachelor in Computer Science (old system) Electronic Design Automation (1999/2000)   1     
Bachelor in Computer Science (old system) Information Processing Systems: Architecture (III year) (1999/2000)   1     

 

Research groups

Electronic Systems Design (ESD)
Techniques for the automatic design of electronic systems, based on formal languages and correct by construction or formally verified methodologies
Research interests
Topic Description Research area
Embedded system design Design techniques for the automatic generation of embedded hardware/software starting from transactional level models (TLM) and with emphasis on: - TLM-RTL synthesis and abstraction - RTL-to-SW abstraction - TLM transactor generation - Device-driver generation - Embedded SW for multicore systems - Hardware description language-based modeling - Middleware-based design Cyber-physical systems
Embedded and cyber-physical systems
Networking systems Design techniques for networking systems, particularly devoted to: - Protocol Design and Architectures - Performance Evaluation - Network Measurement and characterization - Overlay Networks Cyber-physical systems
Network architectures
Networked embedded systems Design techniques for networked embedded systems, particularly devoted to: - networked embedded systems co-design - networked embedded systems co-simulation - QoS-based design - M2M and sensor network design Cyber-physical systems
Embedded and cyber-physical systems
Embedded system verification Verification techniques for embedded systems at different abstraction levels, with particular emphasis on: - Static verification - Dynamic verification - Semi-formal verification - Hybrid and real-time systems Cyber-physical systems
Hardware validation
Projects
Title Starting date
Modelli avanzati di logistica di magazzino 2/17/21
Architettura per l’integrazione di avvitatore industriale in linea di produzione 2/10/21
Extension of BOX-IO through AI techniques and integration of Bluetooth LowEnergy devices 1/1/21
Extension of the BOX-IO architecture to IIoT 6/16/20
Piattaforma IIoT per controllo ed analisi qualità data-driven in ambito metallurgico 5/28/20
Industrializzazione 4.0: Processi e Modelli per l’Acquisizione Dati 5/8/20
Progettazione e implementazione di un sistema per l’efficienza energetica utilizzando tecniche di Intelligenza Artificiale” utile allo sviluppo del progetto “PERSICO - Piattaforma per l’efficientamento energetico basata su sensoristica integrata e pianificazione delle risorse 3/27/20
Progettazione e implementazione di dispositivi embedded sicuri per lo smartbuilding” utile allo sviluppo del progetto “S2D - Securing Smartbuilding Devices 3/27/20
ROS-based design and synthesis of monitors for semi-formal verification of robotics applications 3/9/20
Una architettura OPC-UA per la raccolta e storicizzazione dei dati conforme a Industria 4.0 2/18/20
Architectures for Embedded Artificial Intelligence 1/1/20
Un Ambiente Cloud-Native per l’Industrial IoT 1/1/20
Formal modeling of production processes and their optimization 6/14/19
Use of OPC-UA technologies in the Industry 4.0 context 6/14/19
TREATS Therapeutic Robot in early Autism Trough a Smart System 3/21/19
Model-Based Design and Verication Flow for Embedded Vision Applications 2/26/19
Computer Engineering for Industry 4.0 1/1/18
COREWOOD - Riposizionamento competit ivo del la filiera del legno 11/7/17
GHOTEM - Global House Thermal & Electrical Energy Management 11/7/17
Sistema domotico IOT integrato ad elevata sicurezza 11/7/17
PreMANI – Manifattura Predittiva: progettazione, sviluppo e implementazione di soluzioni di Digital Manufacturing per la previsione del la Qualità e la Manutenzione Intelligente 11/7/17
Functional mockup Interface extension with support for Discrete Event Languages 2/1/17
Design and implementation of a monitoring and control system based on multi wireless protocols 1/1/17
A framework for efficient TLM modeling and simulation of smart systems 2/29/16
TOYS - TOward Industrial Smart DisplaYS - Joint Projects 2015 1/1/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 12/28/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) 1/1/15
Implementazione di una piattaforma embedded per l'attuazione di servizi di risparmio energetico (Progetto smart green data center) 12/1/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 11/1/13
A verification methodology for embedded software to produce a certification 7/30/13
TOUCHMORE: Automatic Customizable Tool-chain for Heterogeneous Multicore Platform Software Development 9/1/11
Generazione e ottimizzazione automatica di SW dedicato per architetture NoC riconfigurabili (PRIN 2009) 7/15/11
OPTImizing dependability via MUtation analysis for Microelectronics (OPTIMUM) 1/1/11
Verifica formale di Software modellato e generato automaticamente (Verilab - Azione I) 10/14/10
Verifica formale di Software modellato e generato automaticamente (Verilab - Azione III) 10/14/10
Verifica formale di Software modellato e generato automaticamente (Verilab - Azione V) 10/14/10
AuTOMatic verifICation tool for embedded software (ATOMIC) 5/5/10
Tools for cOoperating Objects applications Life-cycle (TOOL) 3/1/10
Modellazione e verifica di sistemi embedded ibridi per piattaforme multiprocessore (PRIN 2008) 1/27/10
Centre of Reserach Excellence in Dependable Embedded Systems (CREDES) 10/1/09
Reliability aware methods for robust design technology (RELMUST) 7/6/09
Creazione di un sistema automatico per la Validazione di un sistema di sviluppo di software embedded 4/9/09
E-Cube: Sviluppo e sperimentazione pilota di un sistema scalabile per l'ottimizzazione dei consumi energetici 4/6/09
Sviluppo degli ambienti di progettazione per sistemi embedded HIFSuite e ZigBeeSuite 11/7/08
Studio Progetto Sviluppo di una Piattaforma Embedded per registratori di cassa 10/8/08
Consulenza e assistenza per la realizazione di applicazioni embedded per sistemi informativi e diagnostici 10/3/08
Modellazione e verifica di sistemi embedded ibridi per piattaforme multiprocessore (PRIN 2007) 9/22/08
Studio Progetto Sviluppo Piattaforma SW per casse automatiche 4/30/08
An EFSM-based Framework for Designing and Verifying Embedded Software (EFFORT) 1/1/08
COCONUT - A correct-by Construction Workbench for Design and Verification of Embedded Systems 1/1/08
Wireless Sensing Technology for Monitoring of Food Health in Harsh Environments (MEALTHY) 12/17/07
A multimedia platform for ZigBee based home automation (Z-Home) 11/1/07
Configurable embedded platform for broadband wireless communications over transportation systems (WirelessTransPlat) 9/1/07
SiP Design Technologies for Monitoring of Food Health in Harsh Environments (MEALTH) 7/13/07
Implementazione di un centralino VoIP per applicazioni ferroviarie 7/5/07
Consulenza e assistenza per lo sviluppo dell'interfaccia grafica e debugging del software sul sistema di riconoscimento targhe (NC5310) 7/3/07
Consulenza e supporto nello sviluppo dei requisiti per l'acquisizione del nuovo sistema informatico 6/18/07
Design and implementation of the HDL Propagation Analysis Engine (PAE) and organization of mutation testing research community 5/24/07
Prototipo di un centralino VoIP per applicazioni ferroviarie 4/18/07
Yield Improvement in Nanotechnology Production Process of Standard Cells Based Integrated Circuits (ImpNanolC) - Joint Project 2005 1/1/07
Modeling and Co-simulation Methods and Tools for the Architectural Exploration and Optimization of Smart Devices (McMEOS) - Joint Project 2005 1/1/07
Architettura eEPC per l'interazione Terminale-Lettore RFID basata su protocollo ZigBee 9/22/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 7/18/06
ANGEL : Advanced Networked embedded platform as a Gateway to Enhance quality of Life 7/1/06
An embedded networked architecture to monitor the wine supply chain (eWINE) 6/1/06
VERTIGO: Verification and Validation of Embedded Systems Design Workbench 6/1/06
Infrastrutture avanzate per il trasporto di dati e voce su rete in ambito ferroviario 5/2/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 2/14/06
Manufacturability Characterization of Standard Cells for Deep Submicron Chip 2/14/06
Modellazione, simulazione e verifica di piattaforme per MPSoC (PRIN 2005) 1/30/06
Servizi di consulenza su CED Verona 12/5/05
Ambiente di modellazione e verifica per terminali mobili 12/1/05
Consulenza e supporto allo sviluppo di strumenti di monitoraggio e gestione della rete 6/22/05
Co-simulation strategies of the Ultimodule platform 5/20/05
Completamento e trubleshooting gestione remota del NOC di firenze e supporto all'analisi degli strumenti di monitoraggio della rete 1/13/05
Realizzazione della libreria Java, realizzazione applicazione e produzione documentazione 12/20/04
Tecniche di modellazione di piattaforme per terminali mobili 5/1/04
Timing-accurate co-simulation of the Ultimodule platform 1/1/04
Tecnologie low-power per terminali mobili e ambiente di esecuzione distribuito per terminali mobili 10/28/03
Ambienti per la progettazione di applicazioni per terminali mobili 10/1/03
Consulenza gestione del NOC di AGSMTelecomunicazioni 7/16/03
Gestione sistema di rete 6/1/03
1/14/03
12/1/02
12/1/02
Modeling, Simulation and Validation of System-On-Chip 5/1/02
5/1/02
SYMBAD: Formal Verification in System Level Based Design 3/1/02
Modellizzazione e simulazione di sistemi integrati complessi per applicazioni multimediali 10/1/01
Metodi e strumenti avanzati per la gestione di reti di calcolatori per il progetto elettronico 9/1/01
Modellazione e Analisi di Sistemi Embedded Distribuiti 6/1/01
Applicazione di una metodologia ibrida per la verifica funzionale 5/1/01
Testability evaluation of Critical Control System 1/1/01
Tecniche di Progetto e Simulazione di Sistemi Embedded per il Controllo 4/1/00
Applicazione del linguaggio VHDL alla specifica di circuiti proprietari 3/31/00



Organization

Department facilities