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

• 作者: 李明军 王慧强 赵国生
• 来源期刊: 通信学报
• 学科: 工学
• 关键词: 形式化方法 随机进程代数 可生存性网络 性能分析
• 年，卷（期）: 2006,（z1）
• 所属期刊栏目: 可信互联网络
• 页码范围: 48-52
• 页数: 5页
• 分类号: TP3
• 字数: 3033字
• 语种: 中文
• DOI: 10.3321/j.issn:1000-436X.2006.z1.012

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王慧强	哈尔滨工程大学计算机学院	159	1573	20.0	32.0
2	赵国生	哈尔滨工程大学计算机学院	14	165	7.0	12.0
3	李明军	哈尔滨师范大学网络中心	4	10	2.0	3.0