( english version )
Sistemi in tempo reale ( 5 CFU )
Prof. Stefano Caselli
     Tel. 0521 905724 - Fax. 0521 905723           E-mail. stefano.caselli@unipr.it           Home page. http://www.ce.unipr.it/people/caselli

Finalità
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.

Programma
Pagina web del corso accessibile sul sito: https://my.unipr.it

Introduzione ai sistemi in tempo reale
Sistemi embedded. 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 mediante executive ciclico.
Schedulazione basata su prioritą.
Scheduling di processi periodici, aperiodici e sporadici.
Algoritmi di scheduling Rate Monotonic ed EDF.
Protocolli di accesso a risorse condivise. Gestione della inversione di prioritą.

Sistemi operativi e programmazione mediante thread
Funzionalitą dei moderni sistemi operativi a supporto dell'elaborazione in tempo reale.
Lo standard POSIX: Thread e processi. Sincronizzazione tra thread. Segnali. Meccanismi di IPC. Scheduling. Gestione del tempo. Gestione della memoria. Gestione dell'I/O.
Pattern per la programmazione di sistemi in tempo reale.
Sistemi operativi real-time dedicati (cenni).
Middleware per sistemi in tempo reale distribuiti (cenni)

Attività d'esercitazione
Esercitazioni guidate in laboratorio relative alle funzionalitą dei sistemi operativi Solaris e Linux ed alle thread POSIX.

Modalità d'esame
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.

Propedeuticità
Sistemi operativi B.

Testi consigliati
J.W.S. Liu, Real-Time Systems, Prentice-Hall, 2000.
D. Butenhof, Programming with POSIX Threads, Addison-Wesley, 1997.

 
stampa il programma ~ torna indietro