Polychrony
Download
The Polychrony toolset distribution, contains:- The Signal Toolbox, a batch compiler for the Signal language. An associated GUI is also provided.
- The SSME environment, a front-end to the Signal Toolbox under the Eclipse environment (element of the PolarSys platform). It requires the Signal Toolbox for compiling SSME models.
- An AADL to Signal translator for 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.