Download
The Polychrony toolset distribution, contains the following main components:
The
SME environment, a
previous front-end to the Signal Toolbox in the Eclipse environment, can be downloaded
here.
The
Sigali tool, an associated formal system for formal verification and controller synthesis, can be downloaded
here.
Registration
Please take a short moment to fill out our User Registration Form. You will receive
release informations.
Signal Toolbox/Signal GUI distributions (V4.19, 12/2012)
Before loading the Signal Toolbox or the Signal GUI, read the
Licence terms. The installing and use of the Polychrony toolset suppose the agreement to the license.
You can either download binaries or source code archives for the latest stable version.
For the installation, please read the
installation guide.
Source distributions
Binary distributions
The SSME environment (built on V4.19)
The SSME platform is a front-end to the Signal Toolbox in the Eclipse environment.
The SSME environment is under
Eclipse Public License.
You can either download binaries (RCP distributions), source code archives, or use the update site.
For the installation, please read the
installation guide.
The SSME environment needs the presence of the Eclipse
environment (Juno, Indigo,...) and of the Java Runtime.
RCP distributions
The RCP distribution contains the definition of the SSME model + the access to the Signal fonctionalities.
Download the archive corresponding to your operating system.
Source distributions
Download the archive
SSME Sources
Update site
The URL is http://www.irisa.fr/espresso/Polychrony/update (select the SSME part)
Testing your environment
To test your SSME installation, you can donwnload the
Examples. Under Eclipse, import them as "General->Existing Project into Workspace".
Then, consult the
SSME User Guide.
Using the Polychrony GUI under Eclipse
The Signal GUI has been adapted to be used under Eclipse. To use it, install it from the
update site at http://www.irisa.fr/espresso/Polychrony/update (select the "Polychrony GUI" part), then consult the
Polychrony GUI under Eclipse User Guide
AADL to Signal translator distribution (built on V4.19)
The AADL to SIGNAL translator is a plugin for the Eclipse environment. It allows to import applications written in AADL language under the Signal/SSME environment.
It is under
Eclipse Public License.
You can either download binaries (RCP distributions), source code archives, or use the update site.
For the installation, please read the
installation guide.
The SSME environment needs the presence of the Eclipse
environment (Juno, Indigo,...) and of the Java Runtime.
RCP distributions
The RCP distribution contains the AADL to Signal translator + the definition of the SSME model + the access to the Signal fonctionalities.
Download the archive corresponding to your operating system.
Source distributions
Download the archive
AADL to SIGNAL translator sources
Update site
The URL is http://www.irisa.fr/espresso/Polychrony/update (select the AADL2SIGNAL part)
Testing your environment
To test the AADL to SIGNAL transaltor, you can donwnload the
Examples. Under Eclipse, import them as "General->Existing Project into Workspace".
Then, consult the
AADL to SIGNAL User Guide.