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

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