Modellazione e verifica di sistemi embedded

Starting date
November 26, 2009
Duration (months)
1
Departments
Computer Science, Department of Engineering for Innovation Medicine
Managers or local contacts
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.

Sponsors:

EDALab s.r.l.
Funds: assigned and managed by the department
Syllabus: ART66 - Attività Commerciale
Research areas involved in the project
Sistemi ciberfisici
Embedded and cyber-physical systems
Share