ISP Plug-in Prerequisites

The following prerequisites are required for the ISP Plug-in (v1.0) installation.

• ISP itself (v0.2.0)
• Java 1.5 or later
• Eclipse SDK version 3.5 (Galileo) and beyond
• Eclipse C/C++ Development Tools (CDT) version 6.0 and beyond
• Eclipse Parallel Tools Platform (PTP) version 3.0 and beyond

Some implementation of MPI must be installed, MPICH2 or OpenMP both work well. You will also need a process manager for clusters, like mpd installed and running. The ISP plug-in assumes your process manager is already running when it is loaded.

• MPICH2 version 1.0.6p1 (or later)
• Open MPI version 1.2.x and 1.3.x

Here are some of the requirements to run ISP:

• Machine: ISP can be run on machines with one or more CPU cores. With more cores, ISP’s OpenMP parallelization can help speed up model checking.
• Sockets: ISP can be run with TCP sockets or Unix-domain sockets. The latter is much faster, but requires all ISP runs to occur within one machine. A distributed ISP checker is in our future plans.
• Operating Systems: The Eclipse Plug-in is designed for Linux and MacOS X
• MPI Library: The current ISP release is for MPICH 2.1. We have successfully tested ISP with OpenMPI as well as Microsoft’s MPI (sometimes called CCS). An enhanced configure and make will be released corresponding to these MPI libraries also. If you are interested, kindly let us know and we can help tailor the current distribution with these other MPI libraries. For MAC OS/X, one can run ISP using the OpenMPI that comes by default.

Back to Top | Back to Table of Contents