Modellazione e verifica di sistemi embedded

Scheda Progetto di ricerca

Condividi sui principali social network: Facebook    Delicious    add to CiteUlike
Data inizio
26 novembre 2009

Durata (mesi) 
1

Dipartimenti
Informatica

Responsabili (o referenti locali)
Pravadelli Graziano

Descrizione

Il programma di ricerca ha l’obiettivo di:
- estendere le funzionalità di HIFSuite, uno strumento per la modellazione e verifica di sistemi embedded prodotto da EDALab;
- estendere le funzionalità di HSN, uno strumento per la simulazione hardware/software/network dei sistemi embedded di rete.

Enti finanziatori:

EDALab s.r.l.
Finanziamento: assegnato e gestito dal dipartimento
Programma: ART66 - Attività Commerciale

Partecipanti al progetto

Giuseppe Di Guglielmo
Incaricato alla ricerca
Luigi Di Guglielmo
Incaricato alla ricerca
Michele Ferrari
Personale di spin-off
Graziano Pravadelli
Professore associato
Francesco Stefanni
Professore a contratto
Alessandro Venturelli
Aree di ricerca coinvolte dal progetto
Sistemi ciberfisici
Computer systems organization - Embedded and cyber-physical systems
ornamento
Inizio pagina