An Experience Report on the Verification of Autonomic Protocols in the Cloud

Abstract : Cloud applications are often complex distributed applications composed of multiple software components running on separate virtual machines. Setting up, (re)configuring, and monitoring these applications are complicated tasks because 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 as well as some key properties. In this article, we present two experiences we had in formally specifying and verifying such protocols. The first one aims at designing a reconfiguration protocol of a component-based platform, intended as the foundation for building robust dynamic systems. The second aims at automating the configuration task of a set of virtual machines running a set of interconnected software components. Both applications are specified using the LNT process algebra and verified using the CADP verification toolbox. The use of formal specification languages and tools was a success. We conclude with a number of lessons we have learned while working on this topic in the last three years.
Type de document :
Article dans une revue
Innovations in Systems and Software Engineering, Springer Verlag, 2013, 〈10.1007/s11334-013-0204-0〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00808565
Contributeur : Gwen Salaün <>
Soumis le : vendredi 5 avril 2013 - 16:31:07
Dernière modification le : mardi 9 avril 2013 - 11:17:02
Document(s) archivé(s) le : lundi 8 juillet 2013 - 10:40:48

Fichier

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

Identifiants

Collections

Citation

Gwen Salaün, Fabienne Boyer, Thierry Coupaye, Noël De Palma, Xavier Etchevers, et al.. An Experience Report on the Verification of Autonomic Protocols in the Cloud. Innovations in Systems and Software Engineering, Springer Verlag, 2013, 〈10.1007/s11334-013-0204-0〉. 〈hal-00808565〉

Partager

Métriques

Consultations de
la notice

323

Téléchargements du document

171