可靠计算系统设计分析与验证课程笔记 4，内容对应 Sessions 6–7：Error Detection，讨论 watchdog、heartbeat、Data Audits、控制流检查、应用感知断言，以及 RMK、SHD、AHD 和 Count&Check

可靠计算系统设计分析与验证课程笔记 3，内容对应 Session 6：Reliability Technology Overview，讨论故障预防、故障屏蔽、容错、故障排除和故障预测，以及奇偶校验与纠错码的基本原理

可靠计算系统设计分析与验证课程笔记 2，内容对应 Sessions 3–5：Analytical Modeling，讨论可靠性与性能的联合指标，以及可靠性框图、Markov 链、故障树、排队模型、Stochastic Petri Net 和 SAN

可靠计算系统设计分析与验证（Design, Analysis and Validation of Reliable Computing Systems）课程笔记，内容对应 Sessions 1-2：Basic Concepts