Progettazione di sistemi embedded (2012/2013)

Codice insegnamento 4S02911 Docente Franco Fummi Coordinatore Franco Fummi crediti 6 Corsi di studio in cui è offerto Laurea magistrale in Ingegneria e scienze informatiche Settore disciplinare ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI Lingua di erogazione Italiano Periodo I semestre dal 1-ott-2012 al 31-gen-2013.

Pagine collegate Avvisi relativi al corso Seminari relativi al corso

Orario lezioni

Obiettivi formativi

Tecniche per la progettazione automatica di sistemi embedded a partire dalla loro specifica per passare attraverso la verifica, la sintesi automatica e il collaudo. Il corso presenta i principali linguaggi per affrontare questo progetto e i più avanzati strumenti automatici per la loro manipolazione.

Programma

Introduzione ai sistemi embedded: definizione dei campi di applicazione, caratteristiche generali, caratteriste comuni.

Modellazione di sistemi embedded: problematiche generali della modellazione dei sistemi embedded, linguaggi per la descrizione dei sistemi embedded.

Varianti tecnologiche per la realizzazione: panoramica delle possibili architetture embedded, concetto di piattaforma, componenti di una piattaforma.

La progettazione a livello di Sistema: il flusso di progettazione dal livello architetturale - comportamentale - logico – fisico.

Il linguaggio SystemC a livello TLM: il modello transazionale per la descrizione di un sistema e la sua rappresentazione in linguaggio SystemC.
Introduzione alla verifica funzionale basata su asserzioni (ABV): concetto di asserzione, la verifica delle asserzioni mediante simulazione.

La progettazione Platform Based: il raffinamento di una descrizione comportamentale, la sintesi ad alto livello, il mapping su una piattaforma embedded.

Il software embedded: la derivazione del software dal linguaggio di sistema, il ruolo del sistema operativo, la generazione automatica.
La cosimulazione HW/SW/NET: il concetto di cosimulazione, le architetture per la cosimulazione, il progetto con hardware in the loop.

Il linguaggio VHDL/SystemC a livello RT: i linguaggi per la descrizione dell'hardware, il livello di descrizione a trasferimento tra registri.

La sintesi dal livello RT: i template per la sintesi dai linguaggi, la sintesi automatica, la relazione con la sintesi logica.

Il problema del collaudo: introduzione al problema del collaudo, problematiche generali e strumenti.

Il problema dell'affidabilità: ruolo dell'affidabilità nei sistemi embedded, tecniche per aumentarla e misurarla.

Modalita d'esame

Esame scritto e laboratorio.

Materiale didattico
Titolo	Formato (Lingua, Dimensione, Data pubblicazione)
Programma dettagliato	html (it, 23,776 KB, 13/09/12)

Statistiche per i requisiti di trasparenza (Attuazione Art. 2 del D.M. 31/10/2007, n. 544)

I dati relativi all'AA 2012/2013 non sono ancora disponibili