A verification methodology for embedded software to produce a certification

Starting date
July 30, 2013
Duration (months)
22
Departments
Computer Science
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.

Sponsors:

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

Project participants

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

Activities

Research facilities