Polychrony/SME

Polychrony installation procedure

For all platforms, the cmake tool is needed for the installation. Verify that the command cmake is available in your environment and the version is greater than 2.6.

For Linux, SunOS and MacOs

In the following lines, FOO stands for pKBatchCompiler or pKGuiBatchCompiler.

After download, go to the saving download directory, and

uncompress the downloaded file: gunzip FOO.tar.gz
extract the files: tar xvf FOO.tar
go to the sub-directory created by the previous tar command, then in the sub-directory cmake, and apply the command: cmake .. -DBIN_INSTALL=1

After the installation, read how to use Polychrony commands.

Example: if you donwload the batch compiler package called pKBatchCompiler.tar.gz file, apply the commands

gunzip pKBatchCompiler.tar.gz; tar xvf pKBatchCompiler; cd polychrony-V4.16/cmake; cmake .. -DBIN_INSTALL=1

For Windows

Click on the downloaded file. The setup will create a program's shortcuts (called Polychrony Gui, Signal Compiler) in a start menu folder (called Polychrony by default). In this start menu folder, an uninstall command will be also available. Moreover, the associations between the files sufixed by SIG and the "batch compiler", and the files sufixed by gpk and the "Signal GUI" are defined.

SME installation procedure

The installation is done through the update site mechanism. The procedure is the following:

First, you have to download the version of Eclipse corresponding to your platform and to the SME plugins.
Unzip the downloaded archive and launch the Eclipse executable.
Specify a location where your projects will be stored and press OK button.

Install Topcased (update site : http://topcased-mm.gforge.enseeiht.fr/release/update-site3.6).
Install all the plugins, except :
- In "Source Features" : Topcased build dependencies, Topcased SDK
- In "Topcased Experimental" : C to UML Synchronization (Incubation), Topcased Experimental (Incubation), Uml2java Feature (Incubation), Uml2rtsj Feature (Incubation)
- In "Topcased Toolkit" : Topcased Environment, Topcased Requirement, Topcased SAM Editor, Topcased SysML Editor
Once Topcased is installed (same procedure as following), we can install SME. Select the Help menu and then the Install New Software... one.
Click on the Add... button.

In the location field, specify the URL of the SME update site
http://www.irisa.fr/espresso/polychrony/update/

Here, you could also (if you downloaded the update site), select the location where you unzip the SME update site by clicking on the Local button. When done, press the OK button.
Select the feature(s) you want to install or you can select the whole SME update site and then press the Next button. It will take several seconds to compute the dependencies of the SME environment and to search the needed plugins from other update sites.

A window which recapitulates the feature(s) you want to install appears. If there are some conflicts between plugins versions, they will be specified in the Details part. Click on the Next button.

You have now to accept the licenses of the different feature(s) you want to install by selecting the I accept the terms of the license agreements and then click on the Finish button. It will download and install all selected and needed features and plugins.

Finally, you have to reboot your Eclipse by clicking on the Yes button and the installation is over.

To use the environment, consult the SME user manual, which is in the documentation section

SME update procedure

If you already have an Eclipse with a former version of the SME environment, you can update your current installation. For this purpose:

Select the Help menu and then the Install New Software... one.

Click on the What is already installed? link : select the feature you want to update, and click on the Update... button.