A. Fantechi - Informatica Industriale - Città Studi Edizioni
Obiettivi Formativi
Il corso intende approfondire una serie di tecniche di sviluppo tipiche
dei sistemi computerizzati embedded, con particolare enfasi sugli aspetti di dependability (affidabilità, disponibilità, safety).
Capacità di affrontare correttamente i problemi relativi alla progettazione di sistemi embedded, anche nei settori produttivi dove siano richiesti specifici obiettivi di affidabilità, disponibilità e safety.
Prerequisiti
Fondamenti della programmazione, dell'architettura dei
calcolatori elettronici, dei sistemi operativi e dell'ingegneria del software
Metodi Didattici
Lezioni in aula alla lavagna o con ausilio di videoproiettore
Esercitazioni in laboratorio
Contatti con aziende attraverso visite e seminari.
Altre Informazioni
CALENDARIO ESAMI INFORMATICA INDUSTRIALE
I Sessione :
- 11 gennaio 2017 Aula 008 Morgagni ore 9.00
- 8 febbraio 2017 Aula 008 Morgagni ore 9.00
- 22 febbraio 2017 Aula 008 Morgagni ore 9.00
II Sessione :
- 19 giugno 2017 Aula 015 Morgagni ore 9.00
- 3 luglio 2017 Aula 015 Morgagni ore 9.00
- 17 luglio 2017 Aula 015 Morgagni ore 9.00
III sessione:
- 11 Settembre 2017, Aula 008 Morgagni ore 15.00
Modalità di verifica apprendimento
Prova scritta.
Programma del corso
1) Caratteristiche generali dei sistemi embedded
2) Richiami su macchine a stati finiti, automi a stati finiti riconoscitori di linguaggi - classificazione di chomsky
3) Implementazione di macchine a stati
4) Realizzazione sistemi event-driven con interruzioni
5) Tipici cicli di controllo - vincoli real-time - wcet - task periodici
6) Real time Scheduling
7) Fixed priority scheduling - rate monotonic priority assignment - Earliest deadline first
8) Priority inversion - Priority inheritance
9) Sistemi operativi real-time
10) Introduzione ai processori di utilizzo industriale - classificazione in MPU, MCU, DSP, PLC, PC industriali
11) Dependability - concetti e terminologia
12) Valutazione dell?Affidabilità - failure rate, MTTF
13) Modello MIL-HDBK 217 F per valutazione Affidabilità di componenti Hw
14) Modello combinatorio per la valutazione dell?affidabilità Modelli serie, parallelo, N su M
15) Modello markoviano per la valutazione degli attributi di dependability
16) Disponibilità, Manutenibilità, MTBF, MTTR
17) Safety
18) Tecniche di valutazione qualitativa affidabilità: FMEA / HAZOP / FTA
19) Meccanismi di rilevazione degli errori - duplicazione e confronto
20) Codici rilevatori di errore
21) Principi dei codici correttori di errore e loro applicazioni
22) Fault masking TMR NMR
23) Architetture a ridondanza ibrida
24) Riconfigurabilità - hot spare/cold spare
25) Ridondanza per diversità - Software fault tolerance
26) Esempi di sistemi dependable
27) Introduzione ai metodi formali per lo sviluppo, la specifica e la verifica del SW
28) Introduzione alla verifica formale - Model checking
29) La certificazione software e la Normativa CENELEC
30) Testing del software