The Polychrony toolset, the Signal language and the SME environment have been designed at IRISA as a technology demonstrator for the research activities of the ESPRESSO project (2000-2012) and its academic or industrial partners. It is distributed and maintained by INRIA project-team TEA on the platform of the Polarsys Industry Working Group, project POP (Polychrony on Polarsys).

The Polychrony Toolset

Polychrony is an integrated development environment and technology demonstrator. It provides a unified model-driven environment to perform embedded system design exploration by using top-down and bottom-up design methodologies formally supported by design model transformations from specification to implementation and from synchrony to asynchrony.

The Polychrony toolset, based on Signal, provides a formal framework:

The principle application areas for the Signal language are that of embedded, real-time, critical systems. Typical domains include:

It constitutes a development environment for critical systems, from abstract specification until deployment on distributed systems. It relies on the application of formal methods, allowed by the representation of a system, at the different steps of its development, in the Signal polychronous semantic model.

Based on the same polychronous principles, there is a commercial tool, RT-Builder, provided by the Geensoft company (Dassault Systèmes).

Polychrony is a set of tools composed of:

The Signal language

Signal is based on synchronized data-flow (flows + synchronization): a process is a set of equations on elementary flows describing both data and control.

The Signal formal model provides the capability to describe systems with several clocks (polychronous systems) as relational specifications. Relations are useful as partial specifications and as specifications of non-deterministic devices (for instawre/Oecifications of non-deterministicr procesfound r spec, progrec, py torermironmer)p>The Signal Us, cret procesract spo asynchrony.

>Based on thA shsige acroduatementatal moded p ignal formaent have been d equact nt-en