Download

The Polychrony toolset distribution, contains:

• The Signal Toolbox, a batch compiler for the Signal language. An associated GUI is also provided.
• the following components that run under Eclipse (tested on Oxygen version):
  • The SSME environment, a front-end to the Signal Toolbox in the Eclipse environment (element of the PolarSys platform). It requires the Signal Toolbox for compiling SSME models.
  • An AADL to Signal translator, under the Eclipse environment, UNDER CONSTRUCTION

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.