Development of a virtual platform for automatic firmware verification

Starting date
October 15, 2019
Duration (months)
3
Departments
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.

Sponsors:

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

Activities

Research facilities

Share