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

Formal modeling and analysis method of network survivability

作　　者：赵国生 王慧强 李明军 

机构地区：[1]哈尔滨工程大学,计算机学院,黑龙江,哈尔滨,150001 哈尔滨工程大学,计算机学院,黑龙江,哈尔滨,150001 哈尔滨师范大学,网络中心,黑龙江,哈尔滨,150080

出　　处：《通信学报》2006年第z1期48-52,共5页Journal on Communications

基　　金：武备预研基金资助项目(51416060104CB0101);高校博士点科研基金资助项目(20050217007)

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

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

分 类 号：TP302[自动化与计算机技术—计算机系统结构]