Design and Validation of Cloud Storage Systems Using Formal Methods - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

Design and Validation of Cloud Storage Systems Using Formal Methods

Peter Csaba Ölveczky
  • Fonction : Auteur
  • PersonId : 1030362

Résumé

To deal with large amounts of data while offering high availability and throughput and low latency, cloud computing systems rely on distributed, partitioned, and replicated data stores. Such cloud storage systems are complex software artifacts that are very hard to design and analyze. Formal specification and model checking should therefore be beneficial during their design and validation. In particular, I propose rewriting logic and its accompanying Maude tools as a suitable framework for formally specifying and analyzing both the correctness and the performance of cloud storage systems. This abstract of an invited talk gives a short overview of the use of rewriting logic at the University of Illinois Assured Cloud Computing center on industrial data stores such as Google’s Megastore and Facebook/Apache’s Cassandra. I also briefly summarize the experiences of the use of a different formal method for similar purposes by engineers at Amazon Web Services.
Fichier principal
Vignette du fichier
440117_1_En_1_Chapter.pdf (199.45 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01760637 , version 1 (06-04-2018)

Licence

Paternité

Identifiants

Citer

Peter Csaba Ölveczky. Design and Validation of Cloud Storage Systems Using Formal Methods. 2nd International Conference on Topics in Theoretical Computer Science (TTCS), Sep 2017, Tehran, Iran. pp.3-8, ⟨10.1007/978-3-319-68953-1_1⟩. ⟨hal-01760637⟩
64 Consultations
111 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More