Programming Examples

Programming Examples



Some Esterel Programming Examples

A basic example: a reflex measuring game

  • Programming a reflex game in Esterel v3 [ PostScript ] [ PDF ]
    Raphaël Bernhard, Gérard Berry, Frédéric Boussinot, Georges Gonthier, Annie Ressouche, Jean-Paul Rigault, Jean-Marc Tanzi. May 1989.

More elaborate: a digital wristwatch

  • Programming a digital wristwatch in Esterel v3.2 [ PostScript ] [ PDF ]
    Gérard Berry. Rapport de recherche n°8, Centre de Mathématiques Appliquées, Ecole des Mines de Paris, 1991.

Still more elaborate: a communication protocol

  • Incremental Development of an HDCL Protocol in Esterel [ PostScript ] [ PDF ]
    Gérard Berry, Georges Gonthier. Proc. Ninth International Symposium on Protocol Specification, Testing, and Verification, North Holland, 1989.

The Lego Robot dance: Lego Mindstorms robots programming in esterel

  • the Esterel Legodance program [ tgz ]
    Gérard Berry, linux version, Nt version not yet available, 2000.
    Requires Esterel Lego code generator and LegOS.

The Digital Wristwatch in esterel v5_91 beta

  • the new Digital wristwatch in Esterel v5_91 beta [ tgz ] , [ zip ]
    Gérard Berry, linux version, Nt version, 2000.