Softwares
Document Actions
The Espresso Team develops the Polychrony (donwload site) environment based on the Signal language.
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 GeenSoft supplies a commercial implementation of Polychrony, called RT-Builder, used for industrial scale projects by Snecma/Hispano-Suiza and Airbus Industries.