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