Modellazione, simulazione e verifica di piattaforme per MPSoC (PRIN 2005)

Data inizio
30 gennaio 2006
Durata (mesi) 
24
Dipartimenti
Informatica
Responsabili (o referenti locali)
Fummi Franco
URL
2005095528_005

Lo sforzo principale di questa unità di ricerca sarà speso nello sviluppo di un ambiente di modellazione/simulazione/verifica di
piattaforme che permetta lo sfruttamento dei seguenti aspetti:
° Co-simulazione hardware/rete integrando il linguaggio SystemC con simulatori di rete.
° Co-simulazione hardware/software/middleware integrando SystemC con software compilato per sistemi embedded.
° Verifica basata su asserzioni della parte hardware integrando il linguaggio SystemVerilog nell'ambiente di simulazione e/o
supportando descrizioni SystemC/PSL.
SystemC sarà il linguaggio di riferimento del progetto a livello di sistema. Al contrario, SystemVerilog verrà utilizzato per la verifica
basata su asserzioni a livello comportamentale e RT. Entrambi i linguaggi saranno integrati nell'ambiente di modellazione/verifica.
La metodologia sviluppata verrà esemplificata tramite la progettazione di almeno un dispositivo complesso basato su piattaforma.
Tale dispositivo verrà esaminato tramite le metodologie sviluppate dalle varie unità di ricerca.
In tale contesto, l'ambiente di co-simulazione e verifica sviluppato da questa unità di ricerca sarà utile durante l'intero flusso di
progettazione del sistema selezionato.
In particolare, questa unità di ricerca collaborerà a stretto contatto con UNITA' I, UNITA' 4 e UNITA' 5 durante la fase di
esplorazione e definizione della piattaforma. Quindi, riscontri sulle prestazioni verranno forniti all'UNITA' I durante la fase di
partizionamento HW/SW e all'UNITA' II per analizzare le problematiche relative ai protocolli di comunicazione e alle politiche di
instradamento dei NOC. Infine, la metodologia di verifica basata su asserzioni verrà utilizzata per fornire riscontri a TUTTE le
unità in modo da garantire la correttezza del dispositivo in ogni passo del flusso di progettazione.

Enti finanziatori:

Ministero dell'Istruzione dell'Università e della Ricerca
Finanziamento: assegnato e gestito dal dipartimento
Programma: COFIN - Progetti di Ricerca di Interesse Nazionale

Partecipanti al progetto

Franco Fummi
Professore ordinario
Giovanni Perbellini
Assegnista
Graziano Pravadelli
Professore associato
Davide Quaglia
Ricercatore
Aree di ricerca coinvolte dal progetto
Sistemi ciberfisici
Computer systems organization - Embedded and cyber-physical systems

Attività

Strutture di ricerca