Article
Journal/Revue :
International Journal of Computational Science and Engineering (IJCSE)
ISSN : 1742-7193
Publisher :
Informations
Période : July 2019
Volume : 19 Numéro : 3
Pages : 418-429
Détails
A state space distribution approach based on system behaviour
Imene Bensetira Djamel Eddine Saidouni Mahfud Al-la Alamin
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.
Mots clés :
Model checking Combinatorial state space explosion Distributed state space construction Graph distribution System behaviour Distributed algorithms Reachability analysis
Réf. de citation :
misc-lab-262
DOI :
10.1504/IJCSE.2019.101350
Lien :
Texte intégral
ACM :
I. Bensetira, D. E. Saidouni and M. A.-L. Alamin. 2019. A state space distribution approach based on system behaviour. International Journal of Computational Science and Engineering (IJCSE), 19, 3 (July 2019), Inderscience, 418-429. DOI: https://doi.org/10.1504/IJCSE.2019.101350.
APA :
Bensetira, I., Saidouni, D. E. & Alamin, M. A.-L. (2019, July). A state space distribution approach based on system behaviour. International Journal of Computational Science and Engineering (IJCSE), 19(3), Inderscience, 418-429. DOI: https://doi.org/10.1504/IJCSE.2019.101350
IEEE :
I. Bensetira, D. E. Saidouni and M. A.-L. Alamin, "A state space distribution approach based on system behaviour". International Journal of Computational Science and Engineering (IJCSE), vol. 19, no. 3, Inderscience, pp. 418-429, July, 2019. DOI: https://doi.org/10.1504/IJCSE.2019.101350.
BibTeX :
@article{misc-lab-262,
author = {Bensetira, Imene and Saidouni, Djamel Eddine and Alamin, Mahfud Al-la},
title = {A state space distribution approach based on system behaviour},
journal = {International Journal of Computational Science and Engineering (IJCSE)},
volume = {19},
number = {3},
issn = {1742-7193},
pages = {418--429},
publisher = {Inderscience},
year = {2019},
month = {July},
doi = {10.1504/IJCSE.2019.101350},
url = {https://doi.org/10.1504/IJCSE.2019.101350},
keywords = {model checking, combinatorial state space explosion, distributed state space construction, graph distribution, system behaviour, distributed algorithms, reachability analysis}
}
RIS :
TI  - A state space distribution approach based on system behaviour
AU - I. Bensetira
AU - D. E. Saidouni
AU - M. A.-L. Alamin
PY - 2019
SN - 1742-7193
JO - International Journal of Computational Science and Engineering (IJCSE)
VL - 19
IS - 3
SP - 418
EP - 429
PB - Inderscience
AB - 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.
KW - model checking
KW - combinatorial state space explosion
KW - distributed state space construction
KW - graph distribution
KW - system behaviour
KW - distributed algorithms
KW - reachability analysis
DO - 10.1504/IJCSE.2019.101350
UR - https://doi.org/10.1504/IJCSE.2019.101350
ID - misc-lab-262
ER -