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.
