The Synchronous Language Lustre

The Synchronous Language Lustre

Almost 30 years ago, the ``synchronous’’ team of the Verimag laboratory proposed the formally-defined synchronous language Lustre, for the development of critical control software. In 1993, Lustre was transferred successfully to industry. It is now the core of the industrial tool SCADE provided by Esterel Technologies. SCADE is used by Airbus, Schneider Electric, and Airbus Helicopter, among others. See the Lustre and SCADE history on the Esterel Technologies website, and this Wikipedia page).

In 2004, Paul Caspi and Nicolas Halbwachs received the Monpetit price from the French Academy of Sciences, for their work on synchronous languages.

Contact | Site Map | Site powered by SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 1075932