|
|
Research Papers on Esterel
- An
implementation of Constructive Synchronous Programs in POLIS:
G. Berry, E. M. Sentovich (Cadence). ellens@cadence.com
Formal Methods in System Design 17 (2): 165-191.
© Kluwer Academic Publishers, October 2000.
The Polis System
system that currently uses Esterel as its input specification model
- Hardware-Software
Codesign of Embedded Systems : The Polis Approach
F. Balarin, M. Chiodo, P. Giusto, H. Hsieh, A. Jurecska, L. Lavagno,
C. Passerone. A. Sangiovanni-Vincentelli, E. Sentovich, K. Suzuki, B.
Tabbara. Kluwer Academic Publishers, 1997.
Using Esterel
to generate protocols (INRIA Rodeo
project):
-
Generating Efficient Protocol Code from an Abstract Specification
C. Castelluccia, Walid Dabbous and Sean O'Malley to appear in ACM
SIGCOMM '96.
- 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.
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.
Man-machine
interaction devices from INRIA:
- Research
Programming the Behavior of Graphical Objects Using Esterel
D. Clement, J. Incerpi. TAPSOFT'89, Springer VerlagLNCS 352, 1989.
|
