Fuzzy Colored Petri Nets-Based Method to Analyze and Verify the Functionality of Software

Abstract

Some types of software systems, like event-based and non-deterministic ones, are usually specified as rules so that we can analyze the system behavior with drawing inferences from firing the rules. However, when the fuzzy rules are used for specification of non-deterministic behavior and they contain a large number of variables, they constitute a complex form that is difficult to understand and inference. A solution is to visualize the system specification with the capability of the automatic rule inference. In this paper, by representing a high-level system specification, we visualize rule representation and firing using \textit{fuzzy\; colored\; Petri-nets}. Already, several fuzzy Petri-nets based methods have been presented but they either don't support a large number of rules and variables or don't consider significant cases like (a) the weight of premise’s propositions in the occurrence of the rule conclusion, (b) the weight of conclusion’s proposition, (c) threshold values for premise and conclusion’s propositions of the rule, and (d) the certainty factor CF) for the rule or the conclusion’s proposition. By considering cases (a) to (d), a wider variety of fuzzy rules are supported. We applied our model to analysis of attacks against a part of a real secure water treatment system. In another real experiment, we applied the model to the two scenarios from our previous work and analyzed the results.