대한임베디드공학회논문지 (IEMEK Journal of Embedded Systems and Applications)

대한임베디드공학회 (Institute of Embedded Engineering of Korea)
권호 표지

통합 모델 설계 방식 기반 통신 프로토콜 개발을 위한 SDL-OPNET 모델 변환 기법

SDL-OPNET Model Conversion Technique for the Development of Communication Protocols with an Integrated Model Design Approach

  • 김재우 (금오공과대학교 컴퓨터공학부) ;
  • 김태형 (금오공과대학교 컴퓨터공학부)
  • 투고 : 2010.05.17
  • 심사 : 2010.06.13
  • 발행 : 2010.06.30
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

Although both functional verification and performance evaluation are necessary for the development of effective and reliable communication systems, they have been often performed independently; by functional modeling with formal language tools and by performance modeling with professional network performance evaluation tools, respectively. Separate and repeated modeling of one system, however, would often result in cost increase and inconsistency between the models. This paper proposes an integrated model design approach in order to overcome this problem that evaluates the performance of a communication protocol designed in SDL with SDL-OPNET model conversion. The proposed technique generates OPNET skeleton code from Tau-generated C code of the SDL model by analyzing the relations between SDL and OPNET models. IEEE 802.2 LLC protocol was used as an example of model conversion to show the applicability and effectiveness of the proposed technique.

키워드

참고문헌

  1. ITU, Specification and Description Language, ITU-T Recommendation Z.100, 2000.
  2. OPNET Technology Inc., OPNET Modeler. See http://www.opnet.com.
  3. The Network Simulator ns-2, Information Sciences Institute, University of Southern California, See http://www.isi.edu/nsnam/ns/.
  4. Tae-Hyong Kim, et al., "SDL design and performance evaluation of a Mobility management technique for 3GPP LTE systems", LNCS, Vol. 4745, 2007.
  5. Tae-Hyong Kim, et al., "SDL design and performance evaluation of a Mobility management technique for 3GPP LTE systems", LNCS, Vol. 4745, 2007.
  6. Jorg Hintelmann, et al., "Applying techniques and tools fur the performance engineering of SDL systems", Computer Networks, Vol. 35, No.6, pp. 647-665, Elsevier, 2001. https://doi.org/10.1016/S1389-1286(00)00199-7
  7. Nico de Wet, et al., "Using UML models for the performance analysis of network systems", Computer Networks, Vol. 49, No.5, pp. 627-642, Elsevier, 2005. https://doi.org/10.1016/j.comnet.2005.05.007
  8. IBM Co. Ltd., Rational TAU SDL Suite, Ver.6.3, 2009. See http://www-01.ibm.com/software/awdtools/tau/.
  9. T. Kuhn, et al., "ns+SDL - The Network Simulator for SDL Systems", SDL 2005 - Model Driven, Lecture Notes in Computer Science 3530, pp. 103-116, Springer, 2005.
  10. J. Martins, et al., "Integrating Performance Evaluation and Forma1 Specification", In Proceedings of IEEE ICC '96, pp.1803-1807, 1996.
  11. IEEE 802.2-1998 (ISO/IEC 8802-2:1998), IEEE Standard for Information technology - Telecommunications and information exchange between systems - Local and metropolitan area networks - Specific requirements - Part 2: Logical Link Control, 1998.
  12. William Stallings, Data and Computer Communications, Eighth Edition, Pearson Eduation, 2007.