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