Counterexample generation in CPS model checking based on ARSG algorithm Online publication date: Tue, 15-Jun-2021
by Mingguang Hu; Zining Cao; Fujun Wang; Weiwei Lu
International Journal of Computational Science and Engineering (IJCSE), Vol. 24, No. 3, 2021
Abstract: With the rapid development of software and physical devices, cyber-physical systems (CPS) are widely adopted in many application areas. Due to the increasing complexities of these systems, it is difficult to detect defects in CPS models. Counterexample generation in CPS model checking is a good choice as it is able to find defects in CPS models efficiently and can provide meaningful diagnostic feedback to facilitate debugging. In many studies, robustness-guided counterexample generation of CPS is investigated by various optimisation methods, which falsify the given properties of a CPS. In this paper, we combine genetic algorithm (GA) with acceptance-rejection technique based on the neighbourhood of the input sequence space, and propose a novel algorithm which is called ARSG algorithm. The idea of this algorithm is similar to 'exploration-exploitation' in reinforcement learning. Finally, the new algorithm is compared with the cross-entropy algorithm and the genetic algorithm under different parameters, and the performance of the new algorithm is better than the other two algorithms.
Existing subscribers:
Go to Inderscience Online Journals to access the Full Text of this article.
If you are not a subscriber and you just want to read the full contents of this article, buy online access here.Complimentary Subscribers, Editors or Members of the Editorial Board of the International Journal of Computational Science and Engineering (IJCSE):
Login with your Inderscience username and password:
Want to subscribe?
A subscription gives you complete access to all articles in the current issue, as well as to all articles in the previous three years (where applicable). See our Orders page to subscribe.
If you still need assistance, please email subs@inderscience.com