基于随机Petri网冗余备份系统可信赖性研究.docVIP

基于随机Petri网冗余备份系统可信赖性研究 　　摘 要: 可信赖性的度量能客观反映冗余备份系统的可信性,是评价冗余系统服务能力的主 要准则。随机Petri网(SPN)对系统的并发性、异步性和不确定性具有很强的动态分析能力, 特别适合系统建模和可信赖性分析。讨论了冗余备份系统的概念及其随机Petri网描述,采 用SPN对冗余备份系统进行建模和分析,在模型分析的基础上给出冗余备份系统的可靠性、 可用性、可生存性、平均故障间隔时间等各种可信赖性重要指标。实例研究表明备份部件所 处不同的状态会导致冗余备份系统具有不同的可用性。 　　关键词:可信赖性;随机Petri网;冗余备份系统 　　中图分类号:TP302.1 文献标识码:A 文章编号:1672-1098(2009)03-0048-06 　　 　　随着网络服务种类的增加、规模的扩大,人们对分布式系统在可信赖性、可扩展性及性 价比等方面提出了更高的要求。冗余备份系统就是为了消除网络中因服务器失效产生单点故 障而设计的,通过结点之间运行时相互监控与故障接管机制为用户提供可信赖性的服务。 　　系统能够提供可信赖服务的能力就是可信赖性。可信赖性是度量各种系统服务质量的重 要指标,可信赖性问题极大的影响着系统的性能。可信赖性是指系统在受到外部攻击或由于 人为误操作、环境影响以及硬件故障和软件bug使得失效出现时连续提供服务并在规定时