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
|
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.
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'
Metodologia di progettazione di sistemi incorporati
1. Introduzione ai sistemi incorporati
2. Architetture di programmazione generali e dedicate
3. Processori e co-processori
4. Memorie, periferiche, comunicazione ed interfacciamento
5. Processi concorrenti e sistemi operativi in tempo reale
7. Pianificazione ("scheduling") in tempo reale di processi aperiodici e periodici
8. Sistemi di controllo
9. Metodologie di progettazione
Modulo: Laboratorio
-------
Laboratorio Uppaal
Laboratorio Kronos e HyTech
Laboratorio ddt e Charon
Laboratorio Phaver e Ariadne
Laboratorio Times
Laboratorio Giotto
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.
******** CSS e script comuni siti DOL - frase 9957 ********p>