|
|
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.
|
