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

Linas Laibinis; Benjamin Byholm; I Pereverzeva; Elena Troubitsyna; KE Tan; Ivan Porres Paltor

doi:10.1007/978-3-319-10181-1_7

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

Linas Laibinis, Benjamin Byholm, I Pereverzeva, Elena Troubitsyna, KE Tan, Ivan Porres Paltor

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

4 Sitaatiot (Scopus)

Abstrakti

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.

Alkuperäiskieli	Ei tiedossa
Otsikko	Integrated Formal Methods, 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings
Toimittajat	E Albert, E Sekerinski
Kustantaja	Springer
Sivut	103–119
ISBN (elektroninen)	978-3-319-10181-1
ISBN (painettu)	978-3-319-10180-4
DOI - pysyväislinkit	https://doi.org/10.1007/978-3-319-10181-1_7
Tila	Julkaistu - 2014
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisuussa
Tapahtuma	conference; 2014-09-09; 2014-09-11 - Bertinoro, Italy Kesto: 9 syysk. 2014 → 11 syysk. 2014

Konferenssi

Konferenssi	conference; 2014-09-09; 2014-09-11
Ajanjakso	09/09/14 → 11/09/14

Keywords

Event-B
discrete-event simulation
formal modelling

Pääsy asiakirjaan

10.1007/978-3-319-10181-1_7

http://10.1007/978-3-319-10181-1

Viittausmuodot

Laibinis, L., Byholm, B., Pereverzeva, I., Troubitsyna, E., Tan, KE., & Porres Paltor, I. (2014). Integrating Event-B Modelling and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud. teoksessa E. Albert, & E. Sekerinski (Toimittajat), Integrated Formal Methods, 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings (Sivut 103–119). Springer. https://doi.org/10.1007/978-3-319-10181-1_7

@inproceedings{04c39d103b8f4ba5b5934a88c0827bd5,

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

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.",

keywords = "Event-B, discrete-event simulation, formal modelling, Event-B, discrete-event simulation, formal modelling, Event-B, discrete-event simulation, formal modelling",

author = "Linas Laibinis and Benjamin Byholm and I Pereverzeva and Elena Troubitsyna and KE Tan and {Porres Paltor}, Ivan",

year = "2014",

doi = "10.1007/978-3-319-10181-1_7",

language = "Odefinierat/ok{\"a}nt",

isbn = "978-3-319-10180-4",

pages = "103–119",

editor = "E Albert and E Sekerinski",

booktitle = "Integrated Formal Methods, 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings",

publisher = "Springer",

note = "conference; 2014-09-09; 2014-09-11 ; Conference date: 09-09-2014 Through 11-09-2014",

}

Laibinis, L, Byholm, B, Pereverzeva, I, Troubitsyna, E, Tan, KE & Porres Paltor, I 2014, Integrating Event-B Modelling and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud. julkaisussa E Albert & E Sekerinski (toim), Integrated Formal Methods, 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings. Springer, Sivut 103–119, conference; 2014-09-09; 2014-09-11, 09/09/14. https://doi.org/10.1007/978-3-319-10181-1_7

Integrating Event-B Modelling and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud. / Laibinis, Linas; Byholm, Benjamin; Pereverzeva, I et al.
Integrated Formal Methods, 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings. toim. / E Albert; E Sekerinski. Springer, 2014. s. 103–119.

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

TY - GEN

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

AU - Laibinis, Linas

AU - Byholm, Benjamin

AU - Pereverzeva, I

AU - Troubitsyna, Elena

AU - Tan, KE

AU - Porres Paltor, Ivan

PY - 2014

Y1 - 2014

N2 - 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.

AB - 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.

KW - Event-B

KW - discrete-event simulation

KW - formal modelling

KW - Event-B

KW - discrete-event simulation

KW - formal modelling

KW - Event-B

KW - discrete-event simulation

KW - formal modelling

U2 - 10.1007/978-3-319-10181-1_7

DO - 10.1007/978-3-319-10181-1_7

M3 - Publicerad konferensartikel

SN - 978-3-319-10180-4

SP - 103

EP - 119

BT - Integrated Formal Methods, 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings

A2 - Albert, E

A2 - Sekerinski, E

PB - Springer

T2 - conference; 2014-09-09; 2014-09-11

Y2 - 9 September 2014 through 11 September 2014

ER -

Laibinis L, Byholm B, Pereverzeva I, Troubitsyna E, Tan KE, Porres Paltor I. Integrating Event-B Modelling and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud. julkaisussa Albert E, Sekerinski E, toimittajat, Integrated Formal Methods, 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings. Springer. 2014. s. 103–119 doi: 10.1007/978-3-319-10181-1_7