Affidabilità dei sistemi informatici - Allievi Ingegneria dell'Informazione - LS
Informazioni Generali
Prof. Cristiana Bolchini
Phone: (02 2399) 3619
Email: cristiana DOT bolchini AT polimi DOT it
Prof. Fabio Salice
Email: salice AT elet DOT polimi DOT it
Prof. Matteo Rossi
Email: rossi AT elet DOT polimi DOT it
Prof. Paolo Cremonesi
Email: cremonesi AT elet DOT polimi DOT it
Orario del corso
Lezione ed esercitazioni in aula
Mercoledì 12:15 - 14:15 B.5.2
Venerdì 8:15 - 10:15 D.1.1
Contatti
È possibile contattare i docenti mediante posta elettronica. I messaggi devono avere nel campo subject [AFF] e devono essere firmati. Qualsiasi messaggio che non rispetta questo formato non verrà preso in considerazione.
Programma del corso
Il corso ha come obiettivo porre l'attenzione sulle problematiche di affidabilità dei sistemi di elaborazione, affrontando la tematica da diversi punti di vista. Dopo una prima introduzione generale sui concetti di affidabilità e delle caratteristiche e proprietà cui ci si riferisce con tale termine, il corso prenderà in considerazione le seguenti prospettive:
- metodi e tecniche per la specifica e la verifica formale;
- metodi e tecniche per la realizzazione di sistemi con proprietà di rilevazione/tolleranza guasti;
- metodi e tecniche per la gestione/realizzazione di impianti affidabili.
Programma dettagliato delle lezioni (preliminare)
Il materiale verrà reso disponibile man mano.
Modalità d'esame
La prova d'esame consta di un approfondimento su uno degli argomenti visti a lezione, con presentazione. Data però la natura del corso, l'esame può essere sostituito da un breve elaborato.