Rapport (Rapport De Recherche) Année : 2014

Formal modelling and analysis of distributed storage systems

Résumé

Distributed storage systems are nowadays ubiquitous, often under the form of multiple caches forming a hierarchy. A large amount of work has been dedicated to design, implement and optimise such systems. However, there exists to the best of our knowledge no attempt to use formal modelling and analysis in this field. This paper proposes a formal modelling framework to design distributed storage systems while separating the various concerns they involve like data-model, operations, placement, consistency, topology, etc. A system modelled in such a way can be analysed through model-checking to prove correctness properties, or through simulation to measure timed performance. In this paper, we define the modelling framework and then focus on timing analysis. We illustrate these two aspects on a simple example showing that our proposal has the potential to be used to make design decisions before the real system is implemented.
Fichier principal
Vignette du fichier
dlHPD-IBISC-TR-2014.pdf (587.12 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02310229 , version 1 (10-10-2019)

Identifiants

  • HAL Id : hal-02310229 , version 1

Citer

Jordan de La Houssaye, Franck Pommereau, Philippe Deniel. Formal modelling and analysis of distributed storage systems. [Research Report] IBISC, university of Evry / Paris-Saclay. 2014. ⟨hal-02310229⟩
61 Consultations
44 Téléchargements

Partager

More