PEPA Eclipse Plug-in

The PEPA Eclipse Plug-in implements an aggregation algorithm to reduce the number of states in the reachable state-space by exploiting symmetries in the model. This reduction does not change the performance results which are computed from the model.

Note: This option has no effect on PEPA models which do not use arrays of components. You can leave the option to aggregate the model turned on all the time.

Getting started

• Installing the PEPA Eclipse Plugin in Eclipse

State-space generation and navigation

• Using the single step navigator
• Filtering the state-space to display only some of the reachable states
• Exporting the state-space and generator matrix of the Markov chain to files
• Aggregate your PEPA model to reduce the number of reachable states

Markovian modelling and experimentation

• Markovian analysis of PEPA models
• Visualising the results as a bar chart or a pie chart
• Enabling the graph view
• Experimenting on a PEPA model to discover the effect of varying one of the rates
• Experimenting on a PEPA model to discover the effect of varying two of the rates