可靠计算系统设计分析与验证课程笔记 5：从不同开发阶段的验证方法出发，讨论故障仿真、硬件与软件故障注入、实验结果分析、定向故障注入，以及现场数据中的相关失效