Verification of a Self-Configuration Protocol for Distributed Applications in the Cloud

In this paper, the authors focus on a self-configuration protocol, which is able to configure a whole distributed application without requiring any centralized server. The high degree of parallelism involved in this protocol makes its design complicated and error-prone. In order to check that this protocol works as expected, they specify it in LOTOS NT and verify it using the CADP toolbox. The use of these formal techniques and tools helped to detect a bug in the protocol, and served as a workbench to experiment with several possible communication models.

Provided by: INRIA Topic: Cloud Date Added: Apr 2013 Format: PDF

Find By Topic