2014
2014
Sei collegato come utente non registrato
Riepilogo dell'insegnamento: Sistemi Critici e Real Time
| Informazioni generali | |||
| Corso di Laurea | Informatica | Percorso | |
|---|---|---|---|
| CFU | 6 | Università | FIRENZE |
| Ore di didattica frontale per CFU | 8 | Settore Scientifico Disciplinare | INF/01 |
6 cfu così ripartiti nelle aree:
- 6 CFU nell'area I - Ingegneria del software
Sillabo dell'insegnamento
- I - Ingegneria del software
- *
TVV - Testing, Verifica e Validazione
Dependability. Attributi: reliability, availability, safety. La catena guasto - errore - fallimento. I mezzi per la dependability: Fault prevention, Fault tolerance, Fault removal e Fault forecasting - *
TVV - Testing, Verifica e Validazione
System dependability. Tecniche di rilevazione del guasto.Tecniche di ridondanza per mascheramento. - *
TVV - Testing, Verifica e Validazione
Software dependability: Safety Net approach. Design diversity. Strutture per Software Fault Tolerance: recovery blocks, n-version programming. Problemi con design diversity: votatori inesatti, mascheramento degli errori - *
TVV - Testing, Verifica e Validazione
Esempi di architetture per sistemi dependable: SIFT, GUARDS - *
TVV - Testing, Verifica e Validazione
Concetti e tecniche per la valutazione della qualità del software. Il processo di certificazione: gli attori coinvolti, le procedure e le tecniche. Perimetro e validità della certificazione. Norme di riferimento per la certificazione. Oggetto della certificazione: sistema, software, processo. Certificazione vs. qualità - *
TVV - Testing, Verifica e Validazione
Standard internazionali relativi alla certificazione di sistemi critici nei diversi domini applicativi. Approfondimenti attraverso esempi e case studies. Il settore automotive e lo standard ISO/IEC 26262
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
Insegnamenti "macro" nell'ambito dei quali può essere scelto
