The KIPS Transactions:PartC (정보처리학회논문지C)

Korea Information Processing Society (한국정보처리학회)
권호 표지

Design and Implementation of Host Simulator for IMT-2000 Wireless Protocol using SDL Development Environments

SDL 개발환경을 이용한 IMT-2000 무선 프로토콜의 호스트 시뮬레이터 설계 및 구현

  • 송평중 (한국전자통신연구원) ;
  • 노철우 (신라대학교 컴퓨터정보공학부) ;
  • 노문환 (한국전자통신연구원) ;
  • 윤영배 (텔슨전자 IMT-2000 센타) ;
  • 이종필 (충남대학교 대학원 컴퓨터공학과)
  • Published : 2001.04.01
Download PDF
⟨ Previous Next ⟩

Abstract

공안된 통신 언어인 SDL을 이용하여 시스템을 설계하고, SDL 개발 도구인 SDT를 이용하여 실행 가능한 소프트웨어를 개발하고 실제 타겟 시스템과 동일한 환경에서 개발된 기증을 검증하는 개발 순기를 모두 수용하는 시뮬레이터의 개발이 대규모의 복잡한 통신 프로토콜에서는 필요하다. 본 논문에서는 IMT-2000 무선 프로토콜의 한 엔티티인 계층 2의 무선 링크제어 프로토콜 엔티티 RLC-AM(Acknowledged mode)의 개발 및 검증을 위하여, RLC-AM을 설계 및 구현한 후 이의 실행화일을 호스트 상에서 수행시킬 수 있는 호스트 시뮬레이터를 개발하였다. 호스트 컴퓨터상에서 SDT 개발환경, 컴파일 환경 및 운영체제 환경을 연동하여 개발된 호스트 시뮬레이터는 대상 프로토콜 엔티티를 MAC등 타 엔티티로 바꾸어서도 같은 방식으로 수행할 수 있다.

Keywords

References

  1. Holzmann, G.J.,'Design and Validation of Computer Protocols,' Prentice-Hall, 1991
  2. A. Olsen, O. faerergemend, B. Moller Pedersen, R. Reed, and J. Smith,'Systems Engineering Using SDL-92,' ELSEVIER SCIENCE B. V., 1995
  3. Jan Ellsbctger, Dieter Hogrefe and Amardeo Sarma, 'SDL Formal Object-oriented Language for Communicating Systems,' Prentice Hall, 1997
  4. Roberto Saracco, 'Telecommunications Systems Engineering using SDL,' North_Holland, 1989
  5. Edel Sherratt, Chris Loftus, 'Designing Distributed Services with SDL,' IEEE, 2000
  6. Telelogic Tau 3.4 SDT Methodology Guidelines, 1999
  7. The SDT Simulator, 'Telelogic Tau 3.4 ORCA and SDT Started,' 1998
  8. Belina, Y, Hogrefe, D. and Sanna, A. 'SDT with Applications from Protocol Specification,' Prentice Hall, 1991
  9. Harri Holma and Antti Toskala, 'WCDMA Fan U1VITS,' JOHN WILEY & SONS, LTD., 2000
  10. 3G TS 25.322 v3.0.0(3rd Generation Partnership Project; Technical Specification Group) Radio Access Network; RLC Protocol Specification, 1999
  11. TSGR2# S(99)F25, TSG-RAN Working Group 2 meeting #8, Cheju, Korea 2nd to 5th Nov. 1999
  12. 노철우, 남영호, 'IMT02000/비동기 방식(3GPP) 무선 프로토콜의 SDL 설계검증 및 평가에 관한 연구', 전자통신 최종 연구 보고서, 1999