A verification methodology for embedded software to produce a certification

Starting date
July 30, 2013
Duration (months)
Computer Science, Department of Engineering for Innovation Medicine
Managers or local contacts
Fummi Franco

The goal of the project is:
1) to define a methodology for developing embedded applications according to the V-model by integrating into radCASE (modelling and simulation) and radCHECK (functional verification) the missing functions;
2) to design three Hardware kits, exploiting three of the most used microcontrollers, fully integrated with radCASE and radCHECK. These kits will be sold as hardware starter.

kits and used for promoting the tool suite on the market.


STM Products s.r.l.
Funds: assigned and managed by the department

Project participants

Franco Fummi
Full Professor
Graziano Pravadelli
Full Professor
Research areas involved in the project
Sistemi ciberfisici
Embedded and cyber-physical systems


Research facilities