SISTEMI IN TEMPO REALE
cod. 18301

Anno accademico 2008/09
1° anno di corso - Secondo semestre
Docente
Settore scientifico disciplinare
Sistemi di elaborazione delle informazioni (ING-INF/05)
Field
Ingegneria informatica
Tipologia attività formativa
Caratterizzante
45 ore
di attività frontali
5 crediti
sede:
insegnamento
in - - -

Obiettivi formativi

Il corso presenta i principi, le metodologie, ed alcuni significativi strumenti per la progettazione di sistemi di elaborazione operanti in tempo reale e per la realizzazione di software di controllo di sistemi embedded ed applicazioni industriali.

Prerequisiti

Sistemi operativi B.

Contenuti dell'insegnamento

Pagina web del corso accessibile sul sito: https://my.unipr.it<br /><br />Introduzione ai sistemi in tempo reale<br />Sistemi embedded. Sistemi di elaborazione operanti con vincoli temporali.<br />Tipologie dei sistemi in tempo reale e parametri caratteristici. <br />Modello di riferimento per i sistemi di elaborazione in tempo reale.<br /><br />Scheduling<br />Schedulazione di processi aperiodici.<br />Schedulazione mediante executive ciclico.<br />Schedulazione basata su priorità.<br />Scheduling di processi periodici, aperiodici e sporadici. <br />Algoritmi di scheduling Rate Monotonic ed EDF.<br />Protocolli di accesso a risorse condivise. Gestione della inversione di priorità. <br /><br />Sistemi operativi e programmazione mediante thread<br />Funzionalità dei moderni sistemi operativi a supporto dell'elaborazione in tempo reale.<br />Lo standard POSIX: Thread e processi. Sincronizzazione tra thread. Segnali. Meccanismi di IPC. Scheduling. Gestione del tempo. Gestione della memoria. Gestione dell'I/O.<br />Pattern per la programmazione di sistemi in tempo reale.<br />Sistemi operativi real-time dedicati (cenni).<br />Middleware per sistemi in tempo reale distribuiti (cenni)<br />

Programma esteso

- - -

Bibliografia

J.W.S. Liu, Real-Time Systems, Prentice-Hall, 2000.<br />D. Butenhof, Programming with POSIX Threads, Addison-Wesley, 1997.<br />

Metodi didattici

L'esame è costituito da tre parti: un progetto mediante thread POSIX (che è possibile svolgere durante il corso), una prova scritta, ed una prova orale. Alla prova orale è ammesso chi ha consegnato il progetto e superato la prova scritta. Esercitazioni guidate in laboratorio relative alle funzionalità dei sistemi operativi Solaris e Linux ed alle thread POSIX.

Modalità verifica apprendimento

- - -

Altre informazioni

- - -