Application level framing and automated implementation

New concepts such as the Application Level Framing (ALF) have been proposed to make network protocol implementations more efficient and to give the application programmer greater control over the data transmission. This paper describes early experiments with automated design and implementation of application-specific communication protocols based on the formal specification of the application using ESTEREL. A comparison is made between a hand coded JPEG player and its automated equivalent. The results show that the automated approach creates a better integrated implementation with the same level of performance.

[1]  Gregory K. Wallace,et al.  Overview of the JPEG (ISO/CCITT) still image compression standard , 1990, Other Conferences.

[2]  Martina Zitterbart,et al.  Language support for flexible, application-tailored protocol configuration , 1993, 1993 18th Conference on Local Computer Networks.

[3]  I. Chrisment Impact of Alf on Communication Subsystems Design and Performance Extended Abstract , 1994 .

[4]  Gérard Berry,et al.  The Esterel Synchronous Programming Language: Design, Semantics, Implementation , 1992, Sci. Comput. Program..

[5]  Christian Huitema,et al.  Communication Protocols Development Using ESTEREL , 1994 .

[6]  Todd A. Proebsting,et al.  USC: A Universal Stub Compiler , 1994, SIGCOMM.

[7]  Bruce Jay Nelson Remote procedure call , 1981 .

[8]  P. T. Barry,et al.  Abstract syntax notation-one (ASN.1) , 1992 .

[9]  John R. Corbin The Art of Distributed Applications , 1991, Sun Technical Reference Library.

[10]  C. A. R. Hoare,et al.  Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.

[11]  A. Heybey VIDEO CODING AND THE APPLICATION LEVEL FRAMING PROTOCOL ARCHITECTURE , 1992 .

[12]  Todd A. Proebsting,et al.  USC: a universal stub compiler , 1994, SIGCOMM 1994.

[13]  Walid Dabbous,et al.  Modular Communication Subsystem Implementation Using A Synchronous Approach , 1994, USENIX High-Speed Networking Symposium.

[14]  David A. Huffman,et al.  A method for the construction of minimum-redundancy codes , 1952, Proceedings of the IRE.

[15]  Thomas Plagemann,et al.  A model for dynamic configuration of light-weight protocols , 1992, Proceedings of the Third Workshop on Future Trends of Distributed Computing Systems.

[16]  Christian Huitema,et al.  A Remote Operations System Tailored to Application Requirements , 1994, ULPAA.

[17]  David D. Clark,et al.  Architectural considerations for a new generation of protocols , 1990, SIGCOMM '90.