利用广义随机Petri网分析软件系统可靠性

作者：雷军环

来源：计算机测量与控制, 2013, (02): 433-435+444.

DOI：10.16526/j.cnki.11-4762/tp.2013.02.060

• 软件系统
• 广义随机Petri网
• 可靠性
• 建模
• 可用度 software system
• generalized stochastic petri net
• reliability
• modeling
• availability

提出一种基于广义随机Petri网(generalized stochastic petri net,GSPN)的软件系统可靠性建模与分析方法;在给出GSPN的形式化定义的基础上,建立了软件系统基本单元的GSPN可靠性分析模型和典型逻辑结构的GSPN可靠性分析模型,有效地模拟了软件系统的动态行为特性;最后以某工程项目软件系统为例,得到了系统可用度指标的变化曲线,验证了所提方法的有效性。