Graziano  Pravadelli

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

Link veloci Pagine collegate
La mia foto migliore, 2 gennaio 2007
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.



Documenti

Curriculum

Orario di ricevimento
Luogo Giorno Orario
Ca' Vignal 2, piano 1, stanza 55 lunedì 13.00 - 15.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 Cyber-physical systems
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 Cyber-physical systems
Hardware - Hardware validation

Prodotti della ricerca

Anno
Tipologia prodotto
Numero prodotti per pagina
pubblicazioni su 94 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/Ambito disciplinare Nome Crediti totali Online Crediti del docente Moduli svolti da questo docente
Dipartimento Lingue e Letterature Straniere  Informatica [1 semestre] (2012/2013)   3  eLearning 3 
Dipartimento Lingue e Letterature Straniere  Informatica [2 semestre] (2012/2013)   3  eLearning 3 
Dipartimento Informatica  Sistemi operativi (2012/2013)   12  eLearning 8 
Dipartimento Informatica  Sistemi operativi avanzati (2012/2013)   6    6 
Dipartimento Informatica  Software per sistemi embedded (2012/2013)   6  eLearning 2 
Dipartimento Scienze Neurologiche, Neuropsicologiche, Morfologiche e Motorie  Abilità informatiche (2011/2012)   2  eLearning 2 
Dipartimento Lingue e Letterature Straniere  Informatica (2011/2012)   3  eLearning 3 
Dipartimento Informatica  Sistemi operativi (2011/2012)   12  eLearning 8 
Dipartimento Informatica  Sistemi operativi avanzati (2011/2012)   6    6 
Dipartimento Informatica  Software per sistemi embedded (2011/2012)   6  eLearning 2 

Persone
Inizio pagina