Franco Fummi

Franco Fummi,  January 22, 2024
Position
Full Professor
Sections
Ingegneria e Fisica
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
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

The main research directions exploited by Franco Fummi are:

  • Embedded system verification (Static verification - Dynamic verification- Semi-formal verification - Hybrid and real-time systems – Smart systems integration);
  • Networked embedded systems (System/Network co-simulation - System/Network co-design - QoS-enabled design - Sensor networks and M2M systems);
  • Embedded systems design (TLM-RTL synthesis and abstraction - RTL-to-SW abstraction - TLM transactor generation - Device-driver generation - Embedded SW for multi/many core systems - Middleware-based design).
  • Cyber-physical production systems modeling, design, simulation and testing.

Modules

Modules running in the period selected: 113.
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 Engineering for Robotic and Intelligent Systems Digital design and computer architecture (2024/2025)   12    (Teoria)
Dottorato in Ingegneria dei Sistemi Intelligenti Modellazione e verifica di sistemi digitali (2024/2025)   1.5    0.5 
Bachelor's degree in Computer Science Computer Architecture [Matricole dispari] (2023/2024)   12    (Teoria base)
Bachelor's degree in Computer Science Computer Architecture [Matricole pari] (2023/2024)   12  eLearning (Teoria base)
Master's degree in Computer Engineering for Robotics and Smart Industry Embedded & IoT Systems Design (2023/2024)   6  eLearning (Industrial IoT and Cyber-Physical Production Systems)
(Embedded and IoT Systems)
Bachelor's degree in Bioinformatics Firmware development with bluetooth low energy (BLE) protocol and freertos operating system (2023/2024)   3  eLearning
Bachelor's degree in Human Centered Medical System Engineering HW components design on FPGA (2023/2024)   3  eLearning
Bachelor's degree in Human Centered Medical System Engineering Introduction to Docker (2023/2024)   3  eLearning
Bachelor's degree in Human Centered Medical System Engineering Rapid prototyping on Arduino (2023/2024)   3  eLearning
Master's degree in Computer Engineering for Robotics and Smart Industry Systems verification & testing (2023/2024)   6  eLearning
Bachelor's degree in Computer Science Computer Architecture [Matricole dispari] (2022/2023)   12  eLearning (Teoria base)
Bachelor's degree in Computer Science Computer Architecture [Matricole pari] (2022/2023)   12  eLearning (Teoria base)
Master's degree in Computer Engineering for Robotics and Smart Industry Embedded & IoT Systems Design (2022/2023)   6  eLearning (Embedded and IoT Systems)
(Industrial IoT and Cyber-Physical Production Systems)
Bachelor's degree in Bioinformatics HW components design on FPGA (2022/2023)   3  eLearning
Bachelor's degree in Bioinformatics Introduction to 3D printing (2022/2023)   3   
Bachelor's degree in Bioinformatics Introduction to Docker (2022/2023)   3  eLearning
Bachelor's degree in Bioinformatics Rapid prototyping on Arduino (2022/2023)   3  eLearning
Master's degree in Computer Engineering for Robotics and Smart Industry Systems verification & testing (2022/2023)   6  eLearning
Bachelor's degree in Computer Science Computer Architecture [Matricole dispari] (2021/2022)   12  eLearning (Teoria base)
Bachelor's degree in Computer Science Computer Architecture [Matricole pari] (2021/2022)   12    (Teoria base)
Master's degree in Computer Engineering for Robotics and Smart Industry Embedded & IoT Systems Design (2021/2022)   6  eLearning (Teoria)
(Laboratorio)
Bachelor's degree in Bioinformatics HW components design on FPGA (2021/2022)   3  eLearning
Bachelor's degree in Bioinformatics Introduction to 3D printing (2021/2022)   3  eLearning
Bachelor's degree in Bioinformatics Rapid prototyping on Arduino (2021/2022)   3  eLearning
Master's degree in Computer Engineering for Robotics and Smart Industry Systems verification & testing (2021/2022)   6  eLearning
Bachelor's degree in Computer Science Computer Architecture [Matricole dispari] (2020/2021)   12  eLearning (Teoria)
Bachelor's degree in Computer Science Computer Architecture [Matricole pari] (2020/2021)   12  eLearning (Teoria)
Master's degree in Computer Science and Engineering Design automation of embedded systems (2020/2021)   6  eLearning
Master's degree in Computer Engineering for Robotics and Smart Industry Embedded & IoT Systems Design (2020/2021)   6  eLearning (Laboratorio)
(Teoria)
Bachelor's degree in Bioinformatics HW components design on FPGA (2020/2021)   3  eLearning
Bachelor's degree in Bioinformatics Introduction to 3D printing (2020/2021)   3  eLearning
Bachelor's degree in Bioinformatics Rapid prototyping on Arduino (2020/2021)   3  eLearning
Bachelor's degree in Computer Science Computer Architecture [Matricole dispari] (2019/2020)   12  eLearning (Teoria)
Bachelor's degree in Computer Science Computer Architecture [Matricole pari] (2019/2020)   12  eLearning (Teoria)
Master's degree in Computer Science and Engineering Design automation of embedded systems (2019/2020)   6  eLearning (Teoria)
(Laboratorio)
Master's degree in Computer Science and Engineering Embedded systems design (2019/2020)   6  eLearning (Laboratorio)
(Teoria)
PhD in Computer Science Lezioni Dottorandi (2019/2020)   50  eLearning
Bachelor's degree in Computer Science Computer Architecture [Matricole dispari] (2018/2019)   12  eLearning (Teoria)
Bachelor's degree in Computer Science Computer Architecture [Matricole pari] (2018/2019)   12  eLearning (Teoria)
Master's degree in Computer Science and Engineering Design automation of embedded systems (2018/2019)   6  eLearning (Laboratorio)
(Teoria)
Master's degree in Computer Science and Engineering Embedded systems design (2018/2019)   6  eLearning (Laboratorio)
(Teoria)
Bachelor's degree in Computer Science Computer Architecture [Cognomi A-L] (2017/2018)   12  eLearning (Teoria)
Bachelor's degree in Computer Science Computer Architecture [Cognomi M-Z] (2017/2018)   12  eLearning (Teoria)
Master's degree in Computer Science and Engineering Design automation of embedded systems (2017/2018)   6  eLearning
Master's degree in Computer Science and Engineering Embedded systems design (2017/2018)   6  eLearning
Bachelor's degree in Computer Science Computer Architecture (2016/2017)   12  eLearning (Teoria)
Master's degree in Computer Science and Engineering Design automation of embedded systems (2016/2017)   6  eLearning
Master's degree in Computer Science and Engineering Embedded systems design (2016/2017)   6  eLearning
Bachelor's degree in Computer Science Computer Architecture (2015/2016)   12    (Teoria)
Master's degree in Computer Science and Engineering Design automation of embedded systems (2015/2016)   6   
Master's degree in Computer Science and Engineering Embedded systems design (2015/2016)   6   
Bachelor's degree in Computer Science Computer Architecture (2014/2015)   12    (Teoria)
Master's degree in Computer Science and Engineering Design automation of embedded systems (2014/2015)   6   
Master's degree in Computer Science and Engineering Embedded systems design (2014/2015)   6   
Bachelor's degree in Computer Science Computer Architecture (2013/2014)   12    (Teoria)
Master's degree in Computer Science and Engineering Design automation of embedded systems (2013/2014)   6   
Master's degree in Computer Science and Engineering Embedded systems design (2013/2014)   6   
Bachelor's degree in Computer Science Computer Architecture (2012/2013)   12    (Teoria)
Master's degree in Computer Science and Engineering Design automation of embedded systems (2012/2013)   6   
Master's degree in Computer Science and Engineering Embedded systems design (2012/2013)   6   
Bachelor's degree in Computer Science Computer Architecture (2011/2012)   12    (Teoria)
Master's degree in Computer Science and Engineering Design automation of embedded systems (2011/2012)   6   
Master's degree in Computer Science and Engineering Embedded systems design (2011/2012)   6   
Bachelor's degree in Computer Science Computer Architecture (2010/2011)   12    (Teoria)
Master's degree in Computer Science and Engineering Design automation of embedded systems (2010/2011)   6   
Master's degree in Computer Science and Engineering Embedded systems design (2010/2011)   6   
Bachelor's degree in Computer Science Computer Architecture (2009/2010)   12    (Teoria)
Master's degree in Computer Science and Engineering Design automation of embedded systems (2009/2010)   6   
Master's degree in Computer Science and Engineering Embedded systems design (2009/2010)   6   
Bachelor in Computer Science (until 2008-2009 academic year) Computer Architecture (2008/2009)   10    Teoria
Bachelor's degree in Bioinformatics (until 2008-2009) Introduction to computer architecture (2008/2009)   5   
Masters in Computer Science Sytems of Information Elaboration (2008/2009)   5    Teoria
Laboratorio
Bachelor in Computer Science (until 2008-2009 academic year) Computer Architecture (2007/2008)   10    Teoria
Bachelor's degree in Bioinformatics (until 2008-2009) Introduction to computer architecture (2007/2008)   5   
Masters in Computer Science Sytems of Information Elaboration (2007/2008)   5    Laboratorio
Teoria
Bachelor in Computer Science (until 2008-2009 academic year) Computer Architecture (2006/2007)   10    Teoria
Bachelor's degree in Bioinformatics (until 2008-2009) Introduction to computer architecture (2006/2007)   5   
Masters in Computer Science Sytems of Information Elaboration (2006/2007)   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    Teoria
Masters in Computer Science Electronic Design Automation (2005/2006)   5   
Masters in Computer Science Sytems of Information Elaboration (2005/2006)   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      Laboratorio [Tecnologie e Informatica (A-F)]
  Laboratorio [Informatica (G-Z)]
  Teoria
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      Laboratorio
  Teoria
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     

