LUSTRE: a declarative language for real-time programming

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

LUSTRE: a declarative language for real-time programming

Full text

Pdf (1.00 MB)

Source

Annual Symposium on Principles of Programming Languages archive
Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages table of contents

Munich, West Germany

Pages: 178 - 188

Year of Publication: 1987

ISBN:0-89791-215-2

Authors

P. Caspi	Laboratoire "Circuits et Systèmes", BP68, 38402 St Martin d'Hères, FRANCE
D. Pilaud	Laboratoire "Circuits et Systèmes", BP68, 38402 St Martin d'Hères, FRANCE
N. Halbwachs	Laboratoire de Génie Informatique, BP68, 38402 St Martin d'Hères, FRANCE
J. A. Plaice	Laboratoire de Génie Informatique, BP68, 38402 St Martin d'Hères, FRANCE

Sponsor

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 13, Downloads (12 Months): 143, Citation Count: 67

Additional Information:

abstract references cited by index terms collaborative colleagues peer to peer

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/41625.41641 What is a DOI?

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	William W. Wadge , Edward A. Ashcroft, LUCID, the dataflow programming language, Academic Press Professional, Inc., San Diego, CA, 1985
	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	Gérard Berry , Laurent Cosserat, The ESTEREL Synchronous Programming Language and its Mathematical Semantics, Seminar on Concurrency, Carnegie-Mellon University, p.389-448, July 09-11, 1984
	8	G. Berry , R. Sethi, From regular expressions to deterministic automata, Theoretical Computer Science, v.48 n.1, p.117-126, Dec., 1986
	9	C. Buore. Sgmantique op4rationnelle du langage LUS- TRE. Master's thesis, University of Grenoble, 1986.
	10	E. M. Clarke , E. A Emerson , A. P Sistla, Automatic Verification of Finite State Concurrent Systems Using TemporalLogic Specifications, University of Texas at Austin, Austin, TX, 1985
	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	James R. McGraw, The VAL Language: Description and Analysis, ACM Transactions on Programming Languages and Systems (TOPLAS), v.4 n.1, p.44-82, Jan. 1982 [doi>10.1145/357153.357157]
	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	Jean-Pierre Queille , Joseph Sifakis, Specification and verification of concurrent systems in CESAR, Proceedings of the 5th Colloquium on International Symposium on Programming, p.337-351, April 06-08, 1982
	22	Mary Sheeran, muFP, a language for VLSI design, Proceedings of the 1984 ACM Symposium on LISP and functional programming, p.104-112, August 06-08, 1984, Austin, Texas, United States [doi>10.1145/800055.802026]

