Lustre is a formally defined

Formal methods

In computer science and software engineering, formal methods are a particular kind of mathematically-based techniques for the specification, development and verification of software and hardware systems...

, declarative, and synchronous

Synchronous programming language

A synchronous programming language is a computer programming language optimized for programming reactive systems, systems that are often interrupted and must respond quickly. Many such systems are also called realtime systems, and are found often in embedded uses. The term 'reactive' is chosen to...

 dataflow programming language for programming reactive systems. It began as a research project in the early 1980s. In 1993 it progressed to practical, industrial use in a commercial product as the core language of the industrial environment SCADE, developed by Esterel Technologies

Esterel Technologies

Esterel Technologies is a supplier of model-based design, validation, and code generation tools for safety-critical software and hardware applications. Esterel’s tools create formal specifications that produce control designs code in software and/or hardware....

. It is now used for critical control software in aircraft

Airbus

Airbus SAS is an aircraft manufacturing subsidiary of EADS, a European aerospace company. Based in Blagnac, France, surburb of Toulouse, and with significant activity across Europe, the company produces around half of the world's jet airliners....

, helicopters

Eurocopter Group

The Eurocopter Group is a global helicopter manufacturing and support company. It is the largest in the industry in terms of revenues and turbine helicopter deliveries. Its head office is located on the property of Marseille-Provence International Airport in Marignane, France, near Marseille...

, and nuclear power plants.

See also

• SCADE (Software Critical Application Development Environment), a lustre-based IDE generating C-code
• Esterel
  Esterel
  Esterel is a synchronous programming language for the development of complex reactive systems. The imperative programming style of Esterel allows the simple expression of parallelism and preemption...
  
  
• SIGNAL (another dataflow-oriented synchronous language)
• Synchronous programming language
  Synchronous programming language
  A synchronous programming language is a computer programming language optimized for programming reactive systems, systems that are often interrupted and must respond quickly. Many such systems are also called realtime systems, and are found often in embedded uses. The term 'reactive' is chosen to...
  
  
• Dataflow programming

External links

• Synchrone Lab Official website
• SCADE product page