Dependable Systems


People
Luca Cassano, email: luca.cassano@polimi.it
Marco Gribaudo, email: marco.gribaudo@polimi.it
Manuel Roveri, email: manuel.roveri@polimi.it

Students meeting (with Luca Cassano): "Officially" on Monday 15:00 - 18:00, Dip. di Elettronica, Informazione e Bioingegneria (1° floor, Building 20, Campus Leonardo ), but you can always send an email: luca.cassano@polimi.it to fix an appointment


Course Calendar
The course calendar is available here.


Reference books
Dhiraj K. Pradhan, Fault-tolerant computer system design, Prentice-Hall, 1996, ISBN 0-13-057887-8.
M.L. Shooman, Reliability of Computer Systems and Networks: Fault Tolerance, Analysis, and Design, Wiley, 2002, ISBN 0-471-29342-3.
Israel Koren and C. Mani Krishna, Fault-tolerant Systems, Morgan Kaufmann, 2007.
Dependable Multicore Architectures at Nanoscale, M. Ottavi, D. Gizopoulos, S. Pontarelli Eds, Springer Int. Publishing, 2017.


Course material
Lesson 1 (23-02-2021): An introduction to Dependability, WebEx Registration
Lesson 2 (24-02-2021): Basic Concepts & Terminology, WebEx Registration
Lesson 3 (25-02-2021): Dependability Analysis, WebEx Registration
Lesson 4 (02-03-2021): Theortical background, WebEx Registration
Lesson 5 (03-03-2021): Markov chains, WebEx Registration
Lesson 6 (04-03-2021): Transient analysis of CTMC, WebEx Registration
Lesson 7 (17-03-2021): Fault models, WebEx Registrations: Part1, Part2
Lesson 8 (18-03-2021): Fault Injection, WebEx Registration
Lesson 9 (24-03-2021): Fault Management, WebEx Registration
Lesson 10 (25-03-2021): System Hardening, WebEx Registration
Lesson 11 and 12 (30/31-03-2021): Design for Dependability: model/data analysis, WebEx Registrations: Lesson 1, Lesson 2


Assignments
Groups for the assigments
Assignment #1
Assignment #2
Assignment #3
Assignment #4


Home Page