Applied to the case study production cell
  • Reinhard Budde
Part of the Lecture Notes in Computer Science book series (LNCS, volume 891)


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.


Production Cell Input Event Cooperation Signal Present Statement Test Deposit Belt 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    F. Boussinot and R. de Simone. The Esterel Language. Another Look at Real Time Programming, Proceedings of the IEEE, 79(9):1293–1304, 1991Google Scholar
  2. [2]
    G. Berry. The Semantics of Pure Esterel. In Proc. Marktoberndorf Intl. Summer School on Program Design Calculi, LNCS, Springer Verlag, 1993Google Scholar
  3. [3]
    V. Roy and R. de Simone. Auto and Autograph. In R. Kurshan, editor, Proc. of Workshop in Computer Aided Verification, New-Brunswick, June 1990Google Scholar
  4. [4]
    R. Budde. A Production Cell in ESTEREL — A Case Study, Technical Report, GMD, 1994.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • Reinhard Budde
    • 1
  1. 1.GMD BirlinghovenGermany

Personalised recommendations