应用随机进程代数的网络系统可靠性预计方法

严博; 吴晓平; 付钰

您当前的位置：

首页 >

文章列表页 >

应用随机进程代数的网络系统可靠性预计方法

更新时间：2025-07-09

- 应用随机进程代数的网络系统可靠性预计方法
- Reliability Prediction for Network Systems Using Stochastic Process Algebra
- 西安交通大学学报 2011年45卷第6期页码：40-45
- 作者机构：
  
  海军工程大学信息安全系,武汉,430033
- 作者简介：
- 基金信息：
  
  : 2010-12-01. 作者简介: 严博(1984-),男,博士生;吴晓平(联系人),男,教授,博士生导师. 基金项目: 国家自然科学基金资助项目(60774029)
- DOI：
  中图分类号： TP302.7
- 网络首发：2011-06-10，
  
  纸质出版：2011
- 稿件说明：
移动端阅览
严博, 吴晓平, 付钰. 应用随机进程代数的网络系统可靠性预计方法[J]. 西安交通大学学报, 2011,45(6):40-45.

Reliability Prediction for Network Systems Using Stochastic Process Algebra[J]. 2011, 45(6): 40-45.
严博, 吴晓平, 付钰. 应用随机进程代数的网络系统可靠性预计方法[J]. 西安交通大学学报, 2011,45(6):40-45. DOI：

Reliability Prediction for Network Systems Using Stochastic Process Algebra[J]. 2011, 45(6): 40-45. DOI：

摘要

针对复杂结构网络系统可靠性预计建模与分析的难题

提出了一种应用随机进程代数的网络系统可靠性预计方法.通过分析3种基本网络拓扑结构

研究了网络系统随机进程代数模型的建立方法

根据随机进程代数操作语义

推导出一个带时间延迟的可靠性标记变迁系统

依据其隐含的马尔可夫转移关系和系统的当前状态

计算得到系统在一段时间内的可靠性预计值.仿真实验表明

该方法能精确刻画网络系统随机行为以及组件之间的相互关系

可有效预测不同状态下系统的可靠性水平.

Abstract

A reliability prediction method is proposed based on stochastic process algebra(SPA)to deal with the difficulties in the reliability modeling and analysis of network systems with complex structure. SPA modeling of network systems is proposed through analyzing characters of three basic network topologies. Then a labeled transition system(LTS)with time delay marks for the model is generated utilizing the SPA's operational semantics. The prediction value of the system's reliability can be solved out from the LTC's Markovian transition relation and the system's current state. Simulation results show that the proposed method can precisely describe system's stochastic behaviors and interactions among components

and predict the reliability level under different status effectively.

关键词

Keywords

references

林闯,汪洋,李泉林. 网络安全的随机模型方法与评价技术[J]. 计算机学报,2005,28(12):1943-1956.

LIN Chuang,WANG Yang,LI Quanlin. Stochastic modeling and evaluation for network security[J]. Chinese Journal of Computers, 2005, 28(12):1943-1956.

刘玲艳,吴晓平,田树新.基于粗糙集和Petri网的随机流网络可靠性评价方法[J].控制与决策,2010,25(8):1273-1276.

LIU Lingyan, WU Xiaoping, TIAN Shuxin. Assessment method of system reliability for stochastic flow network based on rough sets theory and Petri nets [J]. Control and Decision, 2010, 25(8):1273-1276.

林闯,魏丫丫.随机进程代数与随机Petri网[J].软件学报,2002,13(2):203-213.

LIN Chuang, WEI Yaya. Stochastic process algebras and stochastic Petri nets [J]. Journal of Software, 2002, 13(2):203-213.

HILLSTON J. A compositional approach to performance modeling [D]. South Bridge, Edinburgh, UK: University of Edinburgh. College of Science and Engineering, 1994.

GALPIN V. Continuous approximation of PEPA models and Petri nets [J]. International Journal of Computer Aided Engineering and Technology, 2010, 2(4): 324-339.

王慧强,吕宏武,赵潜,等.一种关键任务系统自律可信性模型与量化分析[J].软件学报,2010,21(2):344-358.

WANG Huiqiang, LÜ Hongwu, ZHAO Qian, et al. Model and quantification of autonomic dependability of mission-critical systems[J]. Journal of Software, 2010, 21(2):344-358.

HILLSTON J. Tuning system: from composition to performance [J].The Computer Journal,2005,48(4):385-400.

徐明迪,张焕国,严飞.基于标记变迁系统的可信计算平台信任链测试[J].计算机学报,2009,32(4):635-645.

XU Mingdi, ZHANG Huanguo, YAN Fei. Testing on trust chain of trusted computing platform based on labeled transition system [J]. Chinese Journal of Computers, 2009, 32(4):635-645.

BRADLEY J,DINGLE N,GILMORE S,et al.Derivation of passage-time densities in PEPA models using IPC: the imperial PEPA compiler [C]∥Proceedings of the 11th IEEE International Symposium on Modeling Analysis and Simulation of Computer and Telecommunications Systems. Piscataway, NJ, USA: IEEE, 2003:344-351.

TRIBASTONE M, DUGUID A, GILMORS S.The PEPA eclipse plug-in project [J]. Performance Evaluation Review, 2009,36(4):28-33.

覃广平.交互式马尔可夫链:理论与应用[D].成都:中国科学院成都计算机应用研究所,2006.

增强Ad Hoc网络稳定性的移动问题解决策略. 西安交通大学学报,2011, 45(40):6-11.

应用部分马尔科夫博弈的网络安全主动响应决策模型. 西安交通大学学报,2011, 45(4):18-24.

可演化网络中移动代理的性能分析及优化方法. 西安交通大学学报,2010, 44(12):5-9.

移动Ad Hoc网络中提高路由稳定性的动态备份多径路由. 西安交通大学学报,2010, 44(12):16-21.

浏览量

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

采用改进遗传算法的无线电能传输系统参数优化设计

EBSILON软件在热电联产系统优化中的应用综述

混合电解槽阵列协同的风光耦合制氢系统双层多目标优化

不同板叠材料热声热机能量转换过程数值模拟研究

结构-语义-残差协同的图像压缩框架：面向隐私保护与高保真重建