Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)
- 2002.04a
- /
- Pages.253-255
- /
- 2002
- /
- 1598-5164(pISSN)
Verification and Conformance Testing of Handover Procedure
핸드오버 절차 검증 및 적합성 시험
Abstract
무선 자원 제어 프로토콜에서는 각 기지국 영역을 벗어나 다른 기지국으로 이동할 때 통화의 단절 없이 계속 유지하는 핸드오버 기능이 필수적이다. 핸드오버는 이동 통신 네트웍에서 필수적인 하나의 수단으로 현재 서비스 중인 연결의 협상된 서비스의 질을 유지하면서 단말기의 이동성 보장을 목표로 한다. 본 논문에서는 Telelogic 사의 통신 시스템 통한 개발 도구인 SDT와 ITEX를 이용하여 현재 3GPP 진영에서 개발중인 IMT-2000/비동기방식 무선 인터페이스 중 무선 자원 제어 프로토콜의 핸드오버 절차를 SDL로 명세하고, 정확성을 검증한다. 그리고 검증된 핸드오버 절차의 적합성 시험을 수행한다.
Keywords