摘要： 为提高安全计算机系统的可靠性和安全性，对三取二表决模型进行分析。以逻辑门作为最小系统单元，通过不同的逻辑组合方式实现对原始表决模型的简化，根据马尔科夫理论分析表决模型，比较Special-1模型、Special-2模型与Classic模型的可靠性与安全性。对比结果表明，设计的Special-1模型平均无故障时间比Classic模型高出11%，安全度为0.333。
关键词:
冗余系统,
安全计算机,
可靠性,
安全性,
平均无故障时间
Abstract: In order to improve the reliability and safety of 2-out-of-3 safety computer system, this paper analyzes the different 2-out-of-3 voting models. They use the logic gates as minimal system unit and simplify the original voting model by different logical combinations. By analyzing these models according to Markov modeling method, it calculates the reliability and safety of Special-1 model, Special-2 model, and compares the results with Classic model. Comparison results show that the Mean Time to Failure(MTTF) of designed Special-1 model is higher about 10% than Classic model, and reliability is 0.333.
Key words:
redundant system,
safety computer,
reliability,
safety,
Mean Time to Failure(MTTF)
中图分类号:
杨毅, 黄海, 陈祥献. 三取二表决模型的可靠性与安全性分析[J]. 计算机工程, 2012, 38(14): 280-282.
YANG Yi, HUANG Hai, CHEN Xiang-Xian. Reliability and Safety Analysis of 2-out-of-3 Voting Models[J]. Computer Engineering, 2012, 38(14): 280-282.