Progettazione di sistemi embedded (2014/2015)

Codice insegnamento
4S02911
Docente
Franco Fummi
Coordinatore
Franco Fummi
crediti
6
Settore disciplinare
ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
Lingua di erogazione
Italiano
Periodo
I sem. dal 1-ott-2014 al 30-gen-2015.

Orario lezioni

I sem.
Giorno Ora Tipo Luogo Note
mercoledì 14.30 - 16.30 laboratorio Laboratorio didattico Laboratorio Ciberfisico  
venerdì 8.30 - 11.30 lezione Aula I  

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.

Testi di riferimento
Autore Titolo Casa editrice Anno ISBN Note
Daniel D. Gajski Embedded system design: modeling, synthesis and verification Springer 2009 978-1-4419-0504-8
William Fornaciari, Carlo Brandolese Sistemi Embedded - sviluppo hardware e software per sistemi dedicati (Edizione 1) Pearson Education Italia 2007 9788871923420

Modalità d'esame

Esame scritto e laboratorio.

Materiale didattico

Documenti

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

Statistiche esiti
Esiti Esami Esiti Percentuali Media voti Deviazione Standard
Positivi 91.66% 28 3
Respinti --
Assenti --
Ritirati 8.33%
Annullati --
Distribuzione degli esiti positivi
18 19 20 21 22 23 24 25 26 27 28 29 30 30 e Lode
0.0% 0.0% 0.0% 0.0% 18.1% 0.0% 0.0% 0.0% 9.0% 0.0% 9.0% 9.0% 27.2% 27.2%

Valori relativi all'AA 2014/2015 calcolati su un totale di 12 iscritti. I valori in percentuale sono arrotondati al numero intero più vicino.