Title :
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
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;
Conference_Titel :
Systems, Man, and Cybernetics, 1997. Computational Cybernetics and Simulation., 1997 IEEE International Conference on
Conference_Location :
Orlando, FL
Print_ISBN :
0-7803-4053-1
DOI :
10.1109/ICSMC.1997.633293
