Sviluppo di una piattaforma virtuale per la verifica automatica di firmware

Data inizio
15 ottobre 2019
Durata (mesi) 
3
Dipartimenti
Informatica, Ingegneria per la medicina di innovazione
Responsabili (o referenti locali)
Pravadelli Graziano

La ricerca mira allo sviluppo di una piattaforma virtuale per la progettazione di firmware e alla definizione di una relativa metodologia di verifica statica/dinamica automatica che utilizzi gli strumenti di IAR System al fine di permettere il raggiungimento dei seguenti obiettivi:
• Definizione formale di un piano di test per la verifica funzionale di firmware partendo dalle specifiche HW/SW del sistema;
• Traduzione del piano di test in asserzioni e test case;
• Verifica dinamica del firmware tramite generazione (semi-)automatica di stimoli e applicazione di tecniche di verifica statica;
• Misurazione della qualità della verifica tramite metriche basate su statement, branch, condition e assertion coverage.

Enti finanziatori:

Idea s.p.a.
Finanziamento: assegnato e gestito dal Dipartimento

Partecipanti al progetto

Samuele Germiniani
Professore a contratto
Graziano Pravadelli
Professore ordinario
Aree di ricerca coinvolte dal progetto
Sistemi ciberfisici
Hardware validation
Condividi