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

  1. Home
  2. Ricerca
  3. Progetti
  4. 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, Ingegneria per la medicina di innovazione
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 ordinario

Attività

Aree di ricerca

Gruppi di ricerca

Dottorati di Ricerca

Strutture

Condividi