Informatica Industriale - Programma

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'Affidabilita' - failure rate, MTTF
13) Modello MIL-HDBK 217 F per valutazione Affidabilita' di componenti Hw
14) Modello combinatorio per la valutazione dell'affidabilita' Modelli serie, parallelo, N su M
15) Modello markoviano per la valutazione degli attributi di dependability
16) Disponibilita', Manutenibilita', MTBF, MTTR
17) Safety
18) Tecniche di valutazione qualitativa affidabilita': 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) Riconfigurabilita' - hot spare/cold spare
25) Ridondanza per diversita' - 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

English version:

1) General characteristics of embedded systems
2) Finite state machines, Finite state automata, Chomsky lanigage classification
3) Implementation of Finite state machines
4) Realizatione of event-driven systems by means of interrupts
5) Typical control cycles - real-time constraints - wcet - periodic tasks
6) Real time Scheduling
7) Fixed priority scheduling - rate monotonic priority assignment - Earliest deadline first
8) Priority inversion - Priority inheritance
9) Real-time operating systems
10) Industrial usage processorors - MPU, MCU, DSP, PLC, PC industriali
11) Dependability - concepts and terminology
12) Reliability evaluation - failure rate, MTTF
13) MIL-HDBK 217 F model for Hw components reliability evaluation
14) Combinatorial model for reliability evaluation: series, parallel, N of M models
15) Markov models for dependability attributes
16) Availability, Maintainability, MTBF, MTTR
17) Safety
18) Qualitative reliability evaluation techniques: FMEA / HAZOP / FTA
19) Fault detection mechanisms - duplication and comparison
20) Error detecting codes
21) Principles of Error Correction Codes and their applications
22) Fault masking TMR NMR
23) Hybrid redundancy architectures
24) Riconfigurability - hot spare/cold spare
25) Redundancy by diversity - Software fault tolerance
26) Examples of dependable systems
27) Introduction to Formal Methods for the development, specification and verification of software
28) Introduction to Formal verification - Model checking
29) Software certification and CENELEC guidelines
30) Software testing