An Experience Report on the Verification of Autonomic Protocols in the Cloud - Inria - Institut national de recherche en sciences et technologies du numérique
Journal Articles Innovations in Systems and Software Engineering Year : 2013

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.
Fichier principal
Vignette du fichier
main-isse.pdf (1012.25 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-00808565 , version 1 (05-04-2013)

Identifiers

Cite

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, 2013, ⟨10.1007/s11334-013-0204-0⟩. ⟨hal-00808565⟩
378 View
218 Download

Altmetric

Share

More