Progettazione di sistemi embedded (2010/2011)

Codice insegnamento
4S02911
Docente
Franco Fummi
Coordinatore
Franco Fummi
crediti
6
Altri corsi di studio in cui è offerto
Settore disciplinare
ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
Lingua di erogazione
Italiano
Periodo
II semestre dal 1-mar-2011 al 15-giu-2011.

Orario lezioni

II semestre
Giorno Ora Tipo Luogo Note
giovedì 15.30 - 17.30 lezione Aula G dal 11-mar-2011  al 15-giu-2011
venerdì 8.30 - 9.30 lezione Aula I  
venerdì 9.30 - 11.30 laboratorio Laboratorio didattico Alfa  

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.
La verifica funzionale basata su asserzioni: concetto di proprietà e asserzione, la scrittura dei checker, 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 Methodologies and languages for embedded systems design
Franco Fummi, Mariagiovanna Sami, Cristina Silvano Progettazione Digitale (Edizione 2) McGraw-Hill 2007 8838663521 In relazione alla progettazione basata su HDL
William Fornaciari, Carlo Brandolese Sistemi Embedded - sviluppo hardware e software per sistemi dedicati (Edizione 1) Pearson Education Italia 2007 9788871923420 Descrizione generale della progettazione di sistemi embedded

Modalità d'esame

Esame scritto e progetto.

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 72.22% 29 2
Respinti 5.55%
Assenti 16.66%
Ritirati 5.55%
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% 7.6% 0.0% 0.0% 0.0% 7.6% 7.6% 7.6% 15.3% 15.3% 38.4%

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