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.
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'
| 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 |
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.
A-TV Esami 2006-7
(x-gzip, it, 44 KB, 09/02/07)
A-TV Progetto Anno Accademico 2006-7
(pdf, it, 22 KB, 18/12/06)
CC-WW1-1 Introduzione al progetto di sistemi incorporati
(pdf, en, 7587 KB, 12/10/06)
ESD-VG1 Introduzione al progetto di sistemi incorporati
(pdf, en, 214 KB, 12/10/06)
ESD-VG2 Progetto di processori dedicati
(pdf, en, 109 KB, 10/11/06)
ESD-VG3 Progetto di processori generici
(pdf, en, 217 KB, 10/11/06)
ESD-VG7 Progetto di una macchina fotografica numerica
(pdf, en, 194 KB, 17/11/06)
ESD-VG9 Sistemi di controllo
(pdf, en, 2048 KB, 22/11/06)
ESD-XPM4a Schedulazione di processi aperiodici
(pdf, en, 1603 KB, 01/12/06)
ESD-XPM4b Schedulazione di processi periodici
(pdf, it, 999 KB, 01/12/06)
TH1.1 Sistemi combinatori
(postscript, en, 126 KB, 12/10/06)
TH1.2 Sistemi reattivi
(postscript, en, 147 KB, 12/10/06)
TH1.3 Macchine a stati
(postscript, en, 131 KB, 12/10/06)
TH1.4 Diagrammi di transizione
(postscript, en, 210 KB, 12/10/06)
TH1.5 Composizione di macchine a stati
(postscript, en, 272 KB, 12/10/06)
TH1.6 Composizione di macchine a stati ad anello chiuso
(postscript, en, 259 KB, 12/10/06)
TH2.1 Equivalenza di macchine a stati
(postscript, en, 163 KB, 13/10/06)
TH2.2 Minimizzazione di macchine a stati
(postscript, en, 222 KB, 13/10/06)
TH2.3 Macchine a stati nondeterministiche
(postscript, en, 192 KB, 13/10/06)
TH2.4 Simulazione di macchine a stati
(postscript, en, 289 KB, 13/10/06)
TH2.5 Determinizzazione di macchine a stati
(postscript, en, 311 KB, 13/10/06)
TH2.6 Sintesi di controllori - sicurezza
(vnd.ms-powerpoint, en, 223 KB, 26/10/06)
TH2.7 Sintesi di controllori - progressivita'
(vnd.ms-powerpoint, en, 244 KB, 26/10/06)
TH2.8 Riassunto delle note da TH1.1 a TH2.7
(postscript, en, 217 KB, 26/10/06)
TV-AI.1 Introduzione agli automi ibridi
(pdf, it, 487 KB, 19/12/06)
TV-AI.2 Automi con orologio e problema della raggiungibilita'
(pdf, it, 194 KB, 19/12/06)
TV-AI.3 Analisi del comportamento di automi ibridi
(pdf, it, 401 KB, 19/12/06)
© 2024 | Università degli studi di Verona
******** CSS e script comuni siti DOL - frase 9957 ********p>
