Definizione metodologie adeguate per produrre software certificabile e Formalizzazione processi e metodologia per Attestato conformità del Dipartimento di Informatica

Data inizio
30 luglio 2013
Durata (mesi) 
22
Dipartimenti
Informatica
Responsabili (o referenti locali)
Fummi Franco

Gli obiettivi del progetto sono:
1) definire una metodologia per lo sviluppo di applicazioni embedded conforme al V-model, integrando in radCASE (modellazione e simulazione) e radCHECK (verifica funzionale) le funzioni mancanti;
2) progettare tre starter kis hardware utilizzando tre fra i microcontrollori più usati, completamente integrati con radCASE e radCHECK.

Questi kit saranno venduti come starter kit hardware e utilizzati per promuovere la suite di strumenti sul mercato.
 

Enti finanziatori:

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

Partecipanti al progetto

Franco Fummi
Professore ordinario
Graziano Pravadelli
Professore associato
Aree di ricerca coinvolte dal progetto
Sistemi ciberfisici
Computer systems organization - Embedded and cyber-physical systems

Attività

Strutture