Fundamentals of Dependability (3 ECTS)

The purpose of this course is to give a structured introduction to the concepts of dependability and to the methods and techniques used for dependable design of systems and for scaling to complex resilient systems.

Contents:

Suggested readings:

J-C. Laprie et al.: Guide de la sûreté de fonctionnement, Cepaduès Editions, 1995 (in French).

D. P. Siewiorek and R. Swartz: Reliable Computer Systems, Design and Evaluation, Third Edition, A K Peters, Ltd., 1998.

A. Avizienis, J-C. Laprie, B. Randell and C. Landwehr: Basic Concepts and Taxonomy of Dependable and Secure Computing, IEEE Trans. On Dependable and Secure Computing, Vol.1, n.1, Jan.-March 2004, pp. 11-33.

J.C. Laprie: From Dependability to Resilience, 38th IEEE/IFIP Int. Conf. On Dependable Systems and Networks, Anchorage, Alaska, June 2008, Sup. Vol., pp. G8-G9


ReSIST Courseware (right click and select "Save as" to download)  

Courseware examples and locations where taught:

Higher National School of Aeronautics and Space (ENSAE), Toulouse. Jean-Claude Laprie.

Higher National School of Electronics, Informatics, and Radiocommunications of Bordeaux. Jean-Claude Laprie.

Higher National School of Electrotechnology, Electronics, Informatics, Hydraulics and Telecommunications, Toulouse. Jean-Charles Fabre.

These topics are covered in the MSc-level course on "Fault-tolerant design of computer systems" available at City University as a professional development short course. The slides are not publicly available.

Line of teaching

View this course in the RKBExplorer



Back to MSc Curriculum.