The PEPA Plug-in Project
|
|
Related tools
This tool project has links to the following Eclipse plug-ins:
- The ipclib plug-in, which enables the use of ipclib in the Eclipse framework for the efficient computation of passage-time quantiles of PEPA models in the Eclipse framework. You can learn more about the tool and related techonolgies at http://www.doc.ic.ac.uk/ipc/. The plug-in is available for download at the same update site as the one for
the PEPA Plug-in Project.
- The Sensoria Case Tool (SCT) plug-in, which contributes PEPA-related
tools to the Sensoria Case Tool, an umbrella software for the EU-IST Sensoria project. This tool is available from the same update site as the one for
the PEPA Plug-in Project.
- The SRMC Plug-in is a plug-in for SRMC, a formal language that builds on PEPA to provide a means to scalable analysis of scalable systems.
Visit http://groups.inf.ed.ac.uk/srmc to learn more about SRMC.