Last updated: 2011-10-11

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

• A Large Scale Experiment in N-version programming

• An Evaluation of Software Fault Tolerance in a Practical System

• Hewlett-Packard's NonStop Advanced Architecture

• The Time-Triggered Architecture

• Byzantine Agreement

• PM Laboratory class 1   PM_Lab 1 (2 pages per sheet)

• PM Laboratory class 2   PM  Lab 2 (2 pages per sheet)

• 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) 2008

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

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

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