Distributed algorithm to fight the state explosion problem - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue INDERSCIENCE International Journal of Internet Technology and Secured Transactions. Année : 2018

Distributed algorithm to fight the state explosion problem

(1) , (1) , (2) , (2)
1
2
Lamia Allal
  • Fonction : Auteur
Philippe Dhaussy
  • Fonction : Auteur
  • PersonId : 1010394
Ciprian Teodorov

Résumé

Model checking, introduced 20 years ago, combines several fully automatic techniques in which the property to be checked is tested exhaustively on all the possible executions of the system. It is an automated approach to verifying that a system meets its specifications. The main limit to the use of model checking is related to the state explosion problem, which occurs when the number of states increases exponentially according to the complexity of the system. In this article, we presented a distributed exploration algorithm executed on two different architectures to fight this problem. The first one is using two real machines interconnected across the network and the second using two virtual machines in a cloud computing. We carried out a comparative study between these two distributed approaches as well as a parallel algorithm. The aim of this paper is to give the advantages and drawbacks of each solution.
Fichier non déposé

Dates et versions

hal-01716143 , version 1 (23-02-2018)

Identifiants

Citer

Lamia Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian Teodorov. Distributed algorithm to fight the state explosion problem. INDERSCIENCE International Journal of Internet Technology and Secured Transactions., 2018, 8 (3), pp.398 - 411. ⟨10.1504/IJITST.2018.10014833⟩. ⟨hal-01716143⟩
306 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook Twitter LinkedIn More