Studiare

In questa sezione è possibile reperire le informazioni riguardanti l'organizzazione pratica del corso, lo svolgimento delle attività didattiche, le opportunità formative e i contatti utili durante tutto il percorso di studi, fino al conseguimento del titolo finale.

Queste informazioni sono destinate esclusivamente agli studenti e alle studentesse già iscritti a questo corso.
Se sei un nuovo studente interessato all'immatricolazione, trovi le informazioni sul percorso di studi alla pagina del corso:

Laurea magistrale in Ingegneria e scienze informatiche - Immatricolazione dal 2025/2026

Il piano didattico è l'elenco degli insegnamenti e delle altre attività formative che devono essere sostenute nel corso della propria carriera universitaria.
Selezionare il piano didattico in base all'anno accademico di iscrizione.

CURRICULUM TIPO:

1° Anno 

InsegnamentiCreditiTAFSSD
12
B
ING-INF/05
12
B
INF/01
12
B
ING-INF/05

2° Anno   Attivato nell'A.A. 2017/2018

InsegnamentiCreditiTAFSSD
6
B
INF/01
Taf f (altre attività formative)
4
F
-
InsegnamentiCreditiTAFSSD
12
B
ING-INF/05
12
B
INF/01
12
B
ING-INF/05
Attivato nell'A.A. 2017/2018
InsegnamentiCreditiTAFSSD
6
B
INF/01
Taf f (altre attività formative)
4
F
-
Insegnamenti Crediti TAF SSD

Legenda | Tipo Attività Formativa (TAF)

TAF (Tipologia Attività Formativa) Tutti gli insegnamenti e le attività sono classificate in diversi tipi di attività formativa, indicati da una lettera.




S Stage e tirocini presso imprese, enti pubblici o privati, ordini professionali

Codice insegnamento

4S02911

Coordinatore

Franco Fummi

Crediti

6

Lingua di erogazione

Italiano

Settore Scientifico Disciplinare (SSD)

ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI

Periodo

I sem. dal 3 ott 2016 al 31 gen 2017.

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
Soonhoi Ha, Jürgen Teich Handbook of Hardware/Software Codesign (Edizione 1) Springer Netherlands 2017 ISBN 978-94-017-7266-2

Modalità d'esame

Esame scritto e relazione di laboratorio.

Le/gli studentesse/studenti con disabilità o disturbi specifici di apprendimento (DSA), che intendano richiedere l'adattamento della prova d'esame, devono seguire le indicazioni riportate QUI

Materiale e documenti