Modellazione e verifica di sistemi embedded

Data inizio
26 novembre 2009
Durata (mesi) 
1
Dipartimenti
Informatica
Responsabili (o referenti locali)
Pravadelli Graziano

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
Aree di ricerca coinvolte dal progetto
Sistemi ciberfisici
Computer systems organization - Embedded and cyber-physical systems

Attività

Strutture