Title: A state space distribution approach based on system behaviour

Authors: Imene Bensetira; Djamel Eddine Saidouni; Mahfud Al-la Alamin

Addresses: MISC Laboratory, Constantine 2 University – Abdelhamid Mehri, Constantine 25000, Algeria ' MISC Laboratory, Constantine 2 University – Abdelhamid Mehri, Constantine 25000, Algeria ' MISC Laboratory, Constantine 2 University – Abdelhamid Mehri, Constantine 25000, Algeria

Abstract: In this paper, we propose a novel approach to deal with the state space explosion problem occurring in model checking. We propose an offline algorithm for distributed state space construction. That is carried out by reviewing the behaviour of the constructed system and redistributing the state space according to the accumulated information about the optimal considered behaviour. Therefore, the distribution will be guided by the system's behaviour. The proposed policy maintains the spatial-time balance. The simulation and implementation of our system are based on a multi-agent technique which fits very well the development of distributed systems. The experimental measures performed on a cluster of machines have shown very promising results for both workload balance and communication overhead.

Keywords: model checking; combinatorial state space explosion; distributed state space construction; graph distribution; system behaviour; distributed algorithms; reachability analysis.

DOI: 10.1504/IJCSE.2019.101350

International Journal of Computational Science and Engineering, 2019 Vol.19 No.3, pp.418 - 429

Received: 27 Sep 2016
Accepted: 21 Mar 2017

Published online: 26 Jul 2019 *

Full-text access for editors Access for subscribers Purchase this article Comment on this article