作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

计算机工程 ›› 2012, Vol. 38 ›› Issue (14): 280-282. doi: 10.3969/j.issn.1000-3428.2012.14.083

• 开发研究与设计技术 • 上一篇    下一篇

三取二表决模型的可靠性与安全性分析

杨 毅,黄 海,陈祥献   

  1. (浙江大学仪器科学与工程学系,杭州 310027)
  • 收稿日期:2011-10-12 出版日期:2012-07-20 发布日期:2012-07-20
  • 作者简介:杨 毅(1987-),男,硕士研究生,主研方向:信息安全,轨道交通信号系统;黄 海,教授、博士生导师;陈祥献,副教授

Reliability and Safety Analysis of 2-out-of-3 Voting Models

YANG Yi, HUANG Hai, CHEN Xiang-xian   

  1. (Department of Instrumental Science and Engineering, Zhejiang University, Hangzhou 310027, China)
  • Received:2011-10-12 Online:2012-07-20 Published:2012-07-20

摘要: 为提高安全计算机系统的可靠性和安全性,对三取二表决模型进行分析。以逻辑门作为最小系统单元,通过不同的逻辑组合方式实现对原始表决模型的简化,根据马尔科夫理论分析表决模型,比较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)

中图分类号: