Skip to main content
SpringerLink
Log in

Esterel

Applied to the case study production cell

  • Chapter
  • First Online:
Book cover Formal Development of Reactive Systems

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

Abstract

The aim of this contribution was to design a control program for the production cell using Esterel, an imperative language for reactive programming. Esterel is based on the perfect synchronization hypothesis and relies on signal broadcasting. The Esterel program is executable. It may either be simulated, or, interfaced with simple C-functions, run as a UNIX-process, or cross-compiled to be executed by a micro-controller. Some properties of the program are proven by an Esterel-compatible model-checker.

The contribution explains the language and the synchronous paradigm, describes the integration of Esterel into a complete embedded system, discusses design style and use of compiler, theorem prover and graphic tool.

The first section introduces to the language, the second to the design of the production cell. The third section discusses in more detail the ROBOT_PRESS module and how properties are proven, the fourth the interfacing of Esterel with the “real” environment. In the last section experiences are reported.

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. F. Boussinot and R. de Simone. The Esterel Language. Another Look at Real Time Programming, Proceedings of the IEEE, 79(9):1293–1304, 1991

    Google Scholar 

  2. G. Berry. The Semantics of Pure Esterel. In Proc. Marktoberndorf Intl. Summer School on Program Design Calculi, LNCS, Springer Verlag, 1993

    Google Scholar 

  3. V. Roy and R. de Simone. Auto and Autograph. In R. Kurshan, editor, Proc. of Workshop in Computer Aided Verification, New-Brunswick, June 1990

    Google Scholar 

  4. R. Budde. A Production Cell in ESTEREL — A Case Study, Technical Report, GMD, 1994.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. GMD Birlinghoven, Germany

    Reinhard Budde

Authors
  1. Reinhard Budde
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Claus Lewerentz Thomas Lindner

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Budde, R. (1995). Esterel. In: Lewerentz, C., Lindner, T. (eds) Formal Development of Reactive Systems. Lecture Notes in Computer Science, vol 891. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58867-1_49

Download citation

  • DOI: https://doi.org/10.1007/3-540-58867-1_49

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-58867-2

  • Online ISBN: 978-3-540-49133-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation