可生存性网络的形式化建模与分析方法
首次提出一种基于随机进程代数的网络可生存性形式化建模方法,该方法把形式化建模与性能分析相结合,从而可以在形式化建模同时分析得到系统的各种生存性能参数.在简单介绍随机进程代数的语法和操作语义的基础上,用进程表达式对生存性系统进行形式化描述;然后利用PEPA Workbench工具实现对可生存性网络稳态可用性和瞬时可用性测度的实验,仿真结果验证了该形式化建模与分析方法的有效性和可行性.
形式化方法 随机进程代数 可生存性网络 性能分析
赵国生 王慧强 李明军
哈尔滨工程大学,计算机学院,黑龙江,哈尔滨,150001 哈尔滨师范大学,网络中心,黑龙江,哈尔滨,150080
国内会议
昆明
中文
48-52
2006-11-19(万方平台首次上网日期,不代表论文的发表时间)