IMITATOR

Download IMITATOR

Standalone binaries for Linux

IMITATOR relies on several libraries, including the Parma Polyhedra Library, that can be cumbersome to install; hence, unless you want to modify IMITATOR or install it in very specific environments or use its distributed capabilities, we strongly recommend you download one of the standalone binaries. If you prefer to install the source, please read the installation instructions below.

Binaries have been compiled using KUbuntu 14.04 LTS, and should be used on all Linux-like systems.

Note that, if you are not equipped with a Linux system, you can install one very easily in VirtualBox.

In case you want to use the graphical output facilities, don’t forget to install dot (from the Graphviz package) and graph (from the plotutils package). This is true even if you download the standalone binaries. Without these utilities, IMITATOR will work normally, but the graphics output may not work.

Version Version name Build Git hash Release date Sources Binary (32 bits) Binary (64 bits) User Manual
IMITATOR 2.10.1-working (working version) Butter Jellyfish - - - [GitHub] [IMITATOR-user-manual.pdf]
IMITATOR 2.10.1 (latest stable version) Butter Jellyfish 2409 5eea424 23.02.2018 [v2.10.1.tar.gz] not available anymore [imitator.tar.gz] [PDF]
see former versions

Then IMITATOR can be executed by running the required command, for example:

./imitator model.imi -mode EF

See the user manual for more information on how to use IMITATOR.

See here for former versions of IMITATOR.

Docker version for Linux / Mac / Windows

Note that the Windows installation is not perfect (there might be compiling issues)

Installation steps:

  1. Install docker
  2. Download the imitator image from the docker hub:
    docker pull imitator:imitator
    And you are done!

See some additional documentation:

Installing IMITATOR from sources

Why installing IMITATOR from its sources?

We give here the installation instructions for Linux. The installation was performed on Ubuntu and successfully tried with many versions of Ubuntu or KUbuntu, in particular the latest LTS (long-time support) version of Ubuntu, i.e., Ubuntu 14.04.

Quick version

  1. Install the following packages
    sudo apt-get install g++ m4 ocaml libextlib-ocaml libextlib-ocaml-dev ocaml-findlib libgmp-dev libgmp-ocaml libgmp-ocaml-dev libppl-dev openmpi-bin openmpi-common libopenmpi-dev git oasis graphviz plotutils
    (Installing these libraries might entail additional dependencies.)
  2. Download the PPL source from here
  3. Compile the PPL binding for OCaml
    cd ppl-1.2
    ./configure --prefix=/usr
    cd interfaces/OCaml/
    make
    sudo make install
    
  4. Download the IMITATOR source
    git clone https://github.com/imitator-model-checker/imitator.git
  5. Copy the METAS files
    cd imitator
    sudo cp METAS/* /usr/lib/ocaml/METAS/
    
  6. Compile IMITATOR
    sh build.sh
  7. Enjoy!

Step-by-step installation

IMITATOR depends on various libraries, including:

We now give full step-by-step instructions in order to compile IMITATOR from sources.

  1. Install the C++ compiler (version to develop IMITATOR: g++ 4.8.4)
    sudo apt-get install g++
  2. Install m4 (version to develop IMITATOR: 1.4.17)
    sudo apt-get install m4
  3. Install OCaml (version to develop IMITATOR: 4.02.3)
    sudo apt-get install ocaml
  4. Install OCaml extlib
    sudo apt-get install libextlib-ocaml libextlib-ocaml-dev
  5. Install the OCaml package for MLGMP
    sudo apt-get install libgmp-dev libgmp-ocaml libgmp-ocaml-dev
  6. Install the oasis package (that allows to build OCaml applications easily)
    sudo apt-get install oasis ocaml-findlib
  7. [Only if you want to use the distributed IMITATOR] Install the MPI packages
    sudo apt-get install openmpi-bin openmpi-common libopenmpi-dev
  8. [Only if you want to use the distributed IMITATOR] Install the OCamlMPI bindings
    git clone https://github.com/xavierleroy/ocamlmpi
    Edit the Makefile by setting your paths
    make
    make opt
    sudo make install
  9. Install the PPL package (version to develop IMITATOR: 1.2)
    sudo apt-get install libppl-dev
    But since this package does not come with the OCaml bindings, we will need to compile them manually at the next step.
  10. Download the PPL source from here, and unzip it
  11. Compile the PPL binding for OCaml
    cd ppl-1.2
    ./configure --prefix=/usr
    cd interfaces/OCaml/
    make
    sudo make install
    
  12. Download the IMITATOR source, either manually (by downloading the archive given on top of this page) or using the latest version on GitHub, in which case run the following command:
    sudo apt-get install git
    git clone https://github.com/imitator-model-checker/imitator.git
  13. Copy the METAS files
    cd imitator
    sudo cp METAS/* /usr/lib/ocaml/METAS/
    
  14. Install the packages for the graphical outputs
    sudo apt-get install graphviz plotutils
  15. Compile IMITATOR
    sh build.sh
  16. [Only if you want to use the distributed IMITATOR] Compile IMITATOR in distributed mode
    sh build-patator.sh
  17. Enjoy!

Using IMITATOR

Read the user manual for more information.

Older versions of IMITATOR

See the former versions for former binaries and sources.

Contact

In case you meet any problem while installing or using IMITATOR, please contact us.