Theory and Practice of Dependable Systems Design

Prof. Luca Simoncini
Dipartimento di Ingegneria dell'Informazione

20 hours, 5 credits

Starting date: October 14, at 10 a.m.

Dipartimento di Ingegneria dell'Informazione, via Caruso, meeting room, ground floor

   

Abstract

Increasingly, individuals and organizations are developing and deploying sophisticated computing systems on whose services they need to place great reliance. Accordingly, dependability of a computing system, i.e., its ability to deliver service that can justifiably be trusted, is more and more a stringent system requirement.

The course introduces the issues related with the design and validation of dependable systems. It provides the knowledge about the basic concepts in this field and the major techniques to deal with them at system architectural level. Special attention is devoted to fault tolerance techniques, since they play a prominent role in dependable systems by providing measures to deliver correct service in the presence of faults. Learning is also improved through case studies on architectures for dependable systems, which will be shown during the course.

Syllabus

  • Dependability concepts
  • Fault Prevention
  • Fault Tolerance
  • Fault Removal
  • Fault Forecasting
  • From Dependability to Resilience