Graziano  Pravadelli

I contenuti di questa pagina sono di responsabilità di Graziano Pravadelli
e della struttura: Dipartimento di Informatica

Foto,  20 agosto 2015
Qualifica
Professore associato

Settore disciplinare
ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI


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.

Incarichi Istituzionali

Altri incarichi

Documenti

Curriculum

Orario di ricevimento
Si consiglia sempre di prendere appuntamento via email.
Luogo Giorno Orario
Ca' Vignal 2, piano 1, stanza 51 martedì 17.30 - 18.30
giovedì 17.00 - 18.00

Gruppi di ricerca
Nome Descrizione
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

Prodotti della ricerca

Anno
Tipologia prodotto
Numero prodotti per pagina
pubblicazioni su 114 totali
 

Progetti
Titolo Data inizio
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

Insegnamenti degli ultimi due anni accademici
Dipartimento/Scuola Nome Crediti totali Online Crediti del docente Moduli svolti da questo docente
Dipartimento Informatica  Sistemi operativi (2016/2017)   12   
Dipartimento Informatica  Sistemi operativi avanzati (2016/2017)   6   
Dipartimento Informatica  Software per sistemi embedded (2016/2017)   6   
Dipartimento Informatica  Sistemi operativi (2015/2016)   12  eLearning
Dipartimento Informatica  Sistemi operativi avanzati (2015/2016)   6   
Dipartimento Informatica  Software per sistemi embedded (2015/2016)   6  eLearning
Dipartimento Informatica  Didattica e laboratorio (2014/2015)   7  eLearning SISTEMI OPERATIVI
Dipartimento Informatica  Sistemi operativi (2014/2015)   12  eLearning
Dipartimento Informatica  Sistemi operativi avanzati (2014/2015)   6  eLearning
Dipartimento Informatica  Sistemi operativi e reti (2014/2015)   4  eLearning SISTEMI OPERATIVI
Dipartimento Informatica  Software per sistemi embedded (2014/2015)   6  eLearning

Gli insegnamenti degli anni accademici precedenti sono consultabili dal catalogo dell'offerta formativa, specificando Anno Accademico e Docente.


Persone
Inizio pagina