CITED BY 67

	Bruno d'Ausbourg, Synthétiser I'intention d'un pilote pour Définir de nou-veaux équipements de bord, Proceedings of the 14th French-speaking conference on Human-computer interaction (Conférence Francophone sur l'Interaction Homme-Machine), p.145-152, November 26-29, 2002, Poitiers, France
	Conal Elliott, An Embedded Modeling Language Approach to Interactive 3D and Multimedia Animation, IEEE Transactions on Software Engineering, v.25 n.3, p.291-308, May 1999
	John Field , Maria-Cristina Marinescu , Christian Stefansen, Reactors: A data-oriented synchronous/asynchronous programming model for distributed applications, Theoretical Computer Science, v.410 n.2-3, p.168-201, February, 2009
	Conal Elliott, Modeling interactive 3D and multimedia animation with an embedded language, Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997, p.22-22, October 15-17, 1997, Santa Barbara, California
	Carlos Puchol , Douglas A. Stuart , Aloysius K. Mok, An Operational Semantics and Compiler for Real-Time Specifications, Integrated Computer-Aided Engineering, v.5 n.3, p.187-206, August 1998
	Alessandro Ricci , Mirko Viroli, A timed extension of ReSpecT, Proceedings of the 2005 ACM symposium on Applied computing, March 13-17, 2005, Santa Fe, New Mexico
	Zhanyong Wan , Walid Taha , Paul Hudak, Real-time FRP, ACM SIGPLAN Notices, v.36 n.10, October 2001
	Enno Scholz, Imperative streams—a monadic combinator library for synchronous programming, ACM SIGPLAN Notices, v.34 n.1, p.261-272, Jan. 1999
	Abdesselam Lakehal , Ioannis Parissis, Structural test coverage criteria for lustre programs, Proceedings of the 10th international workshop on Formal methods for industrial critical systems, p.35-43, September 05-06, 2005, Lisbon, Portugal
	David White , Gerald Lüttgen, Embedded systems programming: accessing databases from Esterel, EURASIP Journal on Embedded Systems, 2008, p.1-17, January 2008
	Stavros Tripakis , Christos Sofronis , Paul Caspi , Adrian Curic, Translating discrete-time simulink to lustre, ACM Transactions on Embedded Computing Systems (TECS), v.4 n.4, p.779-818, November 2005
	Conal Elliott , Paul Hudak, Functional reactive animation, ACM SIGPLAN Notices, v.32 n.8, p.263-273, Aug. 1997
	Dariusz Biernacki , Jean-Louis Colaço , Gregoire Hamon , Marc Pouzet, Clock-directed modular code generation for synchronous data-flow languages, ACM SIGPLAN Notices, v.43 n.7, July 2008
	Greg Hoover , Forrest Brewer , Timothy Sherwood, Extensible control architectures, Proceedings of the 2006 international conference on Compilers, architecture and synthesis for embedded systems, October 22-25, 2006, Seoul, Korea
	Kimberley Burchett , Gregory H. Cooper , Shriram Krishnamurthi, Lowering: a static optimization technique for transparent functional reactivity, Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, January 15-16, 2007, Nice, France
	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
	Zhanyong Wan , Paul Hudak, Functional reactive programming from first principles, ACM SIGPLAN Notices, v.35 n.5, p.242-252, May 2000
	Abdesselam Lakehal , Ioannis Parissis, Automated Measure of Structural Coverage for LUSTRE Programs: a Case Study, Proceedings of the Second International Workshop on Automation of Software Test, p.12, May 20-26, 2007
	Roumen Kaiabachev , Walid Taha , Angela Zhu, E-FRP with priorities, Proceedings of the 7th ACM & IEEE international conference on Embedded software, September 30-October 03, 2007, Salzburg, Austria
	Andrea Omicini , Alessandro Ricci , Mirko Viroli, Timed environment for web agents, Web Intelligence and Agent Systems, v.5 n.2, p.161-175, April 2007
	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
	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
	Henrik Nilsson, Dynamic optimization for functional reactive programming using generalized algebraic data types, ACM SIGPLAN Notices, v.40 n.9, September 2005
	Paul Caspi , Norman Scaife , Christos Sofronis , Stavros Tripakis, Semantics-preserving multitask implementation of synchronous programs, ACM Transactions on Embedded Computing Systems (TECS), v.7 n.2, p.1-40, February 2008
	Jamal Guennouni, Using Ada as a language for a CAD tool development: lessons and experiences, Proceedings of the fifth Washington Ada symposium on Ada, p.85-95, July 1988, Tyson's Corner, Virginia, United States
	M. Alpuente , M. M. Gallardo , E. Pimentel , A. Villanueva, An Abstract Analysis Framework for Synchronous Concurrent Languages based on source--to--source Transformation, Electronic Notes in Theoretical Computer Science (ENTCS), 206, p.3-21, April, 2008
	Sean McDirmid, Living it up with a live programming language, ACM SIGPLAN Notices, v.42 n.10, October 2007
	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
	Florence Maraninchi , Yann Rémond, Mode-automata: a new domain-specific construct for the development of safe critical systems, Science of Computer Programming, v.46 n.3, p.219-254, March 2003
	Frédéric Boussinot , Robert de Simone, The SL Synchronous Language, IEEE Transactions on Software Engineering, v.22 n.4, p.256-266, April 1996
	Roberto Lublinerman , Christian Szegedy , Stavros Tripakis, Modular code generation from synchronous block diagrams: modularity vs. code size, Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, January 21-23, 2009, Savannah, GA, USA
	Jean-Marie Jacquet , Isabelle Linden, Fully abstract models and refinements as tools to compare agents in timed coordination languages, Theoretical Computer Science, v.410 n.2-3, p.221-253, February, 2009
	David Monniaux, The pitfalls of verifying floating-point computations, ACM Transactions on Programming Languages and Systems (TOPLAS), v.30 n.3, p.1-41, May 2008
	Ross Paterson, A new notation for arrows, ACM SIGPLAN Notices, v.36 n.10, October 2001
	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
	Yves Le Traon , Farid Ouabdesselam , Chantal Robach , Benoit Baudry, From diagnosis to diagnosability: axiomatization, measurement and application, Journal of Systems and Software, v.65 n.1, p.31-50, 15 January 2003
	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
	Ioannis Parissis , Farid Ouabdesselam, Specification-based testing of synchronous software, ACM SIGSOFT Software Engineering Notes, v.21 n.6, p.127-134, Nov. 1996
	Christophe Ratel , Nicolas Halbwachs , Pascal Raymond, Programming and verifying critical systems by means of the synchronous data-flow language LUSTRE, ACM SIGSOFT Software Engineering Notes, v.16 n.5, p.112-119, Dec. 1991
	David Harel, Statecharts in the making: a personal account, Proceedings of the third ACM SIGPLAN conference on History of programming languages, p.5-1-5-43, June 09-10, 2007, San Diego, California
	Isabelle Linden , Jean-Marie Jacquet, On the Expressiveness of Timed Coordination via Shared Dataspaces, Electronic Notes in Theoretical Computer Science (ENTCS), v.180 n.2, p.71-89, June, 2007
	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
	Hugo Fierz, The CIP method: component- and model-based construction of embedded systems, ACM SIGSOFT Software Engineering Notes, v.24 n.6, p.375-392, Nov. 1999
	Ryan R. Newton , Lewis D. Girod , Michael B. Craig , Samuel R. Madden , John Gregory Morrisett, Design and evaluation of a compiler for embedded stream programs, ACM SIGPLAN Notices, v.43 n.7, July 2008
	Thomas P. Jensen, Clock analysis of synchronous dataflow programs, Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, p.156-167, June 21-23, 1995, La Jolla, California, United States
	Michela Degl'Innocenti , Gian Luigi Ferrari , Giuliano Pacini , Franco Turini, RSF: A Formalism for Executable Requirement Specifications, IEEE Transactions on Software Engineering, v.16 n.11, p.1235-1246, November 1990
	David P. Monniaux, Automatic modular abstractions for linear constraints, Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, January 21-23, 2009, Savannah, GA, USA
	Xavier Nicollin , Joseph Sifakis , Sergio Yovine, Compiling Real-Time Specifications into Extended Automata, IEEE Transactions on Software Engineering, v.18 n.9, p.794-804, September 1992
	Simone Tini, An axiomatic semantics for the synchronous language Gentzen, Journal of Computer and System Sciences, v.66 n.2, p.316-348, March 2003
	Alberto Luigi Sangiovanni-Vincentelli , Alessandro Pinto, Embedded system education: a new paradigm for engineering schools?, ACM SIGBED Review, v.2 n.4, p.5-14, October 2005
	Stephen A. Edwards , Olivier Tardieu, SHIM: a deterministic model for heterogeneous embedded systems, Proceedings of the 5th ACM international conference on Embedded software, September 18-22, 2005, Jersey City, NJ, USA
	Edward A. Lee, Mulitdimensional Streams Rooted in Dataflow, Proceedings of the IFIP WG10.3. Working Conference on Architectures and Compilation Techniques for Fine and Medium Grain Parallelism, p.295-306, January 20-22, 1993
	Vincenza Carchiolo , Michele Malgeri , Guiseppe Mangioni, Hardware/software synthesis of formal specifications in codesign of embedded systems, ACM Transactions on Design Automation of Electronic Systems (TODAES), v.5 n.3, p.399-432, July 2000
	Nicolas Halbwachs , Fabienne Lagnier , Christophe Ratel, Programming and Verifying Real-Time Systems by Means of the Synchronous Data-Flow Language LUSTRE, IEEE Transactions on Software Engineering, v.18 n.9, p.785-793, September 1992
	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
	Pascalin Amagbégnon , Loïc Besnard , Paul Le Guernic, Implementation of the data-flow synchronous language SIGNAL, ACM SIGPLAN Notices, v.30 n.6, p.163-173, June 1995
	Alberto L. Sangiovanni-Vincentelli , Alessandro Pinto, An overview of embedded system design education at berkeley, ACM Transactions on Embedded Computing Systems (TECS), v.4 n.3, p.472-499, August 2005
	Bill Lin, Compiling concurrent programs for embedded sequential execution, Integration, the VLSI Journal, v.40 n.2, p.106-117, February, 2007
	Jesper H. Spring , Jean Privat , Rachid Guerraoui , Jan Vitek, Streamflex: high-throughput stream programming in java, ACM SIGPLAN Notices, v.42 n.10, October 2007
	Leslie S. Smith, A Framework for Neural Net Specification, IEEE Transactions on Software Engineering, v.18 n.7, p.601-612, July 1992
	Roberto M. Amadio, A synchronous π-calculus, Information and Computation, v.205 n.9, p.1470-1490, September, 2007
	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
	Stephen A. Edwards , Edward A. Lee, The semantics and execution of a synchronous block-diagram language, Science of Computer Programming, v.48 n.1, p.21-42, July 2003
	I. Linden , J.-M. Jacquet , K. De Bosschere , A. Brogi, On the expressiveness of timed coordination models, Science of Computer Programming, v.61 n.2, p.152-187, July 2006
	Paul Caspi , Marc Pouzet, Synchronous Kahn networks, ACM SIGPLAN Notices, v.31 n.6, p.226-238, June 15, 1996
	Stephen A. Edwards, Tutorial: Compiling concurrent languages for sequential processors, ACM Transactions on Design Automation of Electronic Systems (TODAES), v.8 n.2, p.141-187, April 2003
	Marlon Dumas , Marie-Christine Fauvet , Pierre-Claude Scholl, TEMPOS: A Platform for Developing Temporal Applications on Top of Object DBMS, IEEE Transactions on Knowledge and Data Engineering, v.16 n.3, p.354-374, March 2004