Abstract
The main challenges for the tools which derive implementations from formal descriptions are to enhance the efficiency and facilitate the integration in various implementation contexts. We study in this paper the Estelle based implementations. Using the Estelle Development Toolset (EDT), we obtained a realistic implementation of a complex transport protocol, XTP 4.0, functionally comparable with the hand-coded reference implementation. This offered an experimental ground for a survey concerning the automated implementation. Based on runtime measurements, analysis of the Estelle model and of the tool’s support, we studied the factors influencing the performance and the solutions to improve it.
On leave from Politehnica University of Bucharest, Romania. This work has been partially supported by the KIT-IDEMCOP action.
The original version of this chapter was revised: The copyright line was incorrect. This has been corrected. The Erratum to this chapter is available at DOI: 10.1007/978-0-387-35394-4_29
Chapter PDF
Similar content being viewed by others
References
M. Abbot, L. Peterson. Increasing Network Throughput by Integrating Protocol Layers. IEEE/ACM Transactions on Networking, vol. 1, no. 5, 1993.
J.W. Atwood, O. Catrina, J. Fenton, W.T. Strayer. Reliable Multicasting in the Xpress Transport Protocol. Proceedings of the 21st Conference on Local Computer Networks (LCN’96), Minneapolis, Minnesota, USA, 1996.
O. Catrina, E. Borcoci. Estelle specification and validation of XTP 4.0. Deliverable 2 for Task 2.1, Copernicus Project COP62 (COP#62/WP2/2), 1996.
O. Catrina, E. Lallet, S. Budkowski. Implémentation automatique d’XTP à partir d’une spécification Estelle. Ingénierie des Protocoles - CFIP’97. Hermes, Paris, 1997.
O. Catrina, E. Lallet, S. Budkowski. Automatic protocol implementation using Estelle Development Toolset. Research Report 971001, INT Evry, France, 1997.
D. Clark, V. Jacobson, J. Romkey, H. Salwen. An Analysis of TCP Processing Overhead. IEEE Communications, 27 (6), 1989, pp. 23–29.
R. Gotzhein, et al. Improving the Efficiency of Automated Protocol Implementation Using Estelle. Computer Communications 19, 1996.
T. Held, H. König. Increasing the efficiency of computer-added protocol implementations. Protocol Specification Testing and Verification XIV. Chapman & Hall, 1995.
R. Henke, H. Konig, A. Mitschele-Thiel. Derivation of Efficient Implementations from SDL Specifications Employing Data Referencing, Integrated Packet Framing and Activity Threads. SDL’97: Time for testing - SDL, MSC and trends. Elsevier, 1997.
R. Henke, A. Mitschele-Thiel, H. Konig. On the influence of semantic constraints on the code generation from Estelle specifications. Formal Description Techniques X and Protocol Specification, Testing and Implementation XVII. Chapmann & Hall, 1997.
Estelle Development Toolset (version 4.1). Institut National des Télécommunications, Evry, France. http://alix.int-evry.fr/-stan/edt.html.
E. Lallet, S. Fischer, J.-F. Verdier. A new Approach for Distributing Estelle Specifications. Formal Description Techniques VIII. Chapman & Hall, 1995.
L. Svobodova. Implementing OSI Systems. IEEE Journal on Selected Areas of Communication, vol. 7, no. 7, 1989, pp. 1115–1130.
T. Strayer. SandiaXTP User’s Guide. SandiaXTP Reference Manual. Sandia National Laboratories, USA, 1996.
Xpress Transport Protocol specification revision 4.0, XTP Forum, Santa Barbara, CA, USA, 1995. For the revised multicast procedures, see [2].
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Catrina, O., Nogai, A. (1998). On the improvement of Estelle based automatic implementations. In: Budkowski, S., Cavalli, A., Najm, E. (eds) Formal Description Techniques and Protocol Specification, Testing and Verification. PSTV FORTE 1998 1998. IFIP — The International Federation for Information Processing, vol 6. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35394-4_23
Download citation
DOI: https://doi.org/10.1007/978-0-387-35394-4_23
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-5262-5
Online ISBN: 978-0-387-35394-4
eBook Packages: Springer Book Archive