#Install

Ocelotl is a plugin for the Eclipse IDE, so you should first download a version of the Eclispe framework (the tested version is Eclipse Luna). Ocelotl is part of the Framesoc framework, which is also necessary. There are two ways to install Ocelotl:

###Install using the update site (recommended) You can install Ocelotl in Eclipse using the following procedure: in Eclipse, go to the menu Help > Install New Software. In the new window, put the following URL in the field Work with:

http://soctrace-inria.github.io/updatesite/

and press Enter. The Framesoc and Ocelotl tools should then be available. If Framesoc is not already installed in your Eclipse, select both tools. Then click on Next, Next, accept the license agreement and click on Finish.

###Import from the source Alternatively, you can build Ocelotl from the source code. It requires to configure a Framesoc development environment as explained in this wiki page.

Warning: when using Ocelotl from the source, you must not use a standalone version of Framesoc, otherwise, Ocelotl will not be recognized among the tools.

Then you can clone this github repository and import all the projects in your Eclipse workspace via: File > Import > Existing Projects into Workspace.

#Setup You need at least 4096 MB of memory to be able to launch the standalone version of Ocelotl. However, in order to have better performance, it is recommended to set a higher value (we recommend at least 8192 MB) in the maximal quantity of memory available to Eclipse. To do this, you need to open the eclipse.ini file in the root directory of your eclipse installation, look for the following line:

-Xmx####m (where #### is the current value of maximal memory in megabytes, in the standalone version it should be 4096.)

and change the value with the new one.

Initialization

The first time the Framesoc perspective is opened, a configuration wizard will automatically pop up to perform the initial configuration. If you have already performed this step you can skip it.

1. Launch the Framesoc perspective: Windows > Open Perspective > Framesoc
2. Follow the instructions of the configuration wizard.

Launch Ocelotl

After importing at least one trace in Framesoc (some example traces are provided by Framesoc), launch the Ocelotl analysis tool: Framesoc > Trace Analysis > Launch Analysis Tool and select Ocelotl. No argument is required.

For further instructions on how to use Ocelotl, please refer to the Ocelotl User guide.