FTP Server

INRIA-SOPHIA ANTIPOLIS
Technical reports


- in Postscript format, by ftp anonymous on :
zenon.inria.fr , directory /pub/rapports
ftp.inria.fr , directory /INRIA/publication/RR or RT

- in dvi or Postscript format, with WAIS (full-text reports are indexed)

name : ra-zenon-inria-fr.src (DVI format)
serveur : zenon.inria.fr
service : 210
database : ra-zenon-inria-fr
cost : 0
units : :free
maintainer : root@zenon.inria.fr

name : ra-mime-zenon-inria-fr.src ( MIME format including
serveur : zenon.inria.fr abstract and Postscript
service : 210 file)
database : ra-mime-zenon-inria-fr
cost : 0
units : :free
maintainer : doc@zenon.inria.fr





~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Marie-Helene Comte

INRIA-Sophia Antipolis Tel: (33) 93 65 77 54
Centre de Documentation Fax: (33) 93 65 77 65
BP 93 Email: comte@sophia.inria.fr
06902 SOPHIA ANTIPOLIS Cedex (FRANCE)

Papers


RR-2374 : Castelluccia,Claude, Chrisment, Isabelle, Dabbous, Walid,
Diot,Cristophe ,Huitema,Christian, Siegel, Ellen,
De Simone, Robert :


Tailored Protocol Development Using ESTEREL

Developpement de Protocoles de Communication en ESTEREL


October 1994

In english

The rapid evolution of networking and the multiplication of new
applications re-emphasizes the importance of the efficient
communication supports. Implementations must be able to take maximal
advantage of the details of application-specific semantics and of
specific networking environments. In other words, the application
needs to have more control over data transmission. Such control can be
obtained by tailoring the communication facilities (or protocols) to
the application characteritics, and by integrating the communication
control to the application. Because such a task is too complex to be
realized manually, we propose to automate the protocol development
process using a formal approach. This report presents our approach to
the automated design and implementation of application- specific
communication protocols based on information provided by the
application. Starting from the formal description of an application,
our approach is based on a tool called "Protocol Compiler" that will
automatically produce the implementation of a communication protocol
tailored to the application. The formalism we use is ESTEREL, a
synchronous reactive language dedicated to the description of
real-time systems. Protocol description and verification using ESTEREL
are described, as well as protocol optimization and implementation
principles.

This page was last changed on Nov 18 1994, 12:01 by mfx@pobox.com. Comments and corrections welcome.