Skip to main content
SpringerLink
Log in

Implementing reactive programs on circuits a hardware implementation of LUSTRE

  • Conference paper
  • First Online:
Real-Time: Theory in Practice (REX 1991)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 600))

Abstract

Synchronous languages constitute effective tools for programming real-time systems as far as they can be efficiently implemented. Implementing them by hardware is of course a good way for increasing their performances. Moreover, configurable hardware is now available which makes practical such an implementation. This paper describes an implementation of the synchronous declarative language Lustre on a “programmable active memory”.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. M. C. Browne and E. M. Clarke. SML-a high-level language for the design and verification of finite state machines. Research Report CMU-CS-85-179, Carnegie Mellon University, 1985.

    Google Scholar 

  2. G. Berry, P. Couronné, and G. Gonthier. Synchronous programming of reactive systems, an introduction to Esterel. Technical Report 647, INRIA, 1987.

    Google Scholar 

  3. G. Berry. A hardware implementation of pure Esterel. In ACM Workshop on Formal Methods in VLSI Design, January 1991.

    Google Scholar 

  4. G. Berry and G. Gonthier. The synchronous programming language Esterel, design, semantics, implementation. Technical Report 327, INRIA, 1985. to appear in Science of Computer Programming.

    Google Scholar 

  5. A. Benveniste and P. LeGuernic. Hybrid dynamical systems theory and the Signal language. IEEE Transactions on Automatic Control, 35(5):535–546, may 1990.

    Article  Google Scholar 

  6. P. Bertin, D. Roncin, and J. Vuillemin. Introduction to programmable active memories. Technical Report, Digital Paris Research Laboratory, June 1989.

    Google Scholar 

  7. P. Caspi, D. Pilaud, N. Halbwachs, and J. Plaice. Lustre: a declarative language for programming synchronous systems. In 14th ACM Symposium on Principles of Programming Languages, January 1987.

    Google Scholar 

  8. D. Harel. Statecharts: a visual approach to complex systems. In Advanced NATO Institute on Logics and Models for Verification and Specification of Concurrent Systems, 1984.

    Google Scholar 

  9. N. Halbwachs, P. Raymond, and C. Ratel. Generating efficient code from data-flow programs. In Third International Symposium on Programming Language Implementation and Logic Programming, Passau, august 1991.

    Google Scholar 

  10. F. Rocheteau. Programmation d'un circuit massivement parallèle à l'aide d'un langage déclaratif synchrone. Technical Report SPECTRE L10, IMAG, Grenoble, june 1989.

    Google Scholar 

  11. Xilinx, Inc. The programmable gate array data book. 1988. Product Specification.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Paris Research Laboratory, DEC, France

    Frédéric Rocheteau

  2. IMAG/LGI, Grenoble

    Nicolas Halbwachs

Authors
  1. Frédéric Rocheteau
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Nicolas Halbwachs
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

J. W. de Bakker C. Huizing W. P. de Roever G. Rozenberg

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Rocheteau, F., Halbwachs, N. (1992). Implementing reactive programs on circuits a hardware implementation of LUSTRE. In: de Bakker, J.W., Huizing, C., de Roever, W.P., Rozenberg, G. (eds) Real-Time: Theory in Practice. REX 1991. Lecture Notes in Computer Science, vol 600. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0031993

Download citation

  • DOI: https://doi.org/10.1007/BFb0031993

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-55564-3

  • Online ISBN: 978-3-540-47218-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation