zbMATH — the first resource for mathematics

State-aware performance analysis with extended stochastic probes. (English) Zbl 1180.68078
Thomas, Nigel (ed.) et al., Computer performance engineering. 5th European performance engineering workshop, EPEW 2008, Palma de Mallorca, Spain, September 24–25, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87411-9/pbk). Lecture Notes in Computer Science 5261, 125-140 (2008).
Summary: 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.
For the entire collection see [Zbl 1149.68015].

68M20 Performance evaluation, queueing, and scheduling in the context of computer systems
ipc; PRISM
Full Text: DOI