摘要
事务处理型计算机可采用冗余等容错计算技术以延长无故障运行时间和增加可用性。为了评测事务处理型容错计算机的可用性,该文将其抽象为由独立同分布部件组成的多态k-out-of-n:G系统。针对这一类事务处理型容错计算机建立系统模型,考虑系统在不同工作状态等级下的维修率存在差异,利用状态转移方程推导得到系统可用度的表达式。进一步提出基于故障注入的平均修复时间(MTTR)测试方法,通过实地测量来获取不同工作状态等级下的系统维修率,并设计了故障集以及测试方法。
事务处理型计算机可采用冗余等容错计算技术以延长无故障运行时间和增加可用性。为了评测事务处理型容错计算机的可用性,该文将其抽象为由独立同分布部件组成的多态k-out-of-n:G系统。针对这一类事务处理型容错计算机建立系统模型,考虑系统在不同工作状态等级下的维修率存在差异,利用状态转移方程推导得到系统可用度的表达式。进一步提出基于故障注入的平均修复时间(MTTR)测试方法,通过实地测量来获取不同工作状态等级下的系统维修率,并设计了故障集以及测试方法。
出处
《清华大学学报(自然科学版)》
EI
CAS
CSCD
北大核心
2011年第S1期1515-1518,共4页
Journal of Tsinghua University(Science and Technology)
基金
国家"八六三"高技术项目(2008AA01A204
2009AA01A404
2006AA01A103)
国家自然科学基金资助项目(61003047)
科技部国际科技合作计划(2010DFA14400)
国家科技支撑计划项目(2011BAH04B03)