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.
어플리케이션을 개발하는 데 있어서 전통적인 텍스트 기반의 방법으로는 정확한 요구사항을 파악하기 어렵다. 그리고 각 개발 단계에서의 분석과 확인에 관한 문제점이 있다. 그러므로 만약 검증에서 에러와 요구사항의 교환이 요구된다면 모든 시스템에 나쁜 효력이 발생할 수 있다. 이 경우 개발비용과 기간에 불리하게 작용한다. 따라서 분석과 검증은 에러가 자주 일어나는 것을 방지하기 위해서 수행한다. 본 논문에서는 각 개발 단계에 대한 분석과 확인 그리고 그래픽 인터페이스를 제공하는 SDL을 이용한 TCP/IP 혼잡제어 알고리즘에 대해서 논한다. SDL을 사용함으로써 각 개발 단계에 대한 명확한 표현과 정확한 에러 또는 요구사항 교환에 검증을 쉽게 할 수 있다. 추가적으로 프로토콜의 단계는 MSC의 확인을 통해서 시뮬레이션으로 확인하고 결론에서는 TCP/IP 프로토콜보다 개발의 가능성을 보인다.