DOI QR코드

DOI QR Code

SDL-OPNET Co-Simulation Technique for the Development of Communication Protocols with an Integrated Approach to Functional Verification and Performance Evaluation

기능 검증 및 성능 평가 통합 접근 방법을 통한 통신 프로토콜 개발을 위한 SDL-OPNET 코-시뮬레이션 기법

  • 양치평 (금오공과대학교 컴퓨터공학부) ;
  • 김태형 (금오공과대학교 컴퓨터공학부)
  • Received : 2010.05.17
  • Accepted : 2010.06.20
  • Published : 2010.06.30

Abstract

While both functional verification and performance evaluation of a system are necessary for the development of effective and reliable communication systems, they have been usually performed individually through functional modeling with formal language tools and performance modeling with professional network performance evaluation tools, respectively. However, separate and duplicated modeling of a system may cause increase of the cost and inconsistency between the models. In order to overcome this problem, this paper proposes an integrated design technique that estimates the performance of a communication protocol designed in SDL with SDL-OPNET co-simulation. The proposed technique presents how to design a co-simulation system with the environment functions of Tau and the external system module of OPNET. InRes protocol was used as an example to show the applicability and usefulness of the proposed technique.

우수하고 신뢰성 있는 통신 시스템의 개발을 위해 시스템에 대한 기능 검증과 성능 평가가 모두 필수적인데 반해 이들은 주로 형식 언어 도구를 이용한 기능 모델링과 전문 네트워크 성능 평가 도구에 의한 성능 모델링을 통해 개별적으로 수행되어 왔다. 그러나 한 시스템을 별도로 중복하여 모델링 하는 것은 비용의 증가와 모델 간 불일치를 가져오게 된다. 본 논문은 이 문제를 해결하기 위해 SDL-OPNET 코-시뮬레이션을 통해 SDL로 설계된 통신 프로토콜의 성능을 평가하는 통합 설계 기법을 제안한다. 제안 기법은 Tau의 환경함수와 OPNET의 외부시스템 모듈을 이용하는 코-시뮬레이션 시스템의 설계 방법을 제시한다. InRes 프로토콜이 예로 사용되어 제안 기법의 적용가능성과 효용성을 보여준다.

Keywords

References

  1. ITU, Specification and Description Language, ITU-T Recommendation Z.100, 2000.
  2. IBM Co. Ltd., Rational TAU SDL Suite, Ver. 6.3, 2009. See http://www-01.ibm.com/software/awdtools/tau/.
  3. M. Butow, M. Mestern, C. Schapiro, and P.S. Kritzinger. "Performance modelling with the formal specification language sdl". In IFIP TC6/6.1 International Conference on Formal Description Techniques IX / Protocol Specification, Testing and Verification XVI, volume 69, pages 213-228. Kluwer, 1996.
  4. Jorg Hintelmann, Richard Hofmann, Frank Lemmen, Andreas Mitschele-Thiel, Bruno Müller-Clostermann, "Applying techniques and tools for the performance engineering of SDL systems", Computer Networks, Elsevier, 2001.
  5. Wei Monin, Fabrice Dubois, Daniel Vincent, and Pierre Combes, "Looking for Better Integration of Design and Performance Engineering", SDL 2003, Lecture Notes in Computer Science 2708, pp. 1-17, Springer-Verlag Berlin, 2003.
  6. J. Martins, et al., "Integrating Performance Evaluation and Formal Specification", In Proceedings of IEEE ICC '96, pp. 1803-1807, 1996.
  7. T. Kuhn, A. Geraldy, R. Gotzhein, F. Rothländer, "ns+SDL - The Network Simulator for SDL Systems", SDL 2005 - Model Driven, Lecture Notes in Computer Science 3530, pp. 103-116, Springer, 2005.
  8. OPNET Technology Inc., OPNET Modeler. See http://www.opnet.com.
  9. Hogrefe, "OSI formal specification case study: the InRes protocol and service", revised, report No. IAM-91-012, update May 1992, University of Berne, May 1992.
  10. 3GPP, Universal Mobile Telecommunications System (UMTS). See http://www.3gpp.org/article/umts.
  11. ITU, B-ISDN ATM Adaptation Layer - Service Specific Connection Oriented Protocol (SSCOP), ITU-T Recommendation Q.2110, 1994.
  12. 3GPP, UTRA-UTRAN Long Term Evolution (LTE) and 3GPP System Architecture Evolution (SAE). See http://www.3gpp.org/Highlights/LTE/LTE.htm.