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.
Piano Didattico
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/2026Il 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.
1° Anno
| Insegnamenti | Crediti | TAF | SSD |
|---|
2° Anno Attivato nell'A.A. 2020/2021
| Insegnamenti | Crediti | TAF | SSD |
|---|
| Insegnamenti | Crediti | TAF | SSD |
|---|
| Insegnamenti | Crediti | TAF | SSD |
|---|
| Insegnamenti | Crediti | TAF | SSD |
|---|
Due insegnamenti a sceltaLegenda | 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.
Sistemi embedded di rete (2019/2020)
Codice insegnamento
4S02788
Crediti
6
Lingua di erogazione
Italiano
Settore Scientifico Disciplinare (SSD)
ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
L'insegnamento è organizzato come segue:
Teoria
Laboratorio
Obiettivi formativi
Il corso si propone di fornire le conoscenze necessarie alla comprensione e allo sviluppo di architetture di sistemi embedded di rete, al loro uso insieme alle tecniche per la loro progettazione. Alla fine del corso lo studente dovrà mostrare di avere acquisito capacità di studio e comprensione del funzionamento dei sistemi embedded di rete e delle problematiche relative al loro uso e alla loro progettazione, realizzazione e verifica. Queste conoscenze consentiranno allo studente l’acquisizione di capacità di utilizzo di sistemi embedded di rete nei campi della domotica, automazione industriale, sanità, automotive, controllo e gestione delle risorse ambientali. Alla fine del corso lo studente sarà in grado di proseguire gli studi in modo autonomo nell’ambito della progettazione dei sistemi embedded di rete.
Programma
Verranno descritti i principali protocolli di comunicazione, le metodologie di progettazione, simulazione e verifica e verrà presentato il problema della progettazione di sistemi di controllo in rete. La trattazione avverrà attingendo dalla letteratura scientifica e da attività di ricerca direttamente svolte dall'Università di Verona.
Teoria
------
Protocolli di comunicazione per sistemi embedded di rete
- Reti wireless
- Reti di campo
Metodologie per sistemi embedded di rete
- progetto
- simulazione
- verifica
Sistemi di controllo mediante rete
- descrizione
- tecniche di progettazione
Laboratorio
-----------
- Programmazione di sistemi embedded di rete
- Esempio di progettazione di un sistema embedded di rete
- Simulazione di sistemi embedded di rete
- Esempi di progettazione di sistemi di controllo mediante rete
Per seguire con profitto l'insegnamento è consigliabile che lo studente abbia già acquisito competenze in Architettura degli elaboratori, Reti di calcolatori, Progettazione di sistemi embedded, Teoria dei sistemi, SystemC, Programmazione C/C++
Bibliografia
| Attività | Autore | Titolo | Casa editrice | Anno | ISBN | Note |
|---|---|---|---|---|---|---|
| Teoria | John L. Hennessy, David A. Patterson | Computer Architecture - A Quantitative Approach (Edizione 5) | Morgan Kaufmann | 2011 | 012383872X | |
| Teoria | C. Hamacher, Z. Vranesic, S. Zaky, N. Manjikian | Introduzione all'architettura dei calcolatori (Edizione 1) | McGraw-Hill | 2012 | 9788838667510 | |
| Teoria | Andrew S. Tanenbaum | Reti di calcolatori (Edizione 4) | Pearson - Prentice Hall | 2003 | 8871921828 | |
| Teoria | J.F. Kurose, K.W. Ross | Reti di calcolatori e Internet - Un approccio top-down (Edizione 6) | Pearson Education Italia | 2013 | 9788871929385 | |
| Laboratorio | John L. Hennessy, David A. Patterson | Computer Architecture - A Quantitative Approach (Edizione 5) | Morgan Kaufmann | 2011 | 012383872X | |
| Laboratorio | C. Hamacher, Z. Vranesic, S. Zaky, N. Manjikian | Introduzione all'architettura dei calcolatori (Edizione 1) | McGraw-Hill | 2012 | 9788838667510 | |
| Laboratorio | Andrew S. Tanenbaum | Reti di calcolatori (Edizione 4) | Pearson - Prentice Hall | 2003 | 8871921828 | |
| Laboratorio | J.F. Kurose, K.W. Ross | Reti di calcolatori e Internet - Un approccio top-down (Edizione 6) | Pearson Education Italia | 2013 | 9788871929385 |
Modalità d'esame
Obiettivo dell'esame è quello di accertare la comprensione dei contenuti del corso. Esso consiste di:
1) una prova scritta o orale (a scelta dello studente) con domande su teoria e laboratorio
2) svolgimento facoltativo di un progetto di tipo:
- bibliografico (max 2 punti, no gruppi)
- sperimentale (max 3 punti, max 2 persone)
Per il progetto sono possibili sinergie con altri corsi, stage, e tesi.
Il voto finale (in trentesimi) si ottiene sommando il voto della prova (punteggio da 18 a 30) all'eventuale punteggio del progetto. La lode si attribuisce quando si conseguono 32 o 33 punti.
