Graziano Pravadelli

Foto,  9 ottobre 2017
Qualifica
Professore ordinario
Settore disciplinare
ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
Settore di Ricerca (ERC)
PE6_2 - Computer systems, parallel/distributed systems, sensor networks, embedded systems, cyber-physical systems

Ufficio
Ca' Vignal 2,  Piano 1,  Stanza 51
Telefono
+39 045 802 7081
Fax
+39 045 802 7068
E-mail
graziano|pravadelli*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.

Orario di ricevimento

Il ricevimento si tiene di mercoledì dalle 12:00 alle 14:00.
Si consiglia in ogni caso di prendere sempre appuntamento via email e di monitorare sul web eventuali avvisi di assenza per evitare inutili attese.
 

Curriculum

Graziano Pravadelli si occupa di simulazione e verifica semi-formale di sistemi embedded, ossia dispositivi elettronici per applicazioni specifiche, la cui progettazione è caratterizzata da vincoli sringenti in termini di dimensione, memoria, consumi e costi, che vengono comunementi usati per esempio in ambito meccanico, idraulico, elettrico e medico. Egli inoltre si interessa alle applicazioni dei sistemi embedded in ambito di smart living.

Insegnamenti

Insegnamenti attivi nel periodo selezionato: 63.
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 Sistemi operativi (2018/2019)   12  eLearning (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche Sistemi operativi avanzati (2018/2019)   6  eLearning (Teoria)
(Laboratorio)
Laurea magistrale in Ingegneria e scienze informatiche Software per sistemi embedded (2018/2019)   6  eLearning (Teoria)
(Laboratorio)
Laurea in Informatica Sistemi operativi (2017/2018)   12  eLearning (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche Sistemi operativi avanzati (2017/2018)   6  eLearning
Laurea magistrale in Ingegneria e scienze informatiche Software per sistemi embedded (2017/2018)   6  eLearning
Laurea in Informatica Sistemi operativi (2016/2017)   12  eLearning (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche Sistemi operativi avanzati (2016/2017)   6  eLearning
Laurea magistrale in Ingegneria e scienze informatiche Software per sistemi embedded (2016/2017)   6  eLearning
Laurea in Informatica Sistemi operativi (2015/2016)   12  eLearning (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche Sistemi operativi avanzati (2015/2016)   6   
Laurea magistrale in Ingegneria e scienze informatiche Software per sistemi embedded (2015/2016)   6  eLearning
PAS C310 - Laboratorio di Informatica Industriale Didattica e laboratorio (2014/2015)   7  eLearning SISTEMI OPERATIVI
Laurea in Informatica Sistemi operativi (2014/2015)   12  eLearning (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche Sistemi operativi avanzati (2014/2015)   6  eLearning
PAS C310 - Laboratorio di Informatica Industriale Sistemi operativi e reti (2014/2015)   4  eLearning SISTEMI OPERATIVI
Laurea magistrale in Ingegneria e scienze informatiche Software per sistemi embedded (2014/2015)   6  eLearning
PAS C300 - Laboratorio di Informatica Gestionale Didattica e laboratorio (2013/2014)   6  eLearning SISTEMI OPERATIVI
Laurea in Informatica Sistemi operativi (2013/2014)   12  eLearning (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche Sistemi operativi avanzati (2013/2014)   6   
Laurea magistrale in Ingegneria e scienze informatiche Software per sistemi embedded (2013/2014)   6  eLearning
Laurea in Lingue e culture per il turismo e il commercio internazionale Informatica [1 semestre] (2012/2013)   3  eLearning
Laurea in Lingue e culture per il turismo e il commercio internazionale Informatica [2 semestre] (2012/2013)   3  eLearning
Laurea in Informatica Sistemi operativi (2012/2013)   12  eLearning (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche Sistemi operativi avanzati (2012/2013)   6   
Laurea magistrale in Ingegneria e scienze informatiche Software per sistemi embedded (2012/2013)   6  eLearning
Laurea in Scienze delle attività motorie e sportive - ordinamento dall'a.a. 2008/2009 Abilità informatiche (2011/2012)   2  eLearning
Laurea in Lingue e culture per il turismo e il commercio internazionale Informatica (2011/2012)   3  eLearning
Laurea in Informatica Sistemi operativi (2011/2012)   12  eLearning (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche Sistemi operativi avanzati (2011/2012)   6   
Laurea magistrale in Ingegneria e scienze informatiche Software per sistemi embedded (2011/2012)   6  eLearning
Laurea in Scienze delle attività motorie e sportive - ordinamento dall'a.a. 2008/2009 Abilità informatiche (2010/2011)   2   
Laurea in Lingue e culture per il turismo e il commercio internazionale Informatica (2010/2011)   3   
Laurea in Informatica Sistemi operativi (2010/2011)   12  eLearning (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche Sistemi operativi avanzati (2010/2011)   6   
Laurea magistrale in Ingegneria e scienze informatiche Software per sistemi embedded (2010/2011)   6  eLearning
Laurea in Lingue e letterature straniere Informatica (2009/2010)   3   
Laurea in Lingue e culture per il turismo e il commercio internazionale - ordinamento fino all'a.a. 2007/2008 (disattivato) Informatica (2009/2010)   3   
Laurea in Informatica Sistemi operativi (2009/2010)   12    (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche Sistemi operativi avanzati (2009/2010)   6   
Laurea magistrale in Ingegneria e scienze informatiche Software per sistemi embedded (2009/2010)   6  eLearning
Laurea in Lingue e culture per il turismo e il commercio internazionale Informatica [II semestre] (2008/2009)   3   
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Sistemi operativi (2008/2009)   10    Teoria
Laboratorio
Laurea specialistica in Informatica Sistemi operativi avanzati (2008/2009)   5    Teoria
Laboratorio
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Sistemi operativi (2007/2008)   10    Teoria
Laboratorio
Laurea specialistica in Informatica Sistemi operativi avanzati (2007/2008)   5    Teoria
Laboratorio
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 in Informatica (ordinamento fino all'a.a. 2008/09) Sistemi operativi (2006/2007)   10    Laboratorio
Teoria
Laurea specialistica in Informatica Sistemi operativi avanzati (2006/2007)   5   
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Sistemi operativi (2005/2006)   10    Teoria
Laurea in Informatica Multimediale (ordinamento fino all'a.a. 2008/09) Sistemi operativi (2005/2006)   10    Laboratorio
Laurea specialistica in Informatica Sistemi operativi avanzati (2005/2006)   5   
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Sistemi operativi (2004/2005)   10      Teoria
Laurea specialistica in Informatica Sistemi operativi avanzati (2004/2005)   5     
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Architettura degli elaboratori (2003/2004)   10      Laboratorio [Informatica (G-Z)]
  Laboratorio [Tecnologie e Informatica (A-F)]

 

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
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
Una piattaforma di coaching virtuale basata su IoT per assistere le persone con sindrome di Down nelle attività della vita quotidiana durante il processo di invecchiamento 01/01/18
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
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
SPAWNE - Smart Pole WSN Network - Joint Project 2014 02/01/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
The Translation Wiki project 18/11/13
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
RTL-to-RTM hierarchical abstraction e TSL-guided testbench generation 02/01/13
Sviluppo di un middleware per comunicazioni con dispositivi ZigBee / Enocean (Progetto SAFE HOME 2) 02/01/13
Realizzazione di un sistema innovativo di monitoraggio e controllo basato su sensori senza fili di ultima generazione (Wireless Sensor Network - WSN) 20/07/12
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
Modellazione e verifica di sistemi embedded ibridi per piattaforme multiprocessore (PRIN 2008) 27/01/10
Architetture per sistemi embedded di controllo e comunicazione 01/01/10
Architetture per la gestione integrata di sistemi di rete 01/01/10
Middleware per la tracciabilità RFID e per il monitoraggio attraverso reti di sensori 01/01/10
Modellazione e verifica di sistemi embedded 26/11/09
Centre of Reserach Excellence in Dependable Embedded Systems (CREDES) 01/10/09
Reliability aware methods for robust design technology (RELMUST) 06/07/09
Sviluppo degli ambienti di progettazione per sistemi embedded HIFSuite e ZigBeeSuite 07/11/08
Modellazione e verifica di sistemi embedded ibridi per piattaforme multiprocessore (PRIN 2007) 22/09/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
Yield Improvement in Nanotechnology Production Process of Standard Cells Based Integrated Circuits (ImpNanolC) - Joint Project 2005 01/01/07
VERTIGO: Verification and Validation of Embedded Systems Design Workbench 01/06/06
Modellazione, simulazione e verifica di piattaforme per MPSoC (PRIN 2005) 30/01/06
Ambiente di modellazione e verifica per terminali mobili 01/12/05
Tecniche di modellazione di piattaforme per terminali mobili 01/05/04
Modellazione, Simulazione e Validazione di Sistemi su Chip 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
Modellazione e Analisi di Sistemi Embedded Distribuiti 01/06/01
Applicazione di una metodologia ibrida per la verifica funzionale 01/05/01




Organizzazione

Strutture del dipartimento