Title :
A software safety evaluation method based on fuzzy colored Petri nets
Author :
Son, Hanseong ; Seong, Poonghyun
Author_Institution :
Dept. of Nucl. Eng., Korea Adv. Inst. of Sci. & Technol., Seoul, South Korea
Abstract :
The objective of the paper is to present a safety evaluation method. Fuzzy colored Petri nets (FCPN), which are a fuzzy Petri net model based on colored Petri nets, are introduced as the basis of the evaluation. FCPN prove to be useful to evaluate software safety through the safety evaluation method proposed in this work.
Keywords :
Petri nets; fuzzy set theory; graph colouring; safety-critical software; fuzzy colored Petri nets; software safety evaluation method; uncertainty; variable binding; Application software; Computer architecture; Fuzzy set theory; Fuzzy sets; Fuzzy systems; Labeling; Petri nets; Software measurement; Software safety; Software systems;
Conference_Titel :
Fuzzy Systems Conference Proceedings, 1999. FUZZ-IEEE '99. 1999 IEEE International
Conference_Location :
Seoul, South Korea
Print_ISBN :
0-7803-5406-0
DOI :
10.1109/FUZZY.1999.793056
