应用随机Petri网分析分布式信息系统可生存性

摘要：

现代社会高度依赖于各种分布式信息系统。因此,当出现攻击、网络失效和自然灾害等意外事件时,重要服务必须保证可用。针对分布式信息系统提出一种基于随机Petri网的可生存性模型分析方法,评价其关键服务失效情况下的系统可生存性。为避免随机Petri 网求解大规模系统面临的状态爆炸问题,首先对模型进行化简,然后建立结合性能和可用性的双层模型,分析不同失效和修复速率对性能、可维护性、可靠性和可用性的影响。结合一个典型的分布式信息系统实例—中国网上招生录取系统,给出了详细的建模和求解过程,最后通过Matlab仿真,直观地比较出可生存性中的测量指标随着失效和修复参数的变化情况。

关键词： 分布式信息 Petri网 网上招生 系统可生存性

作者: 孙显军 朱亮 高志民 林闯 刘卫东

作者单位: 清华大学计算机系,北京 100084 中国人民解放军61741部队,北京 100081 中国铝业股份有限公司信息部,北京 100082 北京交通大学,北京 100044 清华大学计算机系,北京 100084

会议类型: 国内会议

会议名称: 第十二届全国petri网理论与应用学术年会

会议地点: 天津

会议语种:中文

页码: 181-186,193

在线出版日期: 2009-08-22（万方平台首次上网日期，不代表论文的发表时间）