A reliability analysis of distributed programs with colored Petri nets

Author

Hong, S.B. ; Kim, Kapsu

Author_Institution

ISDN Call Process. Sect., ETRI, Taejon, South Korea

Volume

4

fYear

1997

fDate

12-15 Oct 1997

Firstpage

3975

Abstract

The paper focuses on a modeling approach based on colored Petri nets to estimate the reliability of programs in a distributed computing system environment. The procedure of analyzing the system reliability is as follows. First a distributed program model is described. Second, a resource allocation table and PES must be constructed. Third, a colored Petri net is constructed. Lastly, we estimate the system reliability. This method is very simple, and is very useful for developing distributed programs

Keywords

Petri nets; graph colouring; parallel programming; resource allocation; software reliability; PES; colored Petri nets; distributed computing system environment; distributed program development; distributed program model; modeling approach; program reliability; reliability analysis; resource allocation table; system reliability; Analytical models; Computational modeling; Computer network reliability; Computer networks; Distributed computing; Hardware; ISDN; Petri nets; Resource management; System software;

fLanguage

English

Publisher

ieee

Conference_Titel

Systems, Man, and Cybernetics, 1997. Computational Cybernetics and Simulation., 1997 IEEE International Conference on

Conference_Location

Orlando, FL

ISSN

1062-922X

Print_ISBN

0-7803-4053-1

Type

conf

DOI

10.1109/ICSMC.1997.633293

Filename

633293