Reliability Prediction for Network Systems Using Stochastic Process Algebra

您当前的位置：

首页 >

文章列表页 >

Reliability Prediction for Network Systems Using Stochastic Process Algebra

更新时间：2025-07-09

- Reliability Prediction for Network Systems Using Stochastic Process Algebra
- Vol. 45, Issue 6, Pages: 40-45(2011)
- 作者机构：
  
  海军工程大学信息安全系,武汉,430033
- 作者简介：
- 基金信息：
- DOI：
  CLC： TP302.7
- Online First：10 June 2011，
  
  Published：2011
- 稿件说明：
移动端阅览
Reliability Prediction for Network Systems Using Stochastic Process Algebra[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.

Views

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Parameter Optimization Design for Wireless Power Transmission Systems Using Improved Genetic Algorithm

Influence of Structural Parameters on the Summer Operational Characteristics of a Three-Tower-in-One Indirect Air-Cooling System

I/O Performance Modeling and Prediction Method for Large-Scale Parallel Applications Using Machine Learning

Knowledge Graph Representation Learning Driven by Semantic Discrimination and Subgraph Integration

Numerical Simulation of Heat-Moisture Barrier Performance of a Horizontal Air Curtain in Cold Storage

Related Author

YANG Yang

ZHANG Zhi

WU Xueyu

CAO Jiayi

ZHENG Xuan

Related Institution

School of Energy and Electrical Engineering, Chang'an University

School of Future Transportation, Chang'an University

⁰