Franco Fummi

  1. Home
  2. Dipartimento
  3. Persone
  4. Franco Fummi
Franco Fummi, 2 aprile 2025
Qualifica
Professore ordinario
Sezioni
Ingegneria e Fisica
Settore disciplinare
IINF-05/A - Sistemi di elaborazione delle informazioni
Settore di Ricerca (ERC-2024)
PE6_1 - Computer architecture, embedded systems, operating systems

PE6_2 - Distributed systems, parallel computing, sensor networks, cyber-physical systems

Settore di Ricerca (ERC)
PE6_1 - Computer architecture, pervasive computing, ubiquitous computing

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

Ufficio
Ca' Vignal 2,  Piano 1,  Stanza 59
Telefono
045 802 7994
E-mail
franco|fummi*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.

Orario di ricevimento

giovedì, Ore 10.00 - 11.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.
  • Modellazione, verifica, progettazione di sistemi ciberfisici per la produzione.
  • Progettazone elettronica basata su AI, architetture embedded per AI, TinyML.

Insegnamenti

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

Corso Nome Crediti totali Online Crediti del docente Moduli svolti da questo docente
Laurea magistrale in Computer Engineering for intelligent Systems Embedded & IoT systems design (2025/2026)   6  eLearning 6 
Dottorato in Ingegneria dei Sistemi Intelligenti Modellazione e verifica di sistemi digitali (part I) (2025/2026)   0,5    0,5 
Laurea interateneo in Ingegneria dei sistemi medicali per la persona [L-8] Oltre Arduino: dal prototipo al prodotto con microcontroller STM (2025/2026)   3    3 
Laurea interateneo in Ingegneria dei sistemi medicali per la persona [L-8] Progettazione di componenti hardware su FPGA (2025/2026)   3    3 
Laurea interateneo in Ingegneria dei sistemi medicali per la persona [L-8] Prototipizzazione con Arduino (2025/2026)   3    3 
Laurea in Ingegneria dei sistemi robotici e intelligenti Reti logiche e calcolatori elettronici (2025/2026)   12  eLearning 9  (Teoria)
1  (Esercitazioni - Laboratorio)
Laurea magistrale in Computer Engineering for intelligent Systems Systems verification & testing (2025/2026)   6  eLearning 3 
Laurea magistrale in Computer Engineering for Intelligent Systems [LM-32] Embedded & IoT systems design (2024/2025)   6  eLearning 6 
Dottorato in Ingegneria dei Sistemi Intelligenti Modellazione e verifica di sistemi digitali (2024/2025)   1,5    0,5 
Laurea interateneo in Ingegneria dei sistemi medicali per la persona [L-8] Oltre Arduino: dal prototipo al prodotto con microcontroller STM (2024/2025)   3  eLearning 1 
Laurea interateneo in Ingegneria dei sistemi medicali per la persona [L-8] Progettazione di componenti hardware su FPGA (2024/2025)   3  eLearning 1 
Laurea interateneo in Ingegneria dei sistemi medicali per la persona [L-8] Prototipizzazione con Arduino (2024/2025)   3  eLearning 1 
Laurea in Ingegneria dei sistemi robotici e intelligenti Reti logiche e calcolatori elettronici (2024/2025)   12  eLearning 1  (Esercitazioni - Laboratorio)
9  (Teoria)
Laurea magistrale in Computer Engineering for Intelligent Systems [LM-32] Systems verification & testing (2024/2025)   6  eLearning 3 
Laurea in Informatica [L-31] Architettura degli elaboratori [Matricole dispari] (2023/2024)   12    6  (Teoria base)
Laurea in Informatica [L-31] Architettura degli elaboratori [Matricole pari] (2023/2024)   12  eLearning 6  (Teoria base)
Laurea magistrale in Computer Engineering for Robotics and Smart Industry Embedded & IoT systems design (2023/2024)   6  eLearning 3  (Industrial IoT and Cyber-Physical Production Systems)
3  (Embedded and IoT Systems)
Laurea interateneo in Ingegneria dei sistemi medicali per la persona [L-8] Introduction to docker & kubernetes (2023/2024)   3  eLearning 3 
Laurea interateneo in Ingegneria dei sistemi medicali per la persona [L-8] Progettazione di componenti hardware su FPGA (2023/2024)   3  eLearning 3 
Laurea interateneo in Ingegneria dei sistemi medicali per la persona [L-8] Prototipizzazione con Arduino (2023/2024)   3  eLearning 3 
Laurea in Bioinformatica [L-31] Sviluppo firmware con protocollo bluetooth low energy (BLE) e sistema operativo Freertos (2023/2024)   3  eLearning 3 
Laurea magistrale in Computer Engineering for Robotics and Smart Industry Systems verification & testing (2023/2024)   6  eLearning 3 
Laurea in Informatica [L-31] Architettura degli elaboratori [Matricole dispari] (2022/2023)   12  eLearning 6  (Teoria base)
Laurea in Informatica [L-31] Architettura degli elaboratori [Matricole pari] (2022/2023)   12  eLearning 6  (Teoria base)
Laurea magistrale in Computer Engineering for Robotics and Smart Industry Embedded & IoT systems design (2022/2023)   6  eLearning 3  (Embedded and IoT Systems)
3  (Industrial IoT and Cyber-Physical Production Systems)
Laurea in Bioinformatica [L-31] Introduction to docker & kubernetes (2022/2023)   3  eLearning 3 
Laurea in Bioinformatica [L-31] Introduzione alla stampa 3D (2022/2023)   3    3 
Laurea in Bioinformatica [L-31] Progettazione di componenti hardware su FPGA (2022/2023)   3  eLearning 3 
Laurea in Bioinformatica [L-31] Prototipizzazione con Arduino (2022/2023)   3  eLearning 3 
Laurea magistrale in Computer Engineering for Robotics and Smart Industry Systems verification & testing (2022/2023)   6  eLearning 3 
Laurea in Informatica [L-31] Architettura degli elaboratori [Matricole dispari] (2021/2022)   12  eLearning 6  (Teoria base)
Laurea in Informatica [L-31] Architettura degli elaboratori [Matricole pari] (2021/2022)   12    6  (Teoria base)
Laurea magistrale in Computer Engineering for Robotics and Smart Industry Embedded & IoT systems design (2021/2022)   6  eLearning 2  (Laboratorio)
4  (Teoria)
Laurea in Bioinformatica [L-31] Introduzione alla stampa 3D (2021/2022)   3  eLearning 3 
Laurea in Bioinformatica [L-31] Progettazione di componenti hardware su FPGA (2021/2022)   3  eLearning 3 
Laurea in Bioinformatica [L-31] Prototipizzazione con Arduino (2021/2022)   3  eLearning 3 
Laurea magistrale in Computer Engineering for Robotics and Smart Industry Systems verification & testing (2021/2022)   6  eLearning 3 
Laurea in Informatica [L-31] Architettura degli elaboratori [Matricole dispari] (2020/2021)   12  eLearning 6  (Teoria)
Laurea in Informatica [L-31] Architettura degli elaboratori [Matricole pari] (2020/2021)   12  eLearning 6  (Teoria)
Laurea magistrale in Computer Engineering for Robotics and Smart Industry Embedded & IoT systems design (2020/2021)   6  eLearning 5  (Teoria)
1  (Laboratorio)
Laurea in Bioinformatica [L-31] Introduzione alla stampa 3D (2020/2021)   3  eLearning 3 
Laurea in Bioinformatica [L-31] Progettazione di componenti hardware su FPGA (2020/2021)   3  eLearning 3 
Laurea in Bioinformatica [L-31] Prototipizzazione con Arduino (2020/2021)   3  eLearning 3 
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Software per sistemi embedded (2020/2021)   6  eLearning 2 
Laurea in Informatica [L-31] Architettura degli elaboratori [Matricole dispari] (2019/2020)   12  eLearning 6  (Teoria)
Laurea in Informatica [L-31] Architettura degli elaboratori [Matricole pari] (2019/2020)   12  eLearning 5  (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Progettazione di sistemi embedded (2019/2020)   6  eLearning 2  (Laboratorio)
4  (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Software per sistemi embedded (2019/2020)   6  eLearning 1  (Teoria)
1  (Laboratorio)
Laurea in Informatica [L-31] Architettura degli elaboratori [Matricole dispari] (2018/2019)   12  eLearning 6  (Teoria)
Laurea in Informatica [L-31] Architettura degli elaboratori [Matricole pari] (2018/2019)   12  eLearning 5  (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Progettazione di sistemi embedded (2018/2019)   6  eLearning 2  (Laboratorio)
4  (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Software per sistemi embedded (2018/2019)   6  eLearning 1  (Laboratorio)
1  (Teoria)
Laurea in Informatica [L-31] Architettura degli elaboratori [Cognomi A-L] (2017/2018)   12  eLearning 5  (Teoria)
Laurea in Informatica [L-31] Architettura degli elaboratori [Cognomi M-Z] (2017/2018)   12  eLearning 6  (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Progettazione di sistemi embedded (2017/2018)   6  eLearning 6 
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Software per sistemi embedded (2017/2018)   6  eLearning 2 
Laurea in Informatica [L-31] Architettura degli elaboratori (2016/2017)   12  eLearning 9  (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Progettazione di sistemi embedded (2016/2017)   6  eLearning 6 
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Software per sistemi embedded (2016/2017)   6  eLearning 2 
Laurea in Informatica [L-31] Architettura degli elaboratori (2015/2016)   12    9  (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Progettazione di sistemi embedded (2015/2016)   6    6 
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Software per sistemi embedded (2015/2016)   6    2 
Laurea in Informatica [L-31] Architettura degli elaboratori (2014/2015)   12    9  (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Progettazione di sistemi embedded (2014/2015)   6    6 
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Software per sistemi embedded (2014/2015)   6    2 
Laurea in Informatica [L-31] Architettura degli elaboratori (2013/2014)   12    9  (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Progettazione di sistemi embedded (2013/2014)   6    6 
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Software per sistemi embedded (2013/2014)   6    2 
Laurea in Informatica [L-31] Architettura degli elaboratori (2012/2013)   12    9  (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Progettazione di sistemi embedded (2012/2013)   6    6 
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Software per sistemi embedded (2012/2013)   6    2 
Laurea in Informatica [L-31] Architettura degli elaboratori (2011/2012)   12    9  (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Progettazione di sistemi embedded (2011/2012)   6    6 
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Software per sistemi embedded (2011/2012)   6    2 
Laurea in Informatica [L-31] Architettura degli elaboratori (2010/2011)   12    9  (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Progettazione di sistemi embedded (2010/2011)   6    6 
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Software per sistemi embedded (2010/2011)   6    2 
Laurea in Informatica [L-31] Architettura degli elaboratori (2009/2010)   12    9  (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Progettazione di sistemi embedded (2009/2010)   6    6 
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Software per sistemi embedded (2009/2010)   6    2 
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Architettura degli elaboratori (2008/2009)   10    8  Teoria
Laurea in Bioinformatica (ordinamento fino all'a.a. 2008/09) Elementi di architettura degli elaboratori (2008/2009)   5    5 
Laurea specialistica in Informatica Sistemi di elaborazione dell'informazione (2008/2009)   5    1  Laboratorio
4  Teoria
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Architettura degli elaboratori (2007/2008)   10    8  Teoria
Laurea in Bioinformatica (ordinamento fino all'a.a. 2008/09) Elementi di architettura degli elaboratori (2007/2008)   5    5 
Laurea specialistica in Informatica Sistemi di elaborazione dell'informazione (2007/2008)   5    1  Laboratorio
4  Teoria
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Architettura degli elaboratori (2006/2007)   10    8  Teoria
Laurea in Bioinformatica (ordinamento fino all'a.a. 2008/09) Elementi di architettura degli elaboratori (2006/2007)   5    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    5 
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Architettura degli elaboratori (2005/2006)   10    8  Teoria
Laurea specialistica in Informatica Sistemi di elaborazione dell'informazione (2005/2006)   5    5 
Laurea specialistica in Informatica Sistemi per la progettazione automatica (2005/2006)   5    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      Laboratorio [Informatica (G-Z)]
  Laboratorio [Tecnologie e Informatica (A-F)]
  Teoria
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      Laboratorio
  Teoria
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     

Di seguito sono elencati gli eventi e gli insegnamenti di Terza Missione collegati al docente:

  • Eventi di Terza Missione: eventi di Public Engagement e Formazione Continua.
  • Insegnamenti di Terza Missione: insegnamenti che fanno parte di Corsi di Studio come Corsi di formazione continua, Corsi di perfezionamento e aggiornamento professionale, Corsi di perfezionamento, Master e Scuole di specializzazione.

Gruppi di ricerca

ESD - Electronic Systems Design
Obiettivo del gruppo di ricerca è applicare l’automazione della progettazione elettronica (EDA) ai sistemi di produzione ciber-fisici (CPPS) e IoT industriale (IIoT) per la modellazione, simulazione, sintesi e test di linee di produzione.
NeST
Progettazione e verifica delle tecnologie di comunicazione in grado di portare efficienza e sostenibilità in applicazioni chiave come industria, agricoltura, domotica, trasporti e gestione del territorio.
PARCO – Parallel Computing
Obiettivo del gruppo di ricerca è lo sviluppo e ottimizzazione di Software per sistemi di calcolo multi-core CPU/many-core GPU con vincoli di risorse (e.g., Edge Computing) e per sistemi di calcolo ad alte prestazioni (High-performance Computing – HPC).
Sistemi fisici e ciberfisici
Competenze
Argomento Descrizione Area di ricerca
Progettazione di sistemi embedded e IoT 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 e IoT
Sistemi fisici e ciberfisici
Sistemi ciberfisici Tecniche per la modellazione, progettazione e verifica di sistemi ciberfisici, particolarmente orientate ai sistemi ciberfisici per la produzione - rappresentazione e verifica dei requisiti - software per la gestione della produzione - digital-twin Sistemi Ciberfisici e IoT
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 Sistemi Ciberfisici e IoT
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 Sistemi Ciberfisici e IoT
Sistemi fisici e ciberfisici
Progetti
Titolo Data inizio
PREPARE - Personalized Engine for Prostate cancer Evaluation 01/07/23
Progettazione e sviluppo di schede di controllo Wifi, BLE, ZigBee e LoraWAN per l'adattamento di BOXIO a scenari in ambito smart building e sustanaible living 01/01/22
Sistema SMART di umidificazione ad ultrasuoni ad alta efficienza 16/09/21
Fresh Digital Integration 16/09/21
Analisi BPMN per progetto di ottimizzazione flussi per trasporto merci 06/07/21
Prototipo Concettuale di Build Trust 23/03/21
Modelli avanzati di logistica di magazzino 17/02/21
Architettura per l’integrazione di avvitatore industriale in linea di produzione 10/02/21
Estensione della piattaforma BOX-IO con tecniche di AI e integrazione di dispositivi Bluetooth LowEnergy 01/01/21
Design Automation for Smart Factories — DeFacto (MSCA Individual - GF 2019) 01/10/20
Resilient Logistics and Supply Chain Design (Reload): Progettazione Di Una Supply Chain e di una Logistica Resiliente 10/09/20
SAFE PLACE Sistemi IoT per ambienti di vita salubri e sicuri 10/09/20
VIR2EM - Virtualizzazione e remotizzazione per una manifattura efficiente e resiliente 10/09/20
Extension of the BOX-IO architecture to IIoT 16/06/20
Piattaforma IIoT per controllo ed analisi qualità data-driven in ambito metallurgico 28/05/20
Industrializzazione 4.0: Processi e Modelli per l’Acquisizione Dati 08/05/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" 27/03/20
Progettazione e implementazione di dispositivi embedded sicuri per lo smartbuilding” utile allo sviluppo del progetto “S2D - Securing Smartbuilding Devices 27/03/20
ROS-based design and synthesis of monitors for semi-formal verification of robotics applications 09/03/20
Una architettura OPC-UA per la raccolta e storicizzazione dei dati conforme a Industria 4.0 18/02/20
Architectures for Embedded Artificial Intelligence 01/01/20
Un Ambiente Cloud-Native per l’Industrial IoT 01/01/20
Modellazione formale processi produttivi e loro ottimizzazione 14/06/19
Uso di tecnologie OPC-UA nel contesto Industria 4.0 14/06/19
TREATS Therapeutic Robot in early Autism Trough a Smart System 21/03/19
Model-Based Design and Verication Flow for Embedded Vision Applications 26/02/19
Medical Smart Space 08/01/18
Progetto di eccellenza: Informatica per Industria 4.0 01/01/18
COREWOOD - Riposizionamento competitivo del la filiera del legno 07/11/17
GHOTEM - Global House Thermal & Electrical Energy Management 07/11/17
Sistema domotico IOT integrato ad elevata sicurezza 07/11/17
PreMANI – Manifattura Predittiva: progettazione, sviluppo e implementazione di soluzioni di Digital Manufacturing per la previsione del la Qualità e la Manutenzione Intelligente 07/11/17
JP2016 - Estensione di FMI per supporto dei linguaggi ad eventi discreti 01/02/17
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
JP2015 - TOYS - Verso gli smart display industriali 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

Condividi