Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > Integrating Event-B Modelling ...

Integrating Event-B Modelling and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud

Linas Laibinis, Benjamin Byholm, Inna Pereverzeva, Elena Troubitsyna, Kuan Eeik Tan, Ivan Porres, Integrating Event-B Modelling and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud. In: E. Albert, E. Sekerinski (Eds.), Integrated Formal Methods, 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, Lecture Notes in Computer Science 8739, 103–119, Springer, 2014.

http://dx.doi.org/10.1007/978-3-319-10181-1_7

Abstract:

Ensuring resilience of large data stores in the cloud is a challenging engineering issue. It requires the development techniques that allow the designers to predict the main resilience characteristics — fault tolerance and performance — at the early design stages. In this paper, we experiment with integrating Event-B modelling with discrete-event simulation. Event-B allows us to reason about correctness and data integrity properties of data stores, while discrete-event simulation in SimPy enables quantitative assessment of performance and reliability. Since testing in a real cloud environment is expensive and time-consuming, the proposed approach offers several benefits in industrial settings.

BibTeX entry:

@INPROCEEDINGS{inpLaByPeTrTaPo14a,
  title = {Integrating Event-B Modelling and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud},
  booktitle = {Integrated Formal Methods, 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings},
  author = {Laibinis, Linas and Byholm, Benjamin and Pereverzeva, Inna and Troubitsyna, Elena and Tan, Kuan Eeik and Porres, Ivan},
  volume = {8739},
  series = {Lecture Notes in Computer Science},
  editor = {Albert, E. and Sekerinski, E.},
  publisher = {Springer},
  pages = {103–119},
  year = {2014},
  keywords = {Formal modelling, Event-B, discrete-event simulation},
  ISSN = {0302-9743},
}

Belongs to TUCS Research Unit(s): Embedded Systems Laboratory (ESLAB), Software Engineering Laboratory (SE Lab)

Publication Forum rating of this publication: level 1

Edit publication