dependable systems

ing. informatica ~ scuola di ingegneria dell'informazione
A. Y. 2017-2018


General infos

Prof. Cristiana Bolchini
Phone: (02 2399) 3619
Email: cristiana DOT bolchini AT polimi DOT it

Prof. Marco Gribaudo
Email: marco DOT gribaudo AT polimi DOT it


Prof. Manuel Roveri
Email: manuel DOT roveri AT polimi DOT it

Prof. Antonio Miele
Email: antonio DOT miele AT polimi DOT it

class hours

Tuesday 08:15 - 10:15 D2.5
Thursday 08:15 - 10:15 D2.5

Learning goals

System dependability is the ability of the system to deliver the expected functionality, fulfilling the functional and performance requirements, during its operational lifetime.
This course provides a methodological approach to system dependability by introducing the basic concepts in terms of dependability attributes, fault/failure models, methods to design and analyze this class of systems, also presenting practical solutions for their realization.

  1. Dependability basics
    1. Fault/Error/Failure models
    2. Dependability attributes: Reliability, Availability
  2. Dependability Analysis (quantitative and qualitative)
    1. Models (Failure rate, Probability distributions)
    2. Series/Parallel Systems
    3. Markov Models
    4. Fault Trees
    5. FMEA/FMECA
    6. Fault Injection
  3. Design for dependability
    1. Fault Detection, Tolerance and Recovery
    2. Design for Testability
    3. Diagnosis

At the end of the course the student shall be able to take into account dependability aspects in the design and implementation of a system, by investigating dependability requirements in relation to the applicable fault model, and to identify suitable solutions to achieve the desired ability to manage the occurrence of faults.

Course flyer (pdf)

class plan (changes and updates may occur during the semester)

Prerequisites

Basic courses in Digital Design, Hardware Organization/Computer Architecture.

References

Further references on specific topics

Course evaluation

Student evaluation consists in an oral exam on the topics presented during the semester. As an alternative, students may decide to develop a project.