Output details

Performance Specification and Evaluation with Unified Stochastic Probes and Fluid Analysis

<13> Addresses the problem of: (a) rigorous yet accessible specification of performance metrics over massive stochastic process models, which is vital to industrial adoption of performance engineering techniques; (b) efficient evaluation of resulting models using rapid fluid techniques which dramatically outperform explicit state space methods which are resource-limited to O(10^9) states. A flagship output of the EPSRC AMPS project (EP/G011737/1). Have been invited to give an SFM tutorial (School on Formal Methods) on this in June 2013 at Bertinoro. Stochastic probe techniques implemented in open-source GPA tool, http://code.google.com/p/gpanalyser/ (200 downloads as of June 2013).