News for students

There you will find information, resources and services useful during your time at the University (Student’s exam record, your study plan on ESSE3, Distance Learning courses, university email account, office forms, administrative procedures, etc.). You can log into MyUnivr with your GIA login details: only in this way will you be able to receive notification of all the notices from your teachers and your secretariat via email and soon also via the Univr app.

MyUnivr
 

Research groups

Electronic Systems Design (ESD)
The aim of the research group is to apply electronic design automation (EDA) techniques to cyber-physical production systems (CPPSs) and Industrial IoT (IIoT) for modeling, simulation, synthesis and testing of production lines.
Networked Systems and Technologies
Design and verification of communication technologies capable of bringing efficiency and sustainability to key applications such as industry, agriculture, building automation, transport and land management.
PARCO – Parallel Computing
The aim of the research group is the development and optimization of Software targeting multi-core CPU/many-core GPUs for resource constrained computing platform (e.g., Edge Computing) and for High-performance Computing (HPC) platforms.
Sistemi fisici e ciberfisici
Research interests
Topic Description Research area
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 Physical and Cyber-physical systems
Sistemi fisici e ciberfisici
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 Physical and Cyber-physical systems
Sistemi fisici e ciberfisici
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 Physical and Cyber-physical systems
Sistemi fisici e ciberfisici
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 Physical and Cyber-physical systems
Sistemi fisici e ciberfisici
Projects
Title Starting date
Design and development of Wifi, BLE, ZigBee and LoraWAN control boards for the application of BOXIO to smart building and sustanaible living scenarios 1/1/22
SMART high-efficiency ultrasonic humidification system 9/16/21
Fresh Digital Integration 9/16/21
BPMN analysis for flow optimization of goods transportation 7/6/21
BuildTrust Proof of Concept 3/23/21
Advanced warehouse logistics models 2/17/21
A hw/sw architecture for the integration of an industrial screwdriver into a production line 2/10/21
Extension of BOX-IO through AI techniques and integration of Bluetooth LowEnergy devices 1/1/21
Design Automation for Smart Factories — DeFacto (MSCA Individual - GF 2019) 10/1/20
Resilient Logistics and Supply Chain Design (Reload): Progettazione Di Una Supply Chain e di una Logistica Resiliente 9/10/20
SAFE PLACE Sistemi IoT per ambienti di vita salubri e sicuri 9/10/20
VIR2EM - VIrtualization and Remotization for Resilient and Efficient Manufacturing 9/10/20
Extension of the BOX-IO architecture to IIoT 6/16/20
IIoT platform for data-driven quality control and analysis in the metallurgical field 5/28/20
Industry 4.0: processes and models for data acquisition 5/8/20
Design and implementation of a system for energy efficiency using Artificial Intelligence techniques useful for the development of the project "PERSICO - Platform for energy efficiency based on integrated sensors and resource planning" 3/27/20
Design and implementation of secure embedded devices for smartbuilding useful for the development of the project "S2D - Securing Smartbuilding Devices" 3/27/20
ROS-based design and synthesis of monitors for semi-formal verification of robotics applications 3/9/20
An OPC-UA architecture for data collection and historization compliant with Industry 4.0 2/18/20
Architectures for Embedded Artificial Intelligence 1/1/20
A Cloud-Native Environment for 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
Medical Smart Space 1/8/18
Computer Engineering for Industry 4.0 1/1/18
COREWOOD - Riposizionamento competitivo 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




Organizzazione

Share