A software safety evaluation method based on fuzzy colored Petri nets

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...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Hanseong Son, Poonghyun Seong
Format: Tagungsbericht
Sprache:eng
Schlagworte:
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
ISSN:1098-7584
DOI:10.1109/FUZZY.1999.793056