摘要
提出一种基于随机Petri网(Stochastic Petri Net,SPN)的支持异常处理的软件系统可用性建模与分析方法.在建立支持异常处理的元结构SPN模型和支持异常处理的典型结构SPN模型的基础上,给出了支持异常处理的软件系统可用度求解方法.最后,以某汽车厂零部件采购系统为例,在建立其SPN模型的基础上,分析了系统的可用度参数.可以为软件系统异常处理的分析与设计提供理论参考.
This paper presents a new availability analysis method of software system supporting exception handle（SSSEH） based on stochastic petri net（SPN）.Based on constructing the primary structure SPN model supporting exception handle and the typical structure SPN model supporting exception handle,it gives the availability solving method of SSSEH.Finally,the SPN model of one component purchasing system of automobile factory is constructed,and its availability analysis is given.The work of this paper can provide theoretical basis for analysis,design and evaluation of SSSEH.
出处
《微电子学与计算机》
CSCD
北大核心
2013年第8期49-52,共4页
Microelectronics & Computer
基金
贵州省科学技术基金(黔科合J字LKM[2011]18号
黔科合计Z字[2009]4002)
