Sistemi di Elaborazione dell'Informazione: Sistemi Affidabili

Felicita Di Giandomenico  

Questo corso si propone di introdurre le problematiche legate alla Dependability (garanzia di funzionamento) dei sistemi di elaborazione (hardware-software). Sistemi critici con elevati requisiti di affidabilità e disponibilità sono sempre più diffusi. Questo corso mira a fornire le conoscenze fondamentali per la progettazione e la validazione di sistemi con adeguate caratteristiche di affidabilità disponibilità e sicurezza.

Verranno introdotti i concetti di dependability (proprietà di un sistema di elaborazione che permette di riporre fiducia in modo giustificato nel servizio che questo fornisce) dei sistemi di elaborazione (hardware-software) e alcune tecniche di prevenzione, tolleranza, eliminazione e previsione dei guasti che devono essere in modo combinato nella progettazione e validazione di sistemi dependable.

This course introduces the concept of Dependability of computer systems (hardware and software). Dependability is that property of a computer system such that reliance can justifiably be placed on the services it delivers. The course will thus show (some of) the techniques for fault prevention, tolerance, removal and forecasting, which must be combined together to design and validate dependable systems.

Progettino e prova orale Scritto e orale