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.
