Last updated: 2012-09-01
Change history:
2012-09-01: Preliminary version.
2012-10-16: Reading instructions added for the paper "A Large-Scale Study of Failures in High-Performance Computing Systems".
Below you find reading instructions for the course book and the paper reprints.
The material is divided into the following three categories:
Careful reading - you should be able to answer detailed questions on the material
Normal reading - you should be able to describe the main ideas and general conclusions
Casual reading - useful for the general understanding of the subject
N. Storey, "Safety-Critical Computer Systems", Pearson, ISBN 0-201-42787-7
| Chapter | Careful reading | Normal reading | Casual reading |
|---|---|---|---|
| Chapter 1 | Entire chapter | - | |
| Chapter 2 | Entire chapter | - | - |
| Chapter 3 | Entire chapter | - | |
| Chapter 4 | Section 4.1 - 4.4, 4.6 | 4.5 | - |
| Chapter 5 | Section 5.1 - 5.3, 5.8, 5.9 | Section 5.4, 5.7 | Section 5.5, 5.6 |
| Chapter 6 | Section 6.1 - 6.6, 6.8 | - | Section 6.7 |
| Chapter 7 | Section 7.1, 7.2 (except cut and tie sets, pp. 179 - 182), 7.3, 7.4 | - | - |
| Chapter 12 | Section 12.1 - 12.2 (except Figure 12.1 and Table 12.1), 12.11 - 12.13 | Figure 12.1, Table 12.1 Section 12.3 - 12.8, |
Section 12.9, 12.10 |
| Chapter 14 | Section 14.1 - 14.4 | Section 14.5, 14.6 | - |
| Chapter 15 | Section 15.3 | - | - |
| Paper | Careful reading | Normal reading | Casual reading |
|---|---|---|---|
| ARIANE 5, Flight 501 Failure | - | Entire paper | - |
| NonStop Advanced Architecture | Section 1, 2, 3.0 - 3.3, 5 | Section 6 | Section 3.4-3.6, 4. |
| Basic Concepts and Taxonomy of Dependable and Secure Computing. | Section 2, 3.2.1, 3.3.1, 3.4, 3.5, 4.1, 5.1, 5.2, 5.3, 5.4, | Section 1, 3.2.2 - 3.2.5, 3.3.2, 3.3.3, 4.2, 4.3, 4.4, 5.5, 6. | - |
| The Time-Triggered Architecture | Section IIE, IIF, IIIA, IIIB, IIIC, IIID, IIIE, IVA, VA, VB, VC, VD, VIA, VIB, VIC. | Section, I, IIA, IIB, IIC, IID, IIID, IVB, IVC, IVD, VII. | IIIF |
| Byzantine Agreement | Section 3.1 | - | - |
| A Large Scale Experiment in N-version Programming | - | Section 1, 2, 3, 5, 6 | Section 4 |
| An Evaluation of Software Fault Tolerance in a Practical System | - | Section 1 (Intro), 2 (Exp. sys. config.), 3 (Conduct of Exp. Prog.), 4 (Exp. Prog. Results), 6 (Conclusions) | Section 5 (Analysis of results) |
| A Large-Scale Study of Failures in High-Performance Computing Systems | Section 9. | Section 1, 2, 3, 4, 5, 6. | 7, 8 |
| Functional Safety Sheet from SP | Entire sheet |