PEPA
PEPA
Performance Evaluation Process Algebra
PEPA

Downloads

Software to analyse and simulate PEPA models is available from this site as a free download. The PEPA software is implemented entirely in Java and depends upon the Eclipse integrated development environment. The PEPA software also includes support for modelling in Bio-PEPA, a related language with features which make it suitable for modelling biological processes.

If you do not have Java installed already then you should install the Java SE Development Kit from http://www.oracle.com/technetwork/java/javase/downloads/index.html

  • The Java Standard Edition (SE) Development Kit is also known as the JDK. We recommend using Java 1.8 with the PEPA Plug-in software. We tested this release with Java version "1.8.0_92".

If you do not have Eclipse installed already then download Eclipse from http://www.eclipse.org.

  • We recommend Eclipse Luna or Eclipse Mars. Due to a regression in the Eclipse Java compiler, the latest version of the PEPA Eclipse Plug-in is not compatible with Eclipse Neon.

Installing PEPA (v25)

Version v25 of the PEPA Eclipse Plugin is the most recent reease of the PEPA Eclipse Plug-in, released in November 2014. It is available from http://www.dcs.ed.ac.uk/pepa/group/update-site-nov-2014

Use Help>Install New Software… and add http://www.dcs.ed.ac.uk/pepa/group/update-site-nov-2014 to your list of available software locations. We have called this site "PEPA" in the screenshot below.

Add all the PEPA software as illustrated in the screenshot below.

Follow the prompts to complete the installation of the software.

Accept the license agreement when prompted to do so.

The PEPA software is not cryptographically signed, but is safe to install.

Finally, restart Eclipse.

You may need to upgrade other parts of your Eclipse installation to complete this. These include the GEF, Zest and Draw2D packages. If so, Eclipse will prompt you to do this.

Create a new project in Eclipse with File>New>Project… and Choose General>Project. You can call this project whatever you wish, but we called our project PEPA.

Create a new file in this project using File>New>Other… and choose General>File. Be sure to name your file with the extension .pepa. Do not use .txt or any other file extension.

You are now ready to start modelling with PEPA.

If you are planning to model with Bio-PEPA instead then follow the instructions above but name your file with the extension .biopepa instead.

New features in this release

Version v25 of the PEPA Eclipse Plug-in features a new capacity planning extension for optimising systems using search to find the best number of component repliations to meet performance targets at the lowest possible cost.

Previous version of the PEPA Eclipse Plug-in

Version v24 of the PEPA Eclipse Plug-in is available from http://www.dcs.ed.ac.uk/pepa/tools/plugin/download.html

This is an earlier version of the PEPA software which can be used if you are unable to run the latest version due to Java or Eclipse version conflicts.

Problems and troubleshooting

When you install PEPA via Eclipse you are installing new software on your machine. On some platforms you may need to temporarily turn off your virus checking software (e.g. Norton) to allow PEPA to be installed, or otherwise give Eclipse permission to install software.

Acknowledgements and thanks

The PEPA Eclipse Plug-in and the associated Bio-PEPA Eclipse Plug-in have been implemented by Allan Clark, Adam Duguid, Michael Smith, Mirco Tribastone, and Chris Williams at the University of Edinburgh.

Contact addresses: Jane Hillston and Stephen Gilmore, {jeh,stg}@inf.ed.ac.uk.
    Laboratory for Foundations of Computer Science, The University of Edinburgh.
Last modified: Thursday 16th February 2017