Reliability Analysis of Computer Hardware System Based on Generalized Stochastic Petri Net

GU Chun-ying; YAO Qing-shan

Chinese

您当前的位置：

首页 >

文章列表页 >

Reliability Analysis of Computer Hardware System Based on Generalized Stochastic Petri Net

更新时间：2026-09-04

- Reliability Analysis of Computer Hardware System Based on Generalized Stochastic Petri Net
- Vol. 30, Issue 6, Pages: 122-125(2013)
- 作者机构：
  
  河南工程学院机构计算机学院,河南,郑州,451191
- 作者简介：
- 基金信息：
- DOI：
  CLC：
- Published：2013
- 稿件说明：
移动端阅览
谷春英, 姚青山. 基于GSPN的计算机硬件系统可靠性分析[J]. 微电子学与计算机, 2013, 30(6): 122-125,130.

GU Chun-ying, YAO Qing-shan. Reliability Analysis of Computer Hardware System Based on Generalized Stochastic Petri Net[J]. 2013, 30(6): 122-125.
谷春英, 姚青山. 基于GSPN的计算机硬件系统可靠性分析[J]. 微电子学与计算机, 2013, 30(6): 122-125,130. DOI：

GU Chun-ying, YAO Qing-shan. Reliability Analysis of Computer Hardware System Based on Generalized Stochastic Petri Net[J]. 2013, 30(6): 122-125. DOI：

摘要

以广义随机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.

关键词

Keywords

references

Views

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Study on hot carrier lifetime of a 40 V NLDMOS device

Reliability-based sensor selection algorithm for cooperative spectrum sensing

Research on the Alegbra Model and the Method of Simplified Calculating of Internetware Reliability

An Event-driven QoS Routing Protocol for Heterogeneous Sensor Work

Architecture of Cluster Monitoring System with Self-Healing Ability

Related Author

SHAO Yali

ZHONG Mingchen

LIU Fang

YU Shan

SHAN Shushan

LU Xiangbin

TAO Yang

HOU Yao

Related Institution

State Grid Key Laboratory of Power Industrial Chip Design and Analysis Technology,Beijing Smart-Chip Microeletronics Technology Co., Ltd.

Beijing Engineering Research Center of High-reliability IC with Power Industrial Grade, Beijing Smart-Chip Microeletronics Technology Co., Ltd.

School of Communication and Information Engineering, Chongqing University of Posts and Telecommunications

l School of Computer Science and Engineering, Univ. of Electron, Sci. & Tech of China

2 Campus Computer Network Center, Panzhihua University

AI问答

Postal code：100079
Tel：（010）53879206 Email：tmw@bjxintong.com.cn
Technical support is provided by Beijing Founder electronics co., LTD 京ICP备09082226号-64 京公网安备11010602201714号
It is recommended to read the content of this site in Chrome&IE9+. Please switch to extreme mode in browser 360.
Cookies We use cookies to help provide and enhance our service and tailor content. By continuing, you agree to the use of cookies.

⁰