A Study on the Design and Validation Methodology of Communication Protocols Using International Communication Standard Languages

국제 통신 표준 언어를 이용한 통신 프로토콜 설계 및 검증 방법론 연구

In this paper, We set up the development methodology of communication protocols as well as the concrete design concept concerning for how to define and use the PDU, SDU, SAP, and service primitives using SDL, which is recommended by ITU-T, and other international standard languages such as ASN.l, MSC, and TTCN. This methodology covers the SDL design of extended lures protocol, a well known protocol example, insertion of ASN.1 message for transportation of bit string, generation of MSC for validation of design specification, generation of test cases using TTCN from validation, and performance of conformance test.

본 논문에서는 통신 프로토콜 개발 시 사용되는 PDU, SDU, SAP, 서비스 프리미티브를 어떻게 정의하고 사용하는지에 대한 명확한 설계 개념과 검증 방법을 ITU에서 통신 규격 및 설계 언어로 권고하고 있는 SDL과 국제 통신 표준 언어인 ASN.1, MSC, TTCN을 사용하여 정립한다. 통신 프로토콜의 예로 잘 알려진 Inres 프로토콜을 확장하여 SDL로 설계하며, SDL의 설계 규격에 비트 스트링 전송을 위한 ASN.1 메시지의 삽입, 규격에 대한 설계 검증을 위한 MSC의 생성, 검증으로부터 TTCN을 이용한 시험 케이스의 생성 및 적합성 시험 등 프로토콜 개발 순기 전반에 걸친 개발 방법론을 정립한다.