Browse > Article
http://dx.doi.org/10.9709/JKSS.2010.19.2.157

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

Yang, Qi-Ping (금오공과대학교 컴퓨터공학부)
Kim, Tae-Hyong (금오공과대학교 컴퓨터공학부)
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.
Keywords
Functional verification; Performance evaluation; SDL; OPNET; Co-simulation;
Citations & Related Records
연도 인용수 순위
  • Reference
1 ITU, Specification and Description Language, ITU-T Recommendation Z.100, 2000.
2 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.
3 OPNET Technology Inc., OPNET Modeler. See http://www.opnet.com.
4 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.
5 3GPP, Universal Mobile Telecommunications System (UMTS). See http://www.3gpp.org/article/umts.
6 ITU, B-ISDN ATM Adaptation Layer - Service Specific Connection Oriented Protocol (SSCOP), ITU-T Recommendation Q.2110, 1994.
7 3GPP, UTRA-UTRAN Long Term Evolution (LTE) and 3GPP System Architecture Evolution (SAE). See http://www.3gpp.org/Highlights/LTE/LTE.htm.
8 IBM Co. Ltd., Rational TAU SDL Suite, Ver. 6.3, 2009. See http://www-01.ibm.com/software/awdtools/tau/.
9 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.
10 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.
11 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.
12 J. Martins, et al., "Integrating Performance Evaluation and Formal Specification", In Proceedings of IEEE ICC '96, pp. 1803-1807, 1996.