基于GSPN的计算机硬件系统可靠性分析
Reliability Analysis of Computer Hardware System Based on Generalized Stochastic Petri Net
-
摘要: 以广义随机Petri网(Generalized Stochastic Petri Net,GSPN)为数学工具,提出一种基于GSPN的计算机硬件系统可靠性建模与分析方法.在给出GSPN形式化定义和模型要素图形化表示和用法的基础上,建立了计算机硬件系统基本单元GSPN模型,该模型适用于描述结构简单的计算机硬件系统,而对于逻辑结构关系复杂的计算机硬件系统,由于其建模粒度过于精细势必造成组合爆炸问题.为此,对该计算机硬件系统基本单元GSPN模型进行精化设计,得到的精化模型可以用于描述结构复杂的计算机硬件系统.实例研究验证了所提方法的有效性,可以为计算机硬件系统可靠性设计提供理论指导.Abstract: This paper presents a new reliability modeling and analysis method of computer hardware system(CHS) based on generalized stochastic Petri net(GSPN).The formal definition,graphical representation and usage of GSPN are given.The GSPN model of computer hardware system basic unit(CHSBU) which can describe simple structure CHS is established.Aiming at the combination explosion problem in the complicated structure CHS application,the GSPN refined model of CHSBU which can describe complicated structure CHS is established by using model refinement technology.The proposed method are validated by the case study.This work can give theoretical direction for reliability design of CHS.
下载:
