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

Data inizio
1 novembre 2013
Durata (mesi) 
5
Dipartimenti
Informatica
Responsabili (o referenti locali)
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.

Enti finanziatori:

STM Products s.r.l.
Finanziamento: assegnato e gestito dal dipartimento

Partecipanti al progetto

Franco Fummi
Professore ordinario
Valerio Guarnieri
Graziano Pravadelli
Professore associato
Francesco Stefanni
Personale di spin-off
Aree di ricerca coinvolte dal progetto
Sistemi ciberfisici
Hardware - Hardware validation

Attività

Strutture