Some Projects

• Four projects whose aim is to provide a design environment for critical embedded software (includes Polychrony/SME plugins):
  • OpenEmbeDD
  • SPaCIFY
  • Topcased
  • OPEES

General

• Polarsys is a site on open source solutions for embedded systems
• 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