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

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.

1° Anno

InsegnamentiCreditiTAFSSD
9
B
ING-INF/04
Compulsory courses for Embedded & IoT Systems
Compulsory courses for Robotics systems
6
B/C
INF/01
6
B/C
ING-INF/05
Compulsory courses for Smart systems &data analytics
6
B/C
INF/01 ,ING-INF/06
6
B/C
ING-INF/05

2° Anno  Attivato nell'A.A. 2021/2022

InsegnamentiCreditiTAFSSD
Compulsory courses for Embedded & IoT Systems
Compulsory courses for Robotics systems
Compulsory courses for Smart systems &data analytics
6
B/C
ING-INF/05
Final exam
24
E
-
InsegnamentiCreditiTAFSSD
9
B
ING-INF/04
Compulsory courses for Embedded & IoT Systems
Compulsory courses for Robotics systems
6
B/C
INF/01
6
B/C
ING-INF/05
Compulsory courses for Smart systems &data analytics
6
B/C
INF/01 ,ING-INF/06
6
B/C
ING-INF/05
Attivato nell'A.A. 2021/2022
InsegnamentiCreditiTAFSSD
Compulsory courses for Embedded & IoT Systems
Compulsory courses for Robotics systems
Compulsory courses for Smart systems &data analytics
6
B/C
ING-INF/05
Final exam
24
E
-
Insegnamenti Crediti TAF SSD
Tra gli anni: 1°- 2°
Tra gli anni: 1°- 2°
Other activities
3
F
-
Tra gli anni: 1°- 2°
Training
3
F
-

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

4S009003

Crediti

6

Coordinatore

Franco Fummi

Lingua di erogazione

Inglese en

Settore Scientifico Disciplinare (SSD)

ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI

L'insegnamento è organizzato come segue:

Teoria

Crediti

5

Periodo

I semestre

Laboratorio

Crediti

1

Periodo

I semestre

Obiettivi formativi

Il corso mira a fornire le seguenti conoscenze: tecniche per la progettazione automatica di sistemi embedded e IoT industriali a partire dalla loro specifica per passare attraverso la verifica, la sintesi automatica e il collaudo. Principali linguaggi per affrontare questo tipo di progetto e i più avanzati strumenti automatici per la loro manipolazione. Il tutto applicato in particolare anche alla progettazione, verifica e test di sistemi ciber-fisici per la produzione industriale.

Al termine del corso lo studente dovrà dimostrare di avere le seguenti capacità di applicare le conoscenze acquisite: identificare a partire dalle specifiche la miglior architettura per un sistema embedded e IoT industriale; modellare, progettare e verificare dispositivi analogico/digitali complessi; sviluppare software embedded e interagire con architetture IoT e cloud; partizionare una funzionalità tra hw, sw con attenzione alla rete e ai sistemi operativi; costruire relazione di progetto evidenziando gli aspetti critici risolti; riuscire a utilizzare ulteriori linguaggi per la progettazione di sistemi embedded e IoT industriali a partire da quelli studiati nel corso.

Programma

* Embedded and IoT Systems Modeling:
- Course introduction
- Embedded systems modeling
- SysML for systems modeling
* System Level Description Languages
- SystemC-based design
- SystemC TLM
* Hardware Description Languages:
- HDL introduction
- VHDL syntax
- verilog syntax
- HDL timing simulation
* Register Transfer Level Synthesis:
- RTL synthesis: VHDL
- RTL synthesis: Verilog
* High-Level Synthesis:
- High-level synthesis (HLS) intoduction
- High-level synthesis scheduling
- High-level synthesis allocation
- High-level synthesis application
* Platforms and Virtual Platforms:
- Virtual platform modeling: IP-Xact
- Virtual platform design and FMI
- SystemVerilog introduction
- SystemVerilog main characteristics
- SystemC & Verilog AMS
* Embedded Software:
- Embedded software modeling
- Model-based design of embedded software
- Embedded AI software modeling
* Industry 4.0 – CPPSs:
- Industry 4.0: software hierarchy
- Industry 4.0: digital twin
- IoT and Industrial IoT
- IoT and Cloud

Lezioni on-line come da calendario su: https://univr.zoom.us/j/84729760071

Bibliografia

Testi di riferimento
Attività Autore Titolo Casa editrice Anno ISBN Note
Teoria Soonhoi Ha, Jürgen Teich Handbook of Hardware/Software Codesign (Edizione 1) Springer Netherlands 2017 ISBN 978-94-017-7266-2

Modalità d'esame

L'esame è composto da due parti: teoria e laboratorio.
Per superare l'esame, gli studenti devono mostrare che:
- hanno compreso i principi delle architetture di sistemi embedded e IoT;
- sono in grado di modellare e simulare un sistema embedded e IoT complesso;
- sono in grado di progettare, verificare e testare un dispositivo digitale complesso;
- sono in grado di sviluppare software embedded che interagisce con il sistema operativo e la rete;
- sono in grado di applicare le conoscenze acquisite per risolvere scenari applicativi del mondo di Industria 4.0.

L'esame finale consiste in una prova scritta contenente domande e esercizi.
È inoltre necessario fornire una relazione di tutte le attività di laboratorio per completare l'esame.

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