Some Projects

• The ARTIST excellence network.
• Three projects whose aim is to provide a design environment for critical embedded software (includes Polychrony/SME plugins):
  • OpenEmbeDD
  • SPaCIFY
  • Topcased

Commercial version of Signal

• RT-Builder (Sildex) from Geensoft

General

• SYNALP is a site on synchronous languages

Related tools

• SynDEx: CAD tool for optimizing distributed real-time embedded applications
• Sigali: the associated prover of Signal.

Some videos using Polychrony

• Signal/Syndex
• AADL/SIGNAL
• ADELE models, Producer/Consumer example
• ADDL/SSME models, Producer/Consumer example
• Simulation, Producer/Consumer example