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