Tailored Protocol Development Using ESTEREL

Abstract : 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.
Type de document :
[Research Report] RR-2374, INRIA. 1994
Liste complète des métadonnées

Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 15:00:56
Dernière modification le : samedi 27 janvier 2018 - 01:31:03
Document(s) archivé(s) le : dimanche 4 avril 2010 - 22:15:19



  • 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〉



Consultations de la notice


Téléchargements de fichiers