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

Abstract : Distributed applications in the cloud are composed of a set of virtual machines running a set of interconnected software components. In this context, the task of automatically configuring distributed applications is a very difficult issue. In this paper, we focus on such 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, we 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.
Type de document :
Communication dans un congrès
27th Symposium On Applied Computing (SAC 2012), Mar 2012, Italy. pp.1278-1283, 2012
Liste complète des métadonnées

Littérature citée [16 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00685394
Contributeur : Gwen Salaün <>
Soumis le : jeudi 5 avril 2012 - 08:43:38
Dernière modification le : lundi 5 octobre 2015 - 16:58:59
Document(s) archivé(s) le : lundi 26 novembre 2012 - 12:51:52

Fichier

SEBCP-SAC12.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00685394, version 1

Collections

Citation

Gwen Salaün, Xavier Etchevers, Noël De Palma, Fabienne Boyer, Thierry Coupaye. Verification of a Self-configuration Protocol for Distributed Applications in the Cloud. 27th Symposium On Applied Computing (SAC 2012), Mar 2012, Italy. pp.1278-1283, 2012. 〈hal-00685394〉

Partager

Métriques

Consultations de la notice

539

Téléchargements de fichiers

138