Sistemi a tempo reale (2006/2007)

Corso a esaurimento

Codice insegnamento
4S01075
Docente
Tiziano Villa
crediti
5
Altri corsi di studio in cui è offerto
Settore disciplinare
ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
Lingua di erogazione
Italiano
Periodo
1° Q dal 2-ott-2006 al 1-dic-2006.

Orario lezioni

1° Q
Giorno Ora Tipo Luogo Note
mercoledì 14.30 - 16.30 lezione Aula E  
venerdì 14.30 - 17.30 lezione Aula E  

Obiettivi formativi

L'obiettivo del corso e' d'introdurre le tecniche di progettazione e i modelli formali per analizzare e sintetizzare sistemi elettronici in tempo reale, con particolare riferimento alla progettazione e verifica di sistemi incorporati.

Programma

Progetto 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, sistemi operativi e algoritmi di pianificazione
6. Sistemi di controllo
7. Metodologie di progettazione

Schedulazione in tempo reale di processi aperiodici e periodici

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. Automi con orologi e automi ibridi
7. Analisi di raggiungibilita' di automi ibridi
9. Sintesi di controllori ibridi per sicurezza e progressivita'

Testi di riferimento
Autore Titolo Casa editrice Anno ISBN Note
Wayne Wolf Computers as Components: Principles of Embedded System Design Morgan Kaufman Publishers 2005
Frank Vahid and Tony Givargis Embedded System Design: A Unified Hardware/Software Introduction John Wiley & Sons 2002

Modalità d'esame

Prova scritta e progetto.

Il progetto di quest'anno richiede la verifica formale di proprieta' di sicurezza di sistemi rappresentati da automi ibridi, mediante l'utilizzo di codici che eseguono il calcolo della raggiungibilita' per automi ibridi.

Materiale didattico

Documenti

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 50.0% 25 4
Respinti --
Assenti 50.0%
Ritirati --
Annullati --
Distribuzione degli esiti positivi
18 19 20 21 22 23 24 25 26 27 28 29 30 30 e Lode
0.0% 0.0% 33.3% 0.0% 0.0% 0.0% 0.0% 33.3% 0.0% 0.0% 0.0% 0.0% 33.3% 0.0%

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