v
Esterel - Publications - Examples and Applications
Programming and Applications Examples
Some 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.
Application Studies
Using Esterel for safe telecommunication software:
-
Safety property verification of Esterel programs
and applications to telecommunications software.
Lalita Jategaonkar Jagadeesan, Carlos Puchol, and James E. Von Olnhausen.
In Proceedings of the Seventh Conference on Computer-Aided Verification,
July 1995.
Terminal control protocol from AT&T Bell Labs:
-
Terminal Call Processing in Esterel
G. Murakami, Ravi Sethi.
Proc. IFIP 92 World Computer Congress, Madrid, Spain, 1992.
Switching Software from AT&T Bell Labs
-
A formal approach to reactive systems software:
A telecommunications application in Esterel.
Lalita Jategaonkar Jagadeesan, Carlos Puchol, and James E. Von Olnhausen.
In Proceedings of the Workshop on Industrial-Strength Formal
Specification Techniques,
April 1995.
Man-machine interaction devices from INRIA:
-
Programming the Behavior of Graphical Objects Using Esterel
D. Clement, J. Incerpi.
TAPSOFT'89, Springer VerlagLNCS 352, 1989.
Two papers on Esterel in robotics:
-
A Synchronous Approach for Control Sequencing in Robotics Applications
Bernard Espiau, Eve Coste-Maniere.
Proc. IEEE International Workshop on Intelligent Motion, pp 503-508,
Istambul, Turkey, 1990.
-
A Programming and Simulation Tool for Robotics Workcells
Eve Coste-Maniere, B. Faverjon.
Proc. International Conference on Automation, Robotics,
and Computer Vision, Singapore, 1990.
More on robotics: towards unifying synchronous and object-oriented programs:
-
Task-Level Robot Programming Combining Object-Oriented Design and
Synchronous Approach: a Tentative Study
Eve Coste-Maniere, Bernard Espiau, E. Rutten.
INRIA Research Report n°1441, 1991.
A system that currently uses Esterel (and only Esterel) as its input
specification model
-
Hardware-Software Codesign of Embedded Systems
M. Chiodo, P. Giusto, H. Hsieh, A. Jurecska, L. Lavagno,
A. Sangiovanni-Vincentelli.
IEEE Micro, vol 14, n°4, pp 26-36, august 1994.
[or Abstract]
Using Esterel to generate protocols (INRIA
Rodeo
project):
-
Génération Automatique d'Implémentations Optimisées de Protocoles
C. Castelluccia
Phd Dissertation (in French) INRIA, Rodeo project, March 1996.
-
Generating Efficient Protocol Code from an Abstract Specification
C. Castelluccia, Walid Dabbous and Sean O'Malley
to appear in ACM SIGCOMM '96.
-
Modular Communication Subsystem Implementation using a Synchronous Approach
C. Castelluccia and W. Dabbous
Proceedings of the Usenix Symposium on High-Speed Networking, Oakland, California, U.S.A., August 1994.
-
A Compiler-Based Approach to Protocol Optimization
C. Castelluccia and P. Hoschka
Proceedings of the Third IEEE Worshop on the Architecture and Implementation of High Performance Communication Subsystem}, Mistic, Connecticut, U.S.A, August 1995 .
-
Automating Header Prediction
C. Castelluccia
Proceedings of the 1st Annual Workshop on Compiler Support For System Software, Tucson, Arizona, U.S.A., February 1996.
-
Génération Automatique d'Implémentations Optimisées de Protocoles
C. Castelluccia and W. Dabbous
Submitted to Conference Francophone d'Ingenierie des Protocoles (CFIP'96).
-
Automatic Protocol Code Optimizations
C. Castelluccia and W. Dabbous
Journal of Electrical and Electronic Engineering Australia - Special Issue on Networking, March 1996.
-
HIPPCO: A HIgh Performance Protocol Code Optimizer
C. Castelluccia and W. Dabbous
INRIA Technical report 2748, INRIA Sophia-Antipolis, December 1995.
-
Tailored Protocol Development Using Esterel
C. Castelluccia, I. Chrisment, W. Dabbous, C. Diot,C. Huitema, E. Siegel and R. DeSimone
INRIA Technical report 2374, INRIA Sophia-Antipolis, October 1994.
A modular process management with service guarantee:
-
Etude et prototypage en Esterel de la gestion de processus
d'un micro-noyau de système d'exploitation réparti avec garantie
de service
O. Potonniée,
Phd Dissertation (French),
Institut Blaise Pascal, 1996.