共模失效和差异性.pdfVIP

共模失效率和差异性的介绍 （重点关注软件设计故障的容限） 目录 • 动机和一般原则 • 容错设计—冗余和差异性的例子 • 功效和可靠性评估 – 共模失效对可靠性的影响 – 理解失效相关性(硬件和软件的概念模型) – 常见失效的概率评估 – 模型的其他影响. • 总结和结论 第一部分：动机和一般原则 可靠性中的故障避免vs 故障容忍 • 故障避免 – 试图构建无故障系统 – 高可靠性由什么来保障 – 为增加投资回报清除递减规律(Clear laws of diminishing returns for added investment) • 故障容忍 – 利用冗余，一个模块的错误可以被其他模块检测/补偿：系 统作为一个整体并未失效 – 宗旨：任何事物都可能失效：防护地设计 – 利用故障容忍，若整个系统失效必须有超过一个组建或子 系统失效 – 评估常见失效发生的频率十分重要 容错计算—举例 执行计算… 检查结果… 若批准只发送结果 结果 计算输入 主计算 输出 拒绝/接受 校验器 或者…并行计算3次—用 不同的方法? 变形1 如果结果不同，接受 多数的结果 计算输入 变形2 表决器 输出 多种可能的设计… 变形3 故障容忍机制可包括… • 错误检测 • 错误隔离/屏蔽(有/无检测) • 危害评估/诊断 • 重新配置 • 向后或向前恢复，补偿措施 • 故障处理/修复/再集成 这些机制的故障都可能导致(不同类型的)系统故障 为讨论共模失效的数学，我们参考最简单的容错形式： – 像是一个项的相似“副本”，在结果中加入一些“判决 ”(错 误检测和修正)Organised as similar replicas of an item, with some form of adjudication among their results (error detection and correction) – 正如上一张幻灯片的最后一个例子 常见的模式故障和差异性 • 当一个系统偏离了预定的行为时就称之为系统失效 • 如果一个防护模块连同它所防护的内容一起实效，那这个容错系统就失效了 – 例如，被防护和防护的模块产生了一致的，错误的输出 – 因此，这些常见的故障出现的可能性成为主要的评估标准 – 经常使用的术语： • 共模失效：冗余模块的一致性故障引起的系统失效 • CMF 并不总是共因失效common-cause failure (CCF) – 共因故障的潜在可能性使得设计者需要 • 把可能因为常见故障而影响所有模块的冗余模块分离出来 – 例如，对这些模块单独供电或冷却系统 • 防止它们之间故障的传播 – 通常把失效分为“随机的”和“系统的” • ―系统”失效(例如，设计失误造成的)在一致的复制模块中将趋于CMF • 但是“随机”失效可能只是常见失效。 • 对于设计上的失误，影响复制组件的常见