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