Towards Distributed Solution to the State Explosion Problem

被引：2

作者：

Allal, Lamia ^{[1
]}

Belalem, Ghalem ^{[1
]}

Dhaussy, Philippe ^{[2
]}

机构：

[1] Univ Oran 1 Ahmed Ben Bella, Fac Exact & Appl Sci, Dept Comp Sci, Oran, Algeria

[2] ENSTA Bretagne, CNRS, UMR 6285, Lab STICC, Brest, France

来源：

INFORMATION SYSTEMS DESIGN AND INTELLIGENT APPLICATIONS, VOL 1, INDIA 2016 | 2016年 / 433卷

关键词：

Model checking; State explosion problem; Formal methods; State compression;

D O I：

10.1007/978-81-322-2755-7_56

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

In the life cycle of any software system, a crucial phase formalization and validation through verification or testing induces an identification of errors infiltrated during its design. This is achieved through verification by model checking. A model checking algorithm is based on two steps: the construction of state space of the system specification and the verification of this state space. However, these steps are limited by the state explosion problem, which occurs when models are large. In this paper, we propose a solution to this problem to improve performance in execution time and memory space by performing the exploration of state space in a distributed architecture consisting of several machines.

引用

页码：541 / 550

页数：10

共 50 条

[41] ON THE STATE ESTIMATION PROBLEM FOR DISTRIBUTED SYSTEMS
KURZHANSKI, AB
HAPALOV, AY
LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES, 1986, 83 : 102 - 113
[42] Solution of Hilbert's problem for an annulus in a specific case and its application to an explosion problem
Salimov, RB
Tukhtamyshov, NK
MATHEMATICAL NOTES, 1999, 66 (1-2) : 105 - 112
[43] Solution of Hilbert’s problem for an annulus in a specific case and its application to an explosion problem
R. B. Salimov
N. K. Tukhtamyshov
Mathematical Notes, 1999, 66 : 105 - 112
[44] To What Problem Is Distributed Information Retrieval the Solution?
Thomas, Paul
JOURNAL OF THE AMERICAN SOCIETY FOR INFORMATION SCIENCE AND TECHNOLOGY, 2012, 63 (07): : 1471 - 1476
[45] A Biological Solution to a Fundamental Distributed Computing Problem
Afek, Yehuda
Alon, Noga
Barad, Omer
Hornstein, Eran
Barkai, Naama
Bar-Joseph, Ziv
SCIENCE, 2011, 331 (6014) : 183 - 185
[46] Distributed Solution of the Blendshape Rig Inversion Problem
Rackovic, Stevo
Soares, Claudia
Jakovetic, Dusan
PROCEEDINGS SIGGRAPH ASIA 2023 TECHNICAL COMMUNICATIONS, SA TECHNICAL COMMUNICATIONS 2023, 2023,
[47] AN OPTIMAL DISTRIBUTED SOLUTION TO THE DINING PHILOSOPHERS PROBLEM
RANA, SP
BANERJI, DK
INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 1986, 15 (04) : 327 - 335
[48] A ROBUST DISTRIBUTED SOLUTION TO THE DINING PHILOSOPHERS PROBLEM
CARGILL, TA
SOFTWARE-PRACTICE & EXPERIENCE, 1982, 12 (10): : 965 - 969
[49] An Optimal Solution to the Distributed Data Retrieval Problem
Chaudhry, M. A. R.
Asad, Z.
Sprintson, A.
2010 IEEE GLOBAL TELECOMMUNICATIONS CONFERENCE GLOBECOM 2010, 2010,
[50] A parametric analysis of the state-explosion problem in model checking
Demri, S.
Laroussinie, F.
Schnoebelen, Ph.
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2006, 72 (04) : 547 - 575

← 1 2 3 4 5 →