Browse > Article

Implementation and Verification of TCP Congestion Control Algorithm using SDL  

이재훈 (한국해양대학교 전자통신공학과)
조성현 ((주)유정시스템)
이태오 (동명정보대학교 정보공학부 컴퓨터공학과)
임재홍 (한국해양대학교 전파ㆍ정보통신공학부)
Publication Information
Journal of the Korea Institute of Information and Communication Engineering / v.7, no.2, 2003 , pp. 214-227 More about this Journal
Abstract
Developing an application, it is difficult to catch an exact requirement with the conventional text-based method. It has also problems in verification and analysis at each developing stage. Therefore, if an adjustment is required with an error and change of requirement, a bad effect happen in the whole system. In this case, it also affect adversely on the developing cost and period. Meanwhile, if an analysis or verification is performed, the possibility of an error frequency reduces. Thus, not only is it easier to correct the error but also add an new requirement. This thesis embody a TCP/IP congestion control algorithm with SDL which provides automatically graphic interface, verification and analysis to each developing stage. Using SDL gave a clear representation embodiment in each developing stage and easiness of adjustment due to changing requirements or correcting errors. In addition, the stages of protocol have been certified in a simulation by verification of MSC and the results showed a possibility of developing a better TCP/IP protocol.
Keywords
SDL(Specification and Description Language); MSC(Message Sequence Chart); TCP-Tahoe; TCP-Reno; CCAlgorithm;
Citations & Related Records
연도 인용수 순위
  • Reference
1 F. Hessel, P. Coste, P. LeMarrec, N. Zergainoh, Jm, Daveau, A. A. Jerraya, 'Communication Interface Synthesis for Multi-language Specification', Proceedings of the 10th IEEE International Workshop on Rapid System Prototyping, pp.15-20, 1999.6.
2 Frederic Boutet, Gilles Rieux, Yves Lejeune and Eric Choveau, 'Scheduling in SDL simulation: Application to Future Air Navigation Systems', 1998
3 Kevin Fall, Sally Floyd. 'Comparisons of Tahoe, Reno, and Sack TCP', Dec., 1995
4 Jacobson,V. 'Congestion Avoidance and Control', In Proceeding of SIGCOMM, 1998
5 Copyright by Telelogic AB 'Simulation & C Generation Using SDL', 1999
6 J.M. Alvarez, M. Diaz, L.M. Llopis, E. Pirnentel, J.M. Troya, 'SDL and Hard Real- Time System: New Design and Analysis Techniques', 1998
7 Jan Ellsberger, Dieter Hogrefe, Amardeo Sarma, 'SDL Formal Object-oriented Language for Communication Systems', Prentice Hall, 1998
8 Hintelmann, J. Hofmann R. Lemmen F. Mitschele. Thiel A. Muller-Clostermann B. 'Applying techniques and tools for the performance engineering of SDL systems', Computer Networks. The International Journal of Computer & Telecommunications Networking. V.35, N.6, pp.647-665, 2001. 5
9 W. Stevens, 'TCP slow start, congestion avoidance, fast retransmit, and fast recovery algorithms', RFC 2001, Jan., 1997
10 T. V. Lakshman, U. Madhow, B. Suter, 'Window-based error recovery and flow control with a slow acknowledgment channel : a study of TCP/IP performance', Proc. Infocom 1997, Apr., 1997
11 임지영, 기희정, 임수정, 채기준, 이미정, 최길영, 강훈 'SDL을 이용한 MPOA 설계 및 구현', 정보과학회 논문지 : 컴퓨팅의 실제 제6권 제6호 2000. 12
12 Copyright by Telelogic AB, 'Introduction to SDL and SDT' Revision 3.02, 1995