DocumentCode
285340
Title
Diagnosis of computer systems by stochastic Petri nets
Author
Moriguchi, Satoshi
Author_Institution
IBM Japan, Kanagawa, Japan
Volume
1
fYear
1992
fDate
10-13 May 1992
Firstpage
407
Abstract
A fault-tolerant computer system is represented as a stochastic Petri net, and discrete-event simulation methods are introduced to study its behavior. The power of stochastic petri nets with general firing times for formal representation and quantitative diagnosis, from the customer point of view, is exhibited. The results show that simulation methods for stochastic Petri nets can be used advantageously to diagnose quantitatively whether or not a fault-tolerant computer system meets the requirements of the environment
Keywords
Petri nets; discrete event simulation; fault tolerant computing; discrete-event simulation methods; fault-tolerant computer system; firing times; formal representation; quantitative diagnosis; stochastic Petri nets; Application software; Availability; Computer aided manufacturing; Discrete event simulation; Error correction; Fault tolerant systems; Hardware; Manufacturing industries; Petri nets; Stochastic systems;
fLanguage
English
Publisher
ieee
Conference_Titel
Circuits and Systems, 1992. ISCAS '92. Proceedings., 1992 IEEE International Symposium on
Conference_Location
San Diego, CA
Print_ISBN
0-7803-0593-0
Type
conf
DOI
10.1109/ISCAS.1992.229927
Filename
229927
Link To Document