Skip to content
  ESPRESSO  
 

Softwares

Document Actions

The Espresso Team develops the Polychrony (donwload site) environment based on the Signal language. Polychrony is open-source software under CECILL-B license.

Polychrony is an integrated development environment and technology demonstrator consisting of a compiler, graphical editors and a model checker. 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 company GeenSys supplies a commercial implementation of Polychrony, called RT-Builder, used for industrial scale projects by Snecma/Hispano-Suiza and Airbus Industries.

Created by admin
Last modified 22.10.2009 04:27 PM