Graziano  Pravadelli

I contenuti di questa pagina sono di responsabilità di: Graziano Pravadelli
In caso di assenza rivolgersi alla struttura: Dipartimento di Informatica

Foto,  10 luglio 2014
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.


Presidente

Documenti

Curriculum

Orario di ricevimento

 Il ricevimento studenti è sospeso per il periodo estivo. Riprenderà regolarmente da lunedì 8 Settembre.

Luogo Giorno Orario
Ca' Vignal 2, piano 1, stanza 55 lunedì 11.00 - 13.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 101 totali
 

Progetti
Titolo Data inizio
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 (2014/2015)   12  eLearning
Dipartimento Informatica  Sistemi operativi avanzati (2014/2015)   6   
Dipartimento Informatica  Software per sistemi embedded (2014/2015)   6  eLearning
Dipartimento Informatica  Didattica e laboratorio (2013/2014)   6  eLearning SISTEMI OPERATIVI
Dipartimento Informatica  Sistemi operativi (2013/2014)   12  eLearning
Dipartimento Informatica  Sistemi operativi avanzati (2013/2014)   6   
Dipartimento Informatica  Software per sistemi embedded (2013/2014)   6  eLearning

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


Persone
Inizio pagina