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.

Tipologia di Attività formativa D e F

Le attività formative in ambito D o F comprendono gli insegnamenti impartiti presso l'Università di Verona o periodi di stage/tirocinio professionale.
Nella scelta delle attività di tipo D, gli studenti dovranno tener presente che in sede di approvazione si terrà conto della coerenza delle loro scelte con il progetto formativo del loro piano di studio e dell'adeguatezza delle motivazioni eventualmente fornite.

 
Anno accademico:
I semestre Dal 01/10/20 Al 29/01/21
anni Insegnamenti TAF Docente
1° 2° Linguaggio Programmazione Matlab-Simulink D Bogdan Mihai Maris (Coordinatore)
II semestre Dal 01/03/21 Al 11/06/21
anni Insegnamenti TAF Docente
1° 2° Introduzione alla stampa 3D D Franco Fummi (Coordinatore)
1° 2° Linguaggio programmazione Python D Vittoria Cozza (Coordinatore)
1° 2° Progettazione di componenti hardware su FPGA D Franco Fummi (Coordinatore)
1° 2° Prototipizzazione con Arduino D Franco Fummi (Coordinatore)
1° 2° Tutela dei beni immateriali (SW e invenzione) tra diritto industriale e diritto d’autore D Roberto Giacobazzi (Coordinatore)
Elenco degli insegnamenti con periodo non assegnato
anni Insegnamenti TAF Docente
1° 2° Lab.: The fashion lab (1 cfu) D Maria Caterina Baruffi (Coordinatore)
1° 2° Minicorso Blockchain D Nicola Fausto Spoto (Coordinatore)

Codice insegnamento

4S009005

Crediti

6

Offerto anche nei corsi:

Lingua di erogazione

Inglese en

Settore Scientifico Disciplinare (SSD)

ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI

Periodo

II semestre dal 1 mar 2021 al 11 giu 2021.

Obiettivi formativi

Il corso si propone di formare gli studenti sugli aspetti teorici e implementativi avanzati dei sistemi operativi embedded, in uno scenario distribuito e real time. L’obiettivo principale del corso è quindi quello di evidenziare le principali differenze tra sistemi operativi convenzionali e sistemi operativi embedded nell’ambito della gestione di processi, memoria e file system, tenendo conto dei vincoli tipici di un sistema embedded e della interazione di quest’ultimo con l’ambiente esterno.

A completamento del corso, gli studenti dovranno dimostrare di avere acquisito le conoscenze fondamentali per comprendere l'organizzazione interna, il funzionamento e i servizi dei sistemi operativi embedded. In particolare, avranno compreso: i) le differenze tra un sistema operativo convenzionale e un sistema operativo embedded in uno scenario distribuito e real-time; ii) le strategie con cui i sistemi operativi embedded gestiscono le risorse del sistema di calcolo su cui vengono eseguiti; iii) i campi di applicazione dei sistemi operativi embedded.

Queste conoscenze consentiranno agli studenti di: i) sviluppare programmi con la consapevolezza di come un sistema operativo embedded gestisce i processi; ii) sviluppare applicazioni che utilizzano le primitive (chiamate a funzioni di sistema) messe a disposizione da particolari categorie di sistemi operativi embedded; iii) sviluppare e modificare componenti di un sistema operativo embedded.

Al termine del corso gli studenti avranno acquisito la capacità di valutare autonomamente vantaggi e svantaggi di differenti scelte progettuali nell'ambito dei servizi offerti da un sistema operativo embedded, anche in ambito distribuito e real-time. Inoltre, saranno in grado di: i) realizzare un progetto laboratoriale di gruppo e di presentarne i relativi risultati motivando le scelte effettuate con appropriatezza di linguaggio: ii) proseguire autonomamente lo studio e la ricerca nell'ambito dei sistemi operativi distribuiti, embedded e real time, affrontando tematiche avanzate sia in ambito industriale che in ambito scientifico.

Programma

1- Modelli di sistemi embedded.
2- Sistemi operativi real time: principi di progettazione, scheduling dei task, protocollo di accesso alle risorse
3- Sincronizzazione in ambiente distribuito
4- Casi di studio

Modalità d'esame

Per superare l'esame gli studenti dovranno dimostrare di:
- aver compreso i principi alla base del funzionamento di un sistema operativo embedded e real-time
- essere in grado di esporre le proprie argomentazioni in modo preciso e organico senza divagazioni
- saper applicare le conoscenze acquisite per risolvere problemi applicativi presentati sotto forma di esercizi, domande e progetti.

L'esame consiste in due parti:
- una prova scritta contenente domande ed esercizi;
- la presentazione di un approfondimento relativo a un sistema operativo embedded a propria scelta
La prova è superata con un voto maggiore o uguale a 18/30 e permette di ottenere un voto massimo pari a 30/30.

E' possibile, ma non obbligatorio, realizzare un progetto pratico (a gruppi di 2/3 persone) che può consistere in:
- implementazione/modifica di una o più funzionalità di un sistema operativo embedded
- analisi, valutazione e presentazione di nuove tecnologie nell'ambito di sistemi operativi embedded.
Il progetto permette di ottenere al massimo 4/30 punti da sommare al voto dello scritto.

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