Skip to Main Content
Recent ordinary differential equation (ODE) based techniques allow efficient analysis of Markovian population models with extremely large state spaces. In most cases of realistic scale, they provide the only alternative to stochastic simulation. Moreover, numerical solution of the ODEs is cheaper computationally than simulation by orders of magnitude. We present the Grouped PEPA Analyser (GPA) tool with new functionality to exploit computationally inexpensive fluid analysis techniques to allow the exploration of large numbers of system configurations in models with large state spaces. GPA provides an efficient implementation of the fluid analysis techniques for models described in a stochastic process algebra. It implements recently developed extensions allowing specifications of complex reward measures using combinations of state based, rate accumulated and impulse rewards. Combined with the ability to efficiently capture various passage time metrics, GPA can be used to solve optimisation problems with a reward objective function under different service level agreement type constraints.