Development of a virtual platform for automatic firmware verification

Starting date
October 15, 2019
Duration (months)
Computer Science, Department of Engineering for Innovation Medicine
Managers or local contacts
Pravadelli Graziano

The research aims to develop a virtual platform for firmware design and for the definition of an automatic static/dynamic verification methodology that uses the IAR System tools in order to achieve the following objectives:

1. Formal definition of a test plan for the functional verification of firmware starting from the HW / SW specifications of the system;

2. Translation of the test plan into assertions and test cases;

3. Dynamic verification of the firmware through (semi-) automatic generation of stimuli and application of static verification techniques;

4. Measurement of the quality of the verification through metrics based on statements, branches, conditions and assertion coverage.


Idea s.p.a.
Funds: assigned and managed by the department

Project participants

Samuele Germiniani
Temporary Professor
Graziano Pravadelli
Full Professor
Research areas involved in the project
Sistemi ciberfisici
Hardware validation


Research facilities