통합 모델 설계 방식 기반 통신 프로토콜 개발을 위한 SDL-OPNET 모델 변환 기법
SDL-OPNET Model Conversion Technique for the Development of Communication Protocols with an Integrated Model Design Approach
0
조회
0
다운로드
0
인용
0
참고문헌
키워드
초록
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.
Abstract
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.
참고문헌 (12)
- ITU, "Specification and Description Language", ITU-T Recommendation Z.100, ~ (2000)
- "OPNET Modeler"[URL]
- "Information Sciences Institute"[URL]
- Tae-Hyong Kim, "SDL design and performance evaluation of a Mobility management technique for 3GPP LTE systems", LNCS, 4745 (2007)
- Tae-Hyong Kim, "SDL design and performance evaluation of a Mobility management technique for 3GPP LTE systems", LNCS, 4745 (2007)
- Jorg Hintelmann, "Applying techniques and tools fur the performance engineering of SDL systems", Computer Networks, 35(6), pp.647~665 (2001), Elsevier
- Nico de Wet, "Using UML models for the performance analysis of network systems", Computer Networks, 49(5), pp.627~642 (2005), Elsevier
- "Rational TAU SDL Suite"[URL]
- T.Kuhn, "ns+SDL - The Network Simulator for SDL Systems", Lecture Notes in Computer Science, 3530, pp.103~116 (2005), Springer
- J.Martins, "Integrating Performance Evaluation and Forma1 Specification", In Proceedings of IEEE ICC '96, pp.1803~1807 (1996)
- 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
- William Stallings, "Data and Computer Communications" (2007), Pearson Eduation