Model checking randomized distributed algorithms

Bertrand, Nathalie

doi:10.1145/3385634.3385638

Cited by 2 publications

(2 citation statements)

References 55 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The presented study shares similarities with surveys presented in [9]- [11] for dealing with SSE problem, however, this paper collects the wide range of SSE reduction methods, offers explanations for each method, their success factor, and identifies challenges. Additionally, a discussion of SSE problems in component-based systems is also covered.…”

Section: Introductionmentioning

confidence: 93%

Handling State Space Explosion in Component-Based Software Verification: A Review

et al. 2021

View full text Add to dashboard Cite

Component-based software development (CBSD) is an alternative approach to constructing software systems that offers numerous benefits, particularly in decreasing the complexity of system design. However, deploying components into a system is a challenging and error-prone task. Model-checking is one of the reliable methods to systematically analyze the correctness of a system. Its brute-force checking of the system's state space assists to significantly expand the level of confidence in the system. Nevertheless, model-checking is limited by a critical problem called state space explosion (SSE). To benefit from modelchecking, an appropriate method is required to reduce SSE. In the past two decades, a great number of SSE reduction methods have been proposed containing many similarities, dissimilarities, and unclear concepts in some cases. This research, firstly, plans to present a review of SSE handling methods and classify them based on their similarities, principle, and characteristics. Second, it investigates the methods for handling SSE problem in the verification process of CBSD and provides insight into the potential limitations, underlining the key challenges for future research efforts. INDEX TERMSComponent-based software development, Verification of software components, Modelchecking, State space explosion.

show abstract

Section: Introductionmentioning

confidence: 93%

Handling State Space Explosion in Component-Based Software Verification: A Review

et al. 2021

View full text Add to dashboard Cite

show abstract

“…Building a DC model on the Hadoop platform requires the use of a Storm cluster. The coordination and cooperation between Storm nodes is completed by ZooKeeper, which records all the states of each node, and if it stops, it is recorded in the local disk [15]. It is because of this feature that Storm has a high stability in practical applications and can well cope with various emergencies.…”

Section: Model Based On Three-layer B/s Modementioning

confidence: 99%

Distributed Computing Model Based on Three-layer B/S Mode

2021

DPS

View full text Add to dashboard Cite

With the rapid development of the Internet, the amount and form of data in various industries are becoming increasingly large and complex. The crazy growth of data volume increases the value of data mining, but also brings difficulties to professionals and scholars engaged in data mining. At this time, it is necessary to divide a computing task into multiple task nodes through a distributed computing(DC) method, and then the computer can greatly improve the computing efficiency by participating in the computing process. In this paper, a DC model based on the three-layer B/S mode is built on the Hadoop platform. In order to verify the performance of the model, the performance of the model is evaluated by indicators such as SR, ACC, and ITR. Through two sets of comparative experiments to analyze the effect of the DC mechanism, the experiments show that the SP value and ITR value of the model under parallel computing are improved, and after the WAFE, the improvement effect of ITR is more obvious.

show abstract

Model checking randomized distributed algorithms

Cited by 2 publications

References 55 publications

Handling State Space Explosion in Component-Based Software Verification: A Review

Handling State Space Explosion in Component-Based Software Verification: A Review

Distributed Computing Model Based on Three-layer B/S Mode

Contact Info

Product

Resources

About