|
 ABSTRACT
LUSTRE is a synchronous data-flow language for programming systems which interact with their environments in real-time. After an informal presentation of the language, we describe its semantics by means of structural inference rules. Moreover, we show how to use this semantics in order to generate efficient sequential code, namely, a finite state automaton which represents the control of the program. Formal rules for program transformation are also presented.
REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
1
|
|
| |
2
|
D. Austry and G. Boudol. Alg~bre de processus et synchronisation. Theor. Comp. Sci., 30(1):91-131, 1984.
|
| |
3
|
S. A. Babiker, R. A. Fleming, and R. E. Milne. A Tutorial for LTS. Technical Report 225.84.1, Standard Telecommunication Laboratories, 1984.
|
| |
4
|
J-L. Bergerand. LUSTRE: Un langage d~elaratif pour le temps rdel. PhD thesis, University of Grenoble, 1986.
|
| |
5
|
J-L. Bergerand, P. Caspi, N. Halbwachs, D. Pilaud, and E. Pilaud. Outline of a real-time data-flow language. In Real-time Systems Sumposium, pages 33-42, San Diego, 1985.
|
| |
6
|
3-L. Bergerand, P. Caspi, N. Halbwa~hs, and J. A. Plaice. Automatic control systems programming using a real-time declarative language. In ~th IFAG/IFIP Symposium on Software/or Computer Control (SO- COCO), Graz, Austria, 1986.
|
| |
7
|
|
| |
8
|
|
| |
9
|
C. Buore. Sgmantique op4rationnelle du langage LUS- TRE. Master's thesis, University of Grenoble, 1986.
|
| |
10
|
|
| |
11
|
G. Gonthier. Private communication, 1985.
|
| |
12
|
N. Halbwadas, A. Longchampt, and D. Pilaud. Describing and designing circuits by means of a synchronous declarative language. In IFIP Working Conference from HDL Descriptions to Guaranteed Correct Circuit Designs, Grenoble, 1986.
|
| |
13
|
N. Halbwachs and D. Pilaud. From a real-time dataflow language to a multiple time-scale temporal logic. In preparation, 1986.
|
| |
14
|
N. Halbwachs and D. Pilaud. Use of a real-time declarative language for systolic array design and simulation. In International Workshop on Systolic Arraps, Oxford, 1986.
|
| |
15
|
D. Harel. Statecharts: a visual approach to complex systems. In Advanced NATO institute on Logics and Models for Verification and Specification of Concurrent Spstems, La CoUe-sur-Loup, France, 1984.
|
| |
16
|
G. Kahn. The semantics of a simple language for parallel programming. In {FIP Congress, 1974,
|
| |
17
|
P. le Guernic, A. Benveniste, P. Bournai, and T. Gautier. SIGNAL: a data-flow oriented language for signal procensing. Technical Report 378, INRIA, 1985.
|
 |
18
|
|
| |
19
|
R. Milner. Calculi for synchrony and asynchrony. Theor. Comp. Sci., 25(3):267-310, 1983.
|
| |
20
|
G.D. Plotkin. A structural approach to operational semantics. Technical Report DAIMI FN-19,/trhus University, 1981.
|
| |
21
|
|
| |
22
|
|
CITED BY 67
|
|
|
|
|
|
|
|
Patrice Quinton , Tanguy Risset, Structured scheduling of recurrence equations: theory and practice, Embedded processor design challenges: systems, architectures, modeling, and simulation-SAMOS, Springer-Verlag New York, Inc., New York, NY, 2002
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
G. Blair , M. Papathomas , G. Coulson , P. Robin , L. Hazard , J. Stefani , F. Horn, Supporting real-time multimedia behaviour in open distributed systems: an approach based on synchronous languages, Proceedings of the second ACM international conference on Multimedia, p.299-306, October 15-20, 1994, San Francisco, California, United States
|
|
|
Carlo Ghezzi , Richard A. Kennerer, Executing formal specifications: the ASTRAL to TRIO translation approach, Proceedings of the symposium on Testing, analysis, and verification, p.112-122, October 08-10, 1991, Victoria, British Columbia, Canada
|
|
|
Pierrick Gachet , Christophe Mauras , Patrice Quinton , Yannick Saouter, Alpha du centaur: a prototype environment for the design of parallel regular alorithms, Proceedings of the 3rd international conference on Supercomputing, p.235-243, June 05-09, 1989, Crete, Greece
|
|
|
Bruno d'Ausbourg , Christel Seguin , Guy Durrieu , Pierre Roché, Helping the automated validation process of user interfaces systems, Proceedings of the 20th international conference on Software engineering, p.219-228, April 19-25, 1998, Kyoto, Japan
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Henrik Nilsson , Antony Courtney , John Peterson, Functional reactive programming, continued, Proceedings of the 2002 ACM SIGPLAN workshop on Haskell, p.51-64, October 03, 2002, Pittsburgh, Pennsylvania
|
|
|
|
|
|
|
|
|
|
|
|
L. du Bousquet , F. Ouabdesselam , J.-L. Richier , N. Zuanon, Lutess: a specification-driven testing environment for synchronous software, Proceedings of the 21st international conference on Software engineering, p.267-276, May 16-22, 1999, Los Angeles, California, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Emilena Specht , Ricardo Miotto Redin , Luigi Carro , Luis da Cunha Lamb , Erika Fernandes Cota , Flávio Rech Wagner, Analysis of the use of declarative languages for enhanced embedded system software development, Proceedings of the 20th annual conference on Integrated circuits and systems design, September 03-06, 2007, Copacabana, Rio de Janeiro
|
|
|
|
|
|
|
|
|
|
|
|
Albert Benveniste , Paul Caspi , Marco di Natale , Claudio Pinello , Alberto Sangiovanni-Vincentelli , Stavros Tripakis, Loosely time-triggered architectures based on communication-by-sampling, Proceedings of the 7th ACM & IEEE international conference on Embedded software, September 30-October 03, 2007, Salzburg, Austria
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Adobe Acrobat
QuickTime
Windows Media Player
Real Player
Pdf
D.4