Formal techniques for performance analysis: blending SAN and PEPA

13 years 4 months ago

Download www.dcs.ed.ac.uk

Abstract. In this paper we consider two performance modelling techniques from the perspectives of model construction, generation of an underlying continuous time Markov process, and the potential for reduction in the Markov process. Such careful comparison of modelling techniques allows us to appreciate the strengths and weaknesses of different approaches, and facilitates cross-fertilization between them. In the present case we take a characteristic of one formalism, functional rates in Stochastic Automata Networks, and introduce it to the other formalism, Performance Evaluation Process Algebra. We investigate the beneﬁts of this cross-fertilization, particularly from the perspectives of Markov process generation and reduction.

Jane Hillston, Leïla Kloul

Real-time Traffic