二乘二取二论文

论文摘要安全关键系统常用可靠性和安全性来衡量优劣,多模冗余是一种重要的提升此类性能的设计。本文通过使用PRISM工具,建立运算模块、表决模块和选择模块失效率和诊断覆盖率的5种组...