A Novel Formal Analysis Method of Network Survivability Based on Stochastic Process Algebra
Stochastic process algebras have been proposed as compositional specification formalisms for performance models. A formal analysis method of survivable network was proposed based on stochastic process algebra, which incorporates formal modeling into performance analysis perfectly, and then various performance parameters of survivable network can be simultaneously obtained after formal modeling. The formal description with process expression to the survivable network system was carried out based on the simply introduced syntax and operational semantics of stochastic process algebra. Then PEPA workbench tool was used to obtain the probability of system”s steady state availability and transient state availability. Simulation experiments show the effectiveness and feasibility of the developed method.
formal analysis stochastic process algebra network survivability performance analysis
ZHAO Guosheng WANG Huiqiang WANG Jian
Center of Computer Network and Information,Harbin Normal University,Harbin 150001,China;Institute of Institute of Computer Science and Technology,Harbin Engineer University,Harbin 150001,China
国内会议
北京
英文
175-179
2007-07-15（万方平台首次上网日期，不代表论文的发表时间）