A synchronous language at work: the story of Lustre

Authors:
N. Halbwachs
Affiliations:
Verimag, Grenoble, France
Venue:
MEMOCODE '05 Proceedings of the 2nd ACM/IEEE International Conference on Formal Methods and Models for Co-Design
Year:
2005

Citing 0
Cited 6

Reactive parallel processing for synchronous dataflow

Proceedings of the 2010 ACM Symposium on Applied Computing
Static analysis of synchronous programs in signal for efficient design of multi-clocked embedded systems

Proceedings of the 2011 SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems
Teaching ‘concepts of programming languages' with ada

Ada-Europe'12 Proceedings of the 17th Ada-Europe international conference on Reliable Software Technologies
Formal verification of compiler transformations on polychronous equations

IFM'12 Proceedings of the 9th international conference on Integrated Formal Methods
Synchronous programming in audio processing: A lookup table oscillator case study

ACM Computing Surveys (CSUR)
Formal verification of synchronous data-flow program transformations toward certified compilers

Frontiers of Computer Science: Selected Publications from Chinese Universities

Quantified Score

Hi-index	0.00

Visualization

Abstract

We recall the story of the development of the synchronous data-flow language Lustre and of its industrial transfer inside the toolset SCADE. We try to analyse the reasons of its success, and to report the main lessons we got from the transfer of an academic concept into real industrial world.