Polychrony/SME
Download
The Polychrony toolset distribution, contains the three main components:- The Signal Toolbox, a batch compiler for the Signal language.
- The Signal GUI distribution, a Graphical User Interface to the Signal Toolbox.
- The SME environment, a front-end to the Signal Toolbox in the Eclipse environment.
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
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.Latest stable release (V4.18.1, December 08/2011)
Source distributions
| Platform | Signal Toolbox | Signal Toolbox+GUI |
|---|---|---|
| All | Signal Toolbox Source | Signal Toolbox+GUI Source |
Binary distributions
| Platform | Signal Toolbox | Signal Toolbox+GUI |
|---|---|---|
| Linux | 32bits 64bits | 32bits 64bits |
Previous stable release (V4.18, July 07/2011)
Source distributions
| Platform | Signal Toolbox | Signal Toolbox+GUI |
|---|---|---|
| All | Signal Toolbox Source | Signal Toolbox+GUI Source |
Binary distributions
| Platform | Signal Toolbox | Signal Toolbox+GUI |
|---|---|---|
| Linux | 32bits 64bits | 32bits 64bits |
| MacOS/Intel | 64bits | 64bits |
| Windows | 32bits 64bits | 32bits 64bits |
The SME environment
The SME environment needs the presence of the Eclipse
environment and of the Java Runtime. The access to compiler services is only available for some platforms
specified in the following table.
The graphical modeler of the SME environment depends also of a sub-part of the
TopCased distribution.
The SME environment and also the TopCased toolkit has other dependencies, but these plugins are on Eclipse update sites. Here, you can find the installation procedure.
The zip file you can download in the following table consists in the SME update site. To obtain the current version, you can also use direclty the online update site as specified in the installation procedure.
| Versions | Java Version | Eclipse Version | TopCased version | Platform supported |
|---|---|---|---|---|
| 1.0.0 | At least Java 1.6 | Helios 3.6.2 | At least 4.1.0 | Windows x86/x64, Linux x86/x64 |
The SME environment and the dependency plugins (TopCased, EMF, GMF, GEF, etc) are under Eclipse Public License.
