LUSTRE
(A French acronym for Synchronous real-time Lucid). Real-time dataflow language
for synchronous systems, especially automatic control and signal processing. A
Lucid subset, plus timing operators and user-defined clocks.
Designed for automatic control applications. It is based on the idea that
automatic control engineers use to analyse, and specify their systems in terms
of functions over sequences (sampled signals). It thus seems both safe and cost
effective to try to compile directly those descriptions into executable code. A
lot of work has been done, so as to get efficient compilation, and also in
formal verification. The language has been used in nuclear plant control, and
will be used in aircraft control.
["Outline of a Real-Time Data-Flow Language", J.-L. Bergerand et al, Proc IEE-CS
Real Time Systems Symp, San Diego, IEEE Dec 1985, pp. 33-42].
["LUSTRE: A Declarative Language for Programming Synchronous Systems", P. Caspi
et al, Conf Rec 14th Ann ACM Symp on Princ Prog Langs, 1987].
(1994-10-12)
Nearby terms:
lurking « luser « Luser Attitude Re-adjustment Tool
«
LUSTRE » lv » lvalue » LVD
|
