Scalable Analysis of Scalable Systems

Allan Clark, Stephen Gilmore, Mirco Tribastone

Research output: Chapter in Book/Report/Conference proceedingConference contribution


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.
Original languageEnglish
Title of host publicationFundamental Approaches to Software Engineering
Subtitle of host publication12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
EditorsMarsha Chechik, Martin Wirsing
PublisherSpringer-Verlag GmbH
Number of pages17
ISBN (Electronic)978-3-642-00593-0
ISBN (Print)978-3-642-00592-3
Publication statusPublished - 2009

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Dive into the research topics of 'Scalable Analysis of Scalable Systems'. Together they form a unique fingerprint.

Cite this