Modellazione e verifica di sistemi embedded

  1. Home
  2. Research
  3. Projects
  4. 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

Project participants

Giuseppe Di Guglielmo
Luigi Di Guglielmo
Michele Ferrari
Graziano Pravadelli
Full Professor
Francesco Stefanni
Alessandro Venturelli
Share