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, setting up, (re)configuring, and monitoring these applications is a real burden since a software application may depend on several remote software and virtual machine configurations. These management tasks involve many complex protocols, which fully automate these tasks while preserving application consistency. In this paper, we 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, 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 :
Chapitre d'ouvrage
Camara, Javier and de Lemos, Rogerio and Ghezzi, Carlo and Lopes, Antonia. Assurances for Self-Adaptive Systems, Springer, 2013, 〈10.1007/978-3-642-36249-1_3〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00806914
Contributeur : Gwen Salaün <>
Soumis le : mardi 2 avril 2013 - 15:42:51
Dernière modification le : vendredi 20 décembre 2013 - 10:49:55
Document(s) archivé(s) le : mercredi 3 juillet 2013 - 04:07:54

Fichier

main-asas.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

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. Camara, Javier and de Lemos, Rogerio and Ghezzi, Carlo and Lopes, Antonia. Assurances for Self-Adaptive Systems, Springer, 2013, 〈10.1007/978-3-642-36249-1_3〉. 〈hal-00806914〉

Partager

Métriques

Consultations de
la notice

294

Téléchargements du document

154