基于随机Petri网的网络可信赖性分析方法研究  

Research on Network Dependability Analysis Methods Based on Stochastic Petri Net

作　　者：林闯[1] 王元卓[2] 杨扬[2] 曲扬[1] 

机构地区：[1]清华大学计算机科学与技术系,北京100084 [2]北京科技大学信息工程学院,北京100083

出　　处：《电子学报》2006年第2期322-332,共11页Acta Electronica Sinica

基　　金：国家自然科学基金(No.90412012);国家"九七三"重点基础研究发展规划项目基金(No.2003CB314804);国家自然科学基金委员会与香港研究资助局合作基金(No.60218003);高等学校博士学科点专项科研基金(No.20020003027);国家自然科学基金(No.60503052)

摘　　要：随着人们对计算机网络系统的依赖性的不断增强,网络系统的可信赖性研究变得越来越重要.本文首先对可信赖性的概念及其主要性能指标进行论述,并对系统可信赖性各种模型方法及求解特点作了分类比较.在此基础上研究了随机Petri网(SPN)对网络系统可信赖性建模分析的方法和步骤,着重研究了随机Petri网描述系统的服务失效模型和容错模型,并给出了网络系统可信赖性分析中主要指标的计算方法.最后对于应用随机Petri方法分析网络系统可信赖性时存在的问题以及研究现状作了分析和总结,并对今后研究的方向进行了展望.With people rely more on computer networks, the study on the dependability of networks is increasingly significant. First the paper provides insight about the main definitions and attributes related to dependability, and classifies and compares the general models for dependability. On the basis of the synthesis ,the modeling and analysis methods using Stochastic Petri Net （SPN） for the network system dependability are mainly investigated. The service failure and fault tolerance SPN models and the calculating methods of main dependability attributes are examined, The existing problems and applications of SPN are concluded that concern the dependability of networks. And directions for future research are also indicated.

关 键 词：可信赖性 容错 随机PETRI网 马尔可夫过程 非马尔可夫过程 

分 类 号：TP391.7[自动化与计算机技术—计算机应用技术]