Dependable systems (3 cfu)

Reference Book:
D.P. Siewiorek, R. S. Swarz
Reliable Computer Systems (Design and Evaluation)
Prentice Hall, 1998. On line version


BIOINFORMATICS
lectures
Wednesday 8.30-10.30
Friday 11.30-13.30


Lectures
Introduction     Introduction.pdf
Basic concepts     part1.pdf     part2.pdf     part3.pdf     part4.pdf
Distributed systems: Atomic actions, Consensus problem     DistrFT.pdf
Quantitative evaluation of dependability Combinatorial models , FT_FMEA.pdf , State-based models , example.pdf

Safety in medical devices a case study

Dependability evaluation: the MOBIUS tool.

Fault trees     Lab01.pdf
SAN                Lab02.pdf
Turorial          Lab03.pdf
An exercise     Lab04.pdf

Supporting reading:

A. Avizienis, J.C. Laprie, B. Randell, C. Landwehr.
Basic Concepts and Taxonomy of Dependable and Secure Computing.
IEEE Transactions on Dependable and Secure Computing, Vol. 1, N. 1, 2004, paper.pdf

P. Koopman. (2014)
A case Study of Toyota Unintended Acceleration and Software Safety. Slides.pdf