Corsi di Laurea Corsi di Laurea Magistrale Corsi di Laurea Magistrale
a Ciclo Unico
INGEGNERIA
INGEGNERIA MECCATRONICA
Insegnamento
PROGRAMMAZIONE DI SISTEMI EMBEDDED
IN01122661, A.A. 2011/12

Informazioni valide per gli studenti immatricolati nell'A.A. 2011/12

Principali informazioni sull'insegnamento
Corso di studio Corso di laurea magistrale in
INGEGNERIA MECCATRONICA (Ord. 2011)
IN0529, ordinamento 2011/12, A.A. 2011/12
N0
porta questa
pagina con te
Crediti formativi 9.0
Tipo di valutazione Voto
Denominazione inglese EMBEDDED SYSTEMS PROGRAMMING
Sito della struttura didattica http://www.gest.unipd.it/it/didattica/corsi-di-laurea-magistrale/ingegneria-meccatronica
Obbligo di frequenza No
Lingua di erogazione ITALIANO
Sede VICENZA
Corso singolo NON è possibile iscriversi all'insegnamento come corso singolo
Corso a libera scelta È possibile utilizzare l'insegnamento come corso a libera scelta

Docenti
Responsabile MONICA REGGIANI ING-INF/05

Dettaglio crediti formativi
Tipologia Ambito Disciplinare Settore Scientifico-Disciplinare Crediti
AFFINE/INTEGRATIVA Attività formative affini o integrative ING-INF/05 9.0

Organizzazione dell'insegnamento
Periodo di erogazione Primo semestre
Anno di corso I Anno
Modalità di erogazione frontale

Tipo ore Crediti Ore di
didattica
assistita
Ore Studio
Individuale
LEZIONE 9.0 72 153.0

Calendario
Inizio attività didattiche 03/10/2011
Fine attività didattiche 28/01/2012
Visualizza il calendario delle lezioni Lezioni 2019/20 Ord.2011

Commissioni d'esame
Commissione Dal Al Membri
11 2018 01/10/2018 15/03/2020 REGGIANI MONICA (Presidente)
TRAMARIN FEDERICO (Membro Effettivo)
TAGLIAPIETRA LUCA (Supplente)
10 2017 01/10/2017 15/03/2019 TRAMARIN FEDERICO (Presidente)
REGGIANI MONICA (Membro Effettivo)
9 2016 - dal 14/02/2017 14/02/2017 15/03/2018 TRAMARIN FEDERICO (Presidente)
GHIDONI STEFANO (Membro Effettivo)
CESERACCIU ELENA (Supplente)
PAGELLO ENRICO (Supplente)
SATTA GIORGIO (Supplente)
8 2016 01/10/2016 31/07/2017 GHIDONI STEFANO (Presidente)
REGGIANI MONICA (Membro Effettivo)
SATTA GIORGIO (Membro Effettivo)
CESERACCIU ELENA (Supplente)
PAGELLO ENRICO (Supplente)
7 2015 01/10/2015 30/09/2016 REGGIANI MONICA (Presidente)
SATTA GIORGIO (Membro Effettivo)
CESERACCIU ELENA (Supplente)
GHIDONI STEFANO (Supplente)
PAGELLO ENRICO (Supplente)
6 2014 01/10/2014 30/09/2015 REGGIANI MONICA (Presidente)
PAGELLO ENRICO (Membro Effettivo)
CESERACCIU ELENA (Supplente)
SATTA GIORGIO (Supplente)
5 2013 01/10/2013 30/09/2014 REGGIANI MONICA (Presidente)
PAGELLO ENRICO (Membro Effettivo)
SATTA GIORGIO (Supplente)
4 2012 01/10/2012 30/09/2013 REGGIANI MONICA (Presidente)
SATTA GIORGIO (Membro Effettivo)

Syllabus
Prerequisiti: nessuno
Risultati di apprendimento previsti: L'insegnamento si propone di presentare gli strumenti per la programmazione di sistemi di embedded, introducendo i concetti principali dei sistemi concorrenti e di schedulazione di sistemi real-time. Un ulteriore obiettivo è di rendere lo studente in grado di programmare applicazioni in ambiente C/UNIX.
Contenuti:
Programma: - Introduzione ai sistemi embedded
- Gestione dei processi: processi, creazione, interazione e terminazione di processi, schedulazione dei processi, diagramma di stato, algoritmi di scheduling
- Programmazione concorrente: sincronizzazione e comunicazione, modelli di programmazione concorrente, meccanismi di cooperazione: semafori, regioni critiche, monitor. Scambio di messaggi, socket, chiamata di procedure remote, RMI. Deadlock e starvation. Tecniche di prevenzione e gestione di deadlock.
- Introduzione ai sistemi in tempo reale: sistemi di elaborazione operanti con vincoli temporali. Tipologie dei sistemi in tempo reale e parametri caratteristici. Modello di riferimento per i sistemi di elaborazione in tempo reale.
- Scheduling: schedulazione di processi aperiodici. Schedulazione basata su priorità. Scheduling di processi periodici, aperiodici e sporadici. Algoritmi di scheduling Rate Monotonic ed EDF.
- Affidabilità e tolleranza ai guasti: modalità di guasto, la prevenzione e la tolleranza ai guasti, misurazione e predizione sull'affidabilità del software, i concetti di safety, realiability e dependability
- Modellazione di sistemi real time, model checking di sistemi con vincoli temporali
- Sviluppo di device driver
Testi di riferimento: P. Ancilotti, M. Boari, Programmazione concorrente e distribuita. --: Mc Graw-Hill, 2007. Cerca nel catalogo
A. Burns, A. Wellings, Real-time Systems and Programming Languages. --: Addison Wesley, 2001. Cerca nel catalogo
J. Corbet, A. Rubini, G. Kroah-Hartman, Linux Device Drivers. --: O'Reilly Media, 2005. Cerca nel catalogo
Metodi didattici: Tradizionale
Metodi di valutazione: L'esame consiste di tre parti: un assegnamento durante il corso su C e Unix, un esame scritto e un esame orale. Per gli studenti che non frequenteranno le lezioni e i laboratori previsti, l'assegnamento potrà essere superato in una sessione d'esame successiva.
Altro: