DocumentCode
344609
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
Volume
2
fYear
1999
fDate
22-25 Aug. 1999
Firstpage
830
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Fuzzy Systems Conference Proceedings, 1999. FUZZ-IEEE '99. 1999 IEEE International
Conference_Location
Seoul, South Korea
ISSN
1098-7584
Print_ISBN
0-7803-5406-0
Type
conf
DOI
10.1109/FUZZY.1999.793056
Filename
793056
Link To Document