Skip to Main content Skip to Navigation
New interface
Conference papers

Formal modelling and analysis of distributed storage systems

Abstract : 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, with the innovating feature to separate 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 the latter aspect on a simple yet realistic example, showing that our proposal has the potential to be used to make design decisions before the real system is implemented.
Document type :
Conference papers
Complete list of metadata

Cited literature [13 references]  Display  Hide  Download
Contributor : Frédéric Davesne Connect in order to contact the contributor
Submitted on : Thursday, October 10, 2019 - 3:23:51 PM
Last modification on : Saturday, May 1, 2021 - 3:50:25 AM


Files produced by the author(s)



Jordan de La Houssaye, Franck Pommereau, Philippe Deniel. Formal modelling and analysis of distributed storage systems. International Workshop on Petri Nets and Software Engineering (PNSE 2016), including the International Workshop on Biological Processes and Petri Nets (BioPPN 2016), Jun 2016, Torun, Poland. pp.70-90, ⟨10.1007/978-3-662-55862-1_4⟩. ⟨hal-01352035⟩



Record views


Files downloads