Sistemi a tempo reale (2008/2009)

Corso a esaurimento

Codice insegnamento
4S01075
Crediti
5
Coordinatore
Tiziano Villa
L'insegnamento è organizzato come segue:
Modulo Crediti Settore disciplinare Periodo Docenti
Teoria 4 ING-INF/05-SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI 1° Q Tiziano Villa
Laboratorio 1 ING-INF/05-SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI 1° Q Tiziano Villa

Obiettivi formativi

Modulo: Teoria
-------
L'obiettivo del corso e' d'introdurre modelli formali e metodologie di progettazione per descrivere, analizzare e sintetizzare sistemi elettronici in tempo reale, con particolare riferimento a sistemi incorporati.


Modulo: Laboratorio
-------
L'obiettivo del laboratorio e' d'introdurre l'uso di programmi per descrivere, analizzare e sintetizzare modelli formali di sistemi in tempo reale, con particolare riferimento agli automi ibridi.

Programma

Modulo: Teoria
-------
Metodi formali per sistemi in tempo reale
1. Sistemi combinatori e reattivi
2. Macchine a stati deterministiche, semi-deterministiche e non-deterministiche
3. Composizione di macchine a stati
4. Simulazione, bisimulazione e determinizzazione di macchine a stati
5. Equivalenza, contenimento e minimizzazione di macchine a stati
6. Sintesi di controllori discreti per sicurezza e progressivita'
7. Automi ibridi
8. Automi con orologi e loro discretizzazione
9. Analisi di raggiungibilita' di automi ibridi
10. Sintesi di controllori ibridi per sicurezza e progressivita'
11. Verifica formale di sistemi modellati da automi discreti e ibridi

Metodologia di progettazione di sistemi in tempo reale
1. Introduzione ai sistemi incorporati
2. Processi concorrenti e sistemi operativi in tempo reale
3. Algoritmi per la pianificazione ("scheduling") di processi aperiodici in tempo reale
4. Algoritmi per la pianificazione di processi periodici in tempo reale
5. Analisi degli algoritmi di pianificazione e calcolo di maggioranti significativi


Modulo: Laboratorio
-------
Laboratorio Uppaal
Laboratorio HyTech
Laboratorio ddt e Charon
Laboratorio Phaver e Ariadne
Laboratorio Times

Modalità d'esame

Modulo: Teoria
-------
Prova scritta e progetto.

Il progetto richiede la verifica formale di proprieta' di sicurezza di sistemi rappresentati da automi ibridi, mediante l'utilizzo di codici che verificano proprieta' temporali di automi ibridi mediante un'analisi di raggiungibilita'.


Modulo: Laboratorio
-------
Progetto. Vedi Modalita' d'esame della Teoria.

Statistiche per i requisiti di trasparenza (Attuazione Art. 2 del D.M. 31/10/2007, n. 544)

Statistiche esiti
Esiti Esami Esiti Percentuali Media voti Deviazione Standard
Positivi 34.84% 22 3
Respinti --
Assenti 65.15%
Ritirati --
Annullati --
Distribuzione degli esiti positivi
18 19 20 21 22 23 24 25 26 27 28 29 30 30 e Lode
13.0% 13.0% 8.6% 17.3% 8.6% 8.6% 4.3% 0.0% 8.6% 4.3% 4.3% 4.3% 0.0% 4.3%

Valori relativi all'AA 2008/2009 calcolati su un totale di 66 iscritti. I valori in percentuale sono arrotondati al numero intero più vicino.