Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)

  • 2001.04a
  • /
  • Pages.442-444
  • /
  • 2001
  • /
  • 1598-5164(pISSN)
Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

SDL Design and Validation of IMT-2000/Asynchronous(3GPP) RRC protocol

IMT-2000/비동기방식(3GPPP) RRC 프로토콜의 SDL 설계 및 검증

  • 강경훈 (경상대학교 전자계산학과) ;
  • 남영호 (경상대학교 컴퓨터교육학과) ;
  • 정광렬 (한국전자통신연구원 IMT-2000 개발본부)
  • Published : 2001.04.01

⟨ Previous Next ⟩

Abstract

프로토콜은 서로 다른 원격 시스템간의 정보 교환을 원활하게 하기 위한 통신 규약이다. 일반적으로 프로토콜은 그 역할상 기능적 정확성이 절대적으로 필요한 대상이지만, 프로토콜 규격은 비형식적 텍스트 서술에 의존하기 때문에 소프트웨어의 설계에서 풀어야할 프로토콜 행위의 모호성과 불완전성을 낳게된다. 따라서, 프로토콜이 구현되기 이전에 프로토콜 규격에 대한 정확성, 완전성, 일관성 등을 조사, 분석하는 프로토콜 검증이 반드시 수반되어야 한다. 본 논문에서는 Telelogic사의 통신 시스템 통합 개발 도구인 SDT를 이용하여 현재 3GPP 진영에서 개발중인 IMT-2000/비동기식 무선 인터페이스 중 RRC 프로토콜을 SDL로 설계하고 정확성을 검증한다.

Keywords