Dependable systems (3 cfu)
Reference Book:
D.P. Siewiorek, R. S. Swarz
Reliable Computer Systems (Design and Evaluation)
Prentice Hall, 1998. On line version
Seminar "Software for embedded systems", March 14, 2017, 11.30-13-30 ADII1, Ing. Daniele.Bordes, Automotive Software Engineering,
BMW Group.
part1.pdf
Lectures
Introduction
Introduction.pdf
Basic concepts
modelloUppal
part2.pdf
part3.pdf
part4.pdf
Dependability evaluation
Evaluation1.pdf
FT-FMEA.pdf
Evaluation2.pdf
Evaluation2.1.pdf
SAN.pdf
Distributed systems: Atomic actions, Consensus problem
DistrFT.pdf
Software reliability
SR.pdf
SIFT case study
SIFT.pdf
Standards
Standards.pdf
Mobius Tool
Fault trees
Lab01.pdf
SAN
Lab02.pdf
Tutorial
Lab03.pdf
Project
Project.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