Improving the efficiency of automated protocol implementation using Estelle

Computer Communications

Volumn 19, Issue 14, 1996, Pages 1226-1235

  Gotzhein, R ^a   Bredereke, J ^a   Effelsberg, W ^b   Fischer, S ^b   Held, T ^c   Konig H ^c  

^a Rheinland Pfälzische Technische Universität Kaiserslautern Landau   (Germany)

^b UNIVERSITY OF MANNHEIM   (Germany)

^c BRANDENBURG UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

Communication protocol; Efficiency; Estelle; Formal specification; Protocol implementation

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; COMPUTER SOFTWARE; EFFICIENCY; ERROR CORRECTION; PERFORMANCE; SYSTEMS ANALYSIS;

CORRECTNESS; ESTELLE; PROTOCOL IMPLEMENTATION;

NETWORK PROTOCOLS;

EID: 0030349763     PISSN: 01403664     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0140-3664(96)01156-5     Document Type: Article

References (34)

1. W. Doeringer, D. Dykeman, M. Kaiserswerth, B. Meister, H. Rudin and R. Williamson, A survey of light-weight transport protocols for high-speed networks. IEEE Trans, on Comm. 38(11) (November 1990) 2025-2039.
2. W.T. Strayer, B.J. Dempsey and A.C. Weaver, XTP The Xpress Transfer Protocol, Addison-Wesley, Reading, MA, 1992.
3. M. Zitterbart, B. Stiller and A. Tantawy, A model for flexible high-performance communication subsystems. IEEE J. Selected Areas in Comm., 11(4) (May 1993) 507-518.
4. T. Plagemann, B. Plattner, M. Vogt and T. Walter, A Model for Dynamic Configuration of Light-Weight Protocols. IEEE Third Workshop on Future Trends of Distributed Computing Systems, 1992.
5. M. Zitterbart, High-Speed Protocol Implementations Based on a Multiprocessor-Architecture. In Rudin, H. and Williamson, R., eds., Protocols for High-Speed Networks, Zürich, 1989, pp. 151-163.
6. T. Braun and M. Zitterbart, Parallel Transport System Design. In Danthine, A. and Spaniol, O., eds., 4th IFIP Conference on High Performance Networking, Liège, Belgium, 1992, pp. H3:1-H3:16.
7. M. Björkmann and P. Gunningberg, Locking effects in multiprocessor implementations of protocols. Proc. ACM SIGCOMM, ACM, September 1993.
8. D.D. Clark and D.L. Tennenhouse, Architectural Considerations for a New Generation of Protocols. SIGCOMM Symposium: Communication Architectures & Protocols, Philadelphia, September 1990, pp. 200-208.
9. P. Dembinski and S. Budkowski, Specification language Estelle. In Diaz, M. et al., eds., The Formal Description Technique Estelle, North-Holland, 1989, pp. 35-75
10. ISO/TC 97/SC 21, ISO 9074. Information Processing Systems-Open Systems Interconnection-Estelle: A Formal Description Technique Based on an Extended State Transition Model, 1989.
11. R.L. Tenney, Adding interaction sets to Estelle. In Quemada, J., Maños, J. and Vazquez, E., eds., FORTE '90, Madrid, Spain, 5-8 November 1990, pp. 477-483.
12. S.C. Chamberlain and P.D. Amer, Broadcast channels in Estelle. IEEE Trans. Comput. 40(4) (April 1991) 423-436.
13. C.A. Vissers, G. Scollo and M. van Sinderen, Architecture and specification style in formal descriptions of distributed systems. In Aggarwal, S. and Sabnani, K., eds., PSTV '88, Atlantic City, NJ, 1988, pp. 189-204.
14. B. Hofmann, Integration von Darstellungs-und Kommunikations-steuerungsschicht in Estelle. In Gerner, N., Hegering, H.-G. and Swoboda, J., eds., Kommunikation in verteilten Systemen, Munich, GI/ITG-Fachtagung, Springer, 1993, pp. 560-573.
15. J. Bredereke, Communication systems design with Estelle-on style, efficiency and analysis. Dissertation, University of Kaiserslautern, 1997 (to appear).
16. R. Sijelmassi and B. Strausser, The PET and DINGO tools for deriving distributed implementations from Estelle. Computer Networks & ISDN Systems 25(7) (February 1993) 841-851.
17. J. Bredereke and R. Gotzhein, Increasing the concurrency in Estelle. In Tenney et al., eds, Formal Description Techniques VI, North Holland, Amsterdam, 1994.
18. S. Fischer, On the suitability of Estelle for multimedia systems. In Dembinski, P. and Sredniawa, M., eds., Proc. PSTV'95, Warsaw, Poland, 13-16 June 1995, pp. 349-364.
19. S. Frank, H. Burkard and J. Rothnie, The KSR1: High performance and ease of programming, no longer an oxymoron. In Meuer, H.-W., ed., Supercomputer '93, Informatik aktuell, Springer, Heidelberg, 1993, pp. 53-70.
20. T. Held and H. König, Increasing the efficiency of computer-aided protocol implementations. In Vuong, S.T. and Chanson, S.T., eds., Protocol Specification, Testing and Verification XIV, Chapman & Hall, London, 1995, pp. 387-394.
21. NBS, User guide for the NBS prototype compiler for Estelle. Final report ICST/SNA-87/3, Institute for Computer Science and Technology, National Institute for Standards and Technology, October 1987.
22. D. Kreuz and R. Gotzhein, A compiler for the parallel execution of Estelle specifications. In König, H., ed., Formale Methoden für Verteilte Systeme, vol. 8 of 'FOKUS Praxis, Information und Kommunikation, K. G. Saur, Munich, 1993, pp. 161-178.
23. L. Svoboda, Implementing OSI systems. IEEE J. Selected Areas in Comm., 7(7) (1989) 1115-1130.
24. S. Fischer and B. Hofmann, An Estelle compiler for multiprocessor platforms. In Tenney et al., Formal Description Techniques VI, North-Holland, Amsterdam 1994, pp. 171-186.
25. S. Fischer and W. Effelsberg, Efficient configuration of protocol software for multiprocessors. In Puigjaner, R., ed., Proc. HPN'95, Palma de Mallorca, Spain, September 1995.
26. R. Plato, T. Held and H. König, PARES - a portable parallel Estelle compiler. In Dembinski, P. and Sredniawa, M., eds., Proc. PSTV'95, Warsaw, Poland, 1995, pp. 383-399.
27. S. Budkowski, Estelle development toolset. Computer Networks & ISDN Systems 25(1) (1992).
28. S.T. Chanson, A.A.F. Loureiro and S.T. Vuong, On tools supporting the use of formal description techniques in protocol development. Computer Networks & ISDN Systems, 25 (1993) 723-739.
29. E. Lallet, S. Fischer and J.-F. Verdier, A New Approach for Distributing Estelle Specifications. In Bochmann, G., Dssouli, R. and Rafiq, O., eds., Proc. 8th Int. Conf. on Formal Description Techniques, Montreal, Quebec, Canada, October 1995.
30. G. Bochmann, W. Gerber and J.-M. Serre, Semiautomatic implementation of communication protocols. IEEE Trans. Softw. Eng. SE-13(9) (September 1987) 989-1000.
31. S.T. Vuong, A.C. Lau and R.I. Chan, Semiautomatic implementation of protocols using an Estelle-C compiler. IEEE Trans. Softw. Eng. 14(3) (March 1988) 384-393.
32. D.P. Sidhu and T.P. Blumer, Semi-automatic implementation of OSI protocols. Computer Networks ISDN Systems, 18 (1990) 221-238.
33. J. Wytrebowicz, Hardware specification generated from Estelle. In Dembinski, P. and Sredniawa, M., eds., Proc. PSTV'95, Warsaw, Poland, 1995, pp. 417-432.
34. D. Coelho, The VHDL Handbook, Kluwer Academic, 1989.