State-Aware Performance Analysis with eXtended Stochastic Probes

Allan Clark, Stephen Gilmore

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

Abstract / Description of output

We define a mechanism for specifying performance queries which combine instantaneous observations of model states and finite sequences of observations of model activities. We realise these queries by composing the state-aware observers (called eXtended Stochastic Probes (XSP)) with a model expressed in a stochastically-timed process algebra. Our work has been conceived in the context of the process algebra PEPA. However the ideas involved are relevant to all timed process algebras with an underlying discrete-state representation such as a continuous-time Markov chain.
Original languageEnglish
Title of host publicationComputer Performance Engineering
Subtitle of host publication5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008. Proceedings
EditorsNigel Thomas, Carlos Juiz
PublisherSpringer-Verlag GmbH
Number of pages16
ISBN (Electronic)978-3-540-87412-6
ISBN (Print)978-3-540-87411-9
Publication statusPublished - 2008

Publication series

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


Dive into the research topics of 'State-Aware Performance Analysis with eXtended Stochastic Probes'. Together they form a unique fingerprint.

Cite this