Definizione di una metodologia (V-box) per la standardizzazione e automazione dell'intero processo di sviluppo di applicazioni embedded in modo conforme al V-model

Starting date
November 1, 2013
Duration (months)
5
Departments
Computer Science
Managers or local contacts
Fummi Franco

L'obiettivo del progetto è definire una metodologia (V-box) per lo sviluppo di applicazioni embedded conforme al V-model integrando in radCASE (modellazione, simulazione e generazione automatica del codice) e radCHECK (verifica funzionale) le funzioni mancanti. V-box consentirà di supportare la certificazione di prodotto per ambienti safety critical poiché prevede la standardizzazione e automazione dell'intero processo di sviluppo di una applicazione embedded. Gli strumenti di V-box consentiranno di isolare, simulare, veriifcare e documentare i singoli processi ed essere adattati all'evoluzione delle normative o a nuovi requisiti.

Sponsors:

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

Project participants

Franco Fummi
Full Professor
Valerio Guarnieri
Graziano Pravadelli
Associate Professor
Francesco Stefanni
Spin-off staff
Research areas involved in the project
Sistemi ciberfisici
Hardware - Hardware validation

Activities

Research facilities