Il ricevimento si tiene online tramite zoom previa email per concordare giorno e ora.
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, computazione, memoria, consumi e costi. I sistemi embedded vengono usati in molti contesti tra cui, per esempio, impianti industriali, dispositivi medici, elettronica di consumo, elettrodomestici, automobili. Egli inoltre si interessa alle applicazioni dei sistemi embedded per sviluppare soluzioni in ambito di smart living e healthcare.
Insegnamenti attivi nel periodo selezionato: 88.
Clicca sull'insegnamento per vedere orari e dettagli del corso.
Se sei già iscritta/o a un corso di studio, puoi consultare tutti gli avvisi relativi al tuo corso di studi nella tua area riservata MyUnivr.
In questo portale potrai visualizzare informazioni, risorse e servizi utili che riguardano la tua carriera universitaria (libretto online, gestione della carriera Esse3, corsi e-learning, email istituzionale, modulistica di segreteria, procedure amministrative, ecc.).
Entra in MyUnivr con le tue credenziali GIA: solo così potrai ricevere notifica di tutti gli avvisi dei tuoi docenti e della tua segreteria via mail e a breve anche tramite l'app Univr.
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 fisici e ciberfisici
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 fisici e ciberfisici
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 fisici e ciberfisici
Sistemi fisici e ciberfisici |
Carica | Organo collegiale |
---|---|
componente | Collegio dei Docenti del Dottorato in Informatica - Dipartimento Informatica |
componente | Collegio dei Docenti del Dottorato in Ingegneria dei Sistemi Intelligenti - Dipartimento Ingegneria per la medicina di innovazione |
Comitato Scientifico del Corso di perfezionamento in La gestione della persona con patologia neurologica in contesti protetti e strutture sanitarie e socio-assistenziali - Dipartimento Neuroscienze, Biomedicina e Movimento | |
Incaricato AQ Didattica | Commissione Didattica di Ateneo |
componente | Consiglio di Dipartimento Ingegneria per la Medicina di Innovazione - Dipartimento Ingegneria per la medicina di innovazione |
componente (in composizione ristretta) | I Fascia - Consiglio di Dipartimento Ingegneria per la Medicina di Innovazione - Dipartimento Ingegneria per la medicina di innovazione |
******** CSS e script comuni siti DOL - frase 9957 ********p>