Tailored Protocol Development Using ESTEREL - Archive ouverte HAL Access content directly
Reports (Research Report) Year : 1994

Tailored Protocol Development Using ESTEREL


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.
Fichier principal
Vignette du fichier
RR-2374.pdf (288.65 Ko) Télécharger le fichier

Dates and versions

inria-00074302 , version 1 (24-05-2006)


  • HAL Id : inria-00074302 , version 1


Claude Castelluccia, Isabelle Chrisment, Walid Dabbous, Christophe Diot, Christian Huitema, et al.. Tailored Protocol Development Using ESTEREL. [Research Report] RR-2374, INRIA. 1994. ⟨inria-00074302⟩
82 View
143 Download


Gmail Facebook Twitter LinkedIn More