Last updated: 2013-01-18

Change history:

2013-01-18: Updated incorrect to DSN 2013 webpage.

2012-10-10: Note "Optional reading, not relevant for the exam." added to the paper "Designing Reliable Systems from ....".

2012-09-30:  Link added to the paper "Large-Scale Study of Failures in High-Performance Computing Systems."

Course material:

• Book:  Neil Storey, Safety-Critical Computer Systems  (ISBN 0-201-42787-7)

• Compendium of exercise problems

• Reprints of technical articles

• Laboratory PM:s

The course book is sold at Cremona. Price: 615 SEK.

In the laboratory classes you will use a program called SHARPE. A manual and a user guide for SHARPE is available on this page.

Copyright Notice: You may not copy or redistribute the material made available on this page for other purposes than your personal use as a student at Chalmers/University of Gothenburg.

• Compendium of exercises

• Basic Concepts and Taxonomy of Dependable and Secure Computing

• Report on Ariane 501 Failure

• Designing Reliable Systems from Unreliable Components: The Challenges of Transistor Variability and Degradation  (Optional reading, not relevant for the exam.)

• A Large Scale Experiment in N-version programming

• An Evaluation of Software Fault Tolerance in a Practical System

• A Large-Scale Study of Failures in High-Performance Computing Systems

• Hewlett-Packard's NonStop Advanced Architecture

• The Time-Triggered Architecture

• Byzantine Agreement

• PM Laboratory class 1 Template_Laboratory_1_ZIP Template_Laboratory_1_Tar

• PM Laboratory class 2

• Functional safety leaflet from SP

• SHARPE Manual    (Not relevant for the exam)

• SHARPE User Guide  (Not relevant for the exam)

Below you find links to two documents that introduce Laplace transforms.

• Introduction to Laplace transforms Chalmers

• Introduction to Laplace transforms University of Manchester

Links of interest:

• News report about major system outage at London Stock Exchange on September 8, 2008

• Hewlett-Packard NonStop Servers

• International Conference on Dependable Systems and Networks (DSN) 2013

• International Conference on Dependable Systems and Networks (DSN) 2012

• International Conference on Dependable Systems and Networks (DSN) 2011

• International Conference on Dependable Systems and Networks (DSN) 2010

• International Conference on Dependable Systems and Networks (DSN) 2009

• International Conference on Dependable Systems and Networks (DSN) 2008