Integrating Event-B Modelling and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud.
Linas LaibinisBenjamin ByholmInna PereverzevaElena TroubitsynaKuan Eeik TanIvan PorresPublished in: IFM (2014)
Keyphrases
- discrete event simulation
- data stores
- semiconductor manufacturing
- discrete event
- big data
- cloud computing
- database systems
- data sets
- supply chain
- databases
- data sources
- relational database systems
- data processing
- real time
- end users
- multi dimensional
- data management
- dynamic programming
- social media
- simulation model
- dynamic systems
- case study
- decision making