Scalable Analysis of Scalable Systems

Authors:
Allan Clark;Stephen Gilmore;Mirco Tribastone
Affiliations:
The University of Edinburgh, Scotland;The University of Edinburgh, Scotland;The University of Edinburgh, Scotland
Venue:
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Year:
2009

Citing 14
Cited 2

A compositional approach to performance modelling

A compositional approach to performance modelling
Implicit-explicit Runge-Kutta methods for time-dependent partial differential equations

Applied Numerical Mathematics - Special issue on time integration
Model-Checking Algorithms for Continuous-Time Markov Chains

IEEE Transactions on Software Engineering
Process Algebras for Quantitative Analysis

LICS '05 Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science
Tuning Systems: From Composition to Performance

The Computer Journal
Fluid Flow Approximation of PEPA models

QEST '05 Proceedings of the Second International Conference on the Quantitative Evaluation of Systems
Performance Trees: A New Approach to Quantitative Performance Specification

MASCOTS '06 Proceedings of the 14th IEEE International Symposium on Modeling, Analysis, and Simulation
The PEPA Plug-in Project

QEST '07 Proceedings of the Fourth International Conference on Quantitative Evaluation of Systems
The ipclib PEPA Library

QEST '07 Proceedings of the Fourth International Conference on Quantitative Evaluation of Systems
State-Aware Performance Analysis with eXtended Stochastic Probes

EPEW '08 Proceedings of the 5th European Performance Engineering Workshop on Computer Performance Engineering
Evaluating quality of service for service level agreements

FMICS'06/PDMC'06 Proceedings of the 11th international workshop, FMICS 2006 and 5th international workshop, PDMC conference on Formal methods: Applications and technology
Replicating web services for scalability

TGC'07 Proceedings of the 3rd conference on Trustworthy global computing
Evaluating the scalability of a web service-based distributed e-learning and course management system

WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
PRISM: a tool for automatic verification of probabilistic systems

TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems

Quantitative Analysis of Web Services Using SRMC

Formal Methods for Web Services
SENSORIA results applied to the case studies

Rigorous software engineering for service-oriented systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a systematic method of analysing the scalability of large-scale systems. We construct a high-level model using the SRMC process calculus and generate variants of this using model transformation. The models are compiled into systems of ordinary differential equations and numerically integrated to predict non-functional properties such as responsiveness and scalability.