A tool support for automatic analysis based on the tagged customer approach

The analysis of performance models based on the tagged customer approach is composed by two main steps. The first one is the stationary analysis of a Markov chain and the second one is the transient analysis of another Markov (reward) model whose initial distribution is derived from the result of the first step. To the best of our knowledge none of the existing performance analysis tools allow the automatic evaluation of these performance models. This paper presents an extension of the MRMSolve tool for automatic execution of the two steps procedure. The theoretical background of this extension is well established and the implementation is built mainly on the existing Markov model analysis functions of MRMSolve, hence the contribution lies in the availability of the automatic analysis tool. To demonstrate the modeling abilities and the practical importance of the new tool we present the MRMSolve models of [7] and [8]. Based on these MRMSolve models one can automatically generate the performance measures presented in [7] and [8].