Modellazione e verifica di sistemi embedded

Starting date
November 26, 2009
Duration (months)
1
Departments
Computer Science
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

Project participants

Graziano Pravadelli
Associate Professor
Francesco Stefanni
Spin-off staff
Alessandro Venturelli
Research areas involved in the project
Sistemi ciberfisici
Computer systems organization - Embedded and cyber-physical systems

Activities

Research facilities