Salimi, N.; Rafe, V.; Tabrizchi, H.; Mosavi, A. Fuzzy particle swarm optimization algorithm (NFPSO) for reachability analysis of complex software systems. Preprints2020, 2020100288. https://doi.org/10.20944/preprints202010.0288.v1
APA Style
Salimi, N., Rafe, V., Tabrizchi, H., & Mosavi, A. (2020). Fuzzy particle swarm optimization algorithm (NFPSO) for reachability analysis of complex software systems. Preprints. https://doi.org/10.20944/preprints202010.0288.v1
Chicago/Turabian Style
Salimi, N., Hamed Tabrizchi and Amir Mosavi. 2020 "Fuzzy particle swarm optimization algorithm (NFPSO) for reachability analysis of complex software systems" Preprints. https://doi.org/10.20944/preprints202010.0288.v1
Abstract
Nowadays, model checking is applied as an accurate technique to verify software systems. The main problem of model checking techniques is the state space explosion. This problem occurs due to the exponential memory usage by the model checker. In this situation, using meta-heuristic and evolutionary algorithms to search for a state in which a property is satisfied/violated is a promising solution. Recently, different evolutionary algorithms like GA, PSO, etc. are applied to find deadlock state. Even though useful, most of them are concentrated on finding deadlock. This paper proposes a fuzzy algorithm in order to analyze reachability properties in systems specified through GTS with enormous state space. To do so, we first extend the existing PSO algorithm (for checking deadlocks) to analyze reachability properties. Then, to increase the accuracy, we employ a Fuzzy adaptive PSO algorithm to determine which state and path should be explored in each step to find the corresponding reachable state. These two approaches are implemented in an open-source toolset for designing and model checking GTS called GROOVE. Moreover, the experimental results indicate that the hybrid fuzzy approach improves speed and accuracy in comparison with other techniques based on meta-heuristic algorithms such as GA and the hybrid of PSO-GSA in analyzing reachability properties.
Keywords
Fuzzy Adaptive Particle Swarm Optimization; Graph Transformation System; Model Checking; Reachability Property; State Space Explosion
Subject
Computer Science and Mathematics, Algebra and Number Theory
Copyright:
This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
