The synchronous data flow programming language LUSTRE

The authors describe LUSTRE, a data flow synchronous language designed for programming reactive systems-such as automatic control and monitoring systems-as well as for describing hardware. The data flow aspect of LUSTRE makes it very close to usual description tools in these domains (block-diagrams,...

Full description

Saved in:
Bibliographic Details
Published in:Proceedings of the IEEE 1991-09, Vol.79 (9), p.1305-1320
Main Authors: Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.
Format: Article
Language:English
Subjects:
Aerospace control
Applied sciences
Automatic programming
Computer languages
Computer science
control theory
systems
Computerized monitoring
Delay
Design methodology
Exact sciences and technology
Frequency synchronization
Hardware design languages
Programming languages
Protocols
Real time systems
Software
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:The authors describe LUSTRE, a data flow synchronous language designed for programming reactive systems-such as automatic control and monitoring systems-as well as for describing hardware. The data flow aspect of LUSTRE makes it very close to usual description tools in these domains (block-diagrams, networks of operators, dynamical sample-systems, etc.), and its synchronous interpretation makes it well suited for handling time in programs. Moreover, this synchronous interpretation allows it to be compiled into an efficient sequential program. The LUSTRE formalism is very similar to temporal logics. This allows the language to be used for both writing programs and expressing program properties, which results in an original program verification methodology.< >
ISSN:0018-9219
1558-2256
DOI:10.1109/5.97300