会议专题

可生存性网络的形式化建模与分析方法

首次提出一种基于随机进程代数的网络可生存性形式化建模方法,该方法把形式化建模与性能分析相结合,从而可以在形式化建模同时分析得到系统的各种生存性能参数.在简单介绍随机进程代数的语法和操作语义的基础上,用进程表达式对生存性系统进行形式化描述;然后利用PEPA Workbench工具实现对可生存性网络稳态可用性和瞬时可用性测度的实验,仿真结果验证了该形式化建模与分析方法的有效性和可行性.

形式化方法 随机进程代数 可生存性网络 性能分析

赵国生 王慧强 李明军

哈尔滨工程大学,计算机学院,黑龙江,哈尔滨,150001 哈尔滨师范大学,网络中心,黑龙江,哈尔滨,150080

国内会议

中国教育和科研计算机网CERNET第十三届学术年会

昆明

中文

48-52

2006-11-19(万方平台首次上网日期,不代表论文的发表时间)