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

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