v Esterel - Publications - Examples and Applications

Programming and Applications Examples





Some Programming Examples

A basic example: a reflex measuring game

More elaborate: a digital wristwatch Still more elaborate: a communication protocol

Application Studies

Using Esterel for safe telecommunication software:

Terminal control protocol from AT&T Bell Labs: Switching Software from AT&T Bell Labs Man-machine interaction devices from INRIA: Two papers on Esterel in robotics: More on robotics: towards unifying synchronous and object-oriented programs: A system that currently uses Esterel (and only Esterel) as its input specification model Using Esterel to generate protocols (INRIA Rodeo project): A modular process management with service guarantee: