Automatic Functional Verification of OPNET Models with SDL-OPNET Co-Simulation

被引:0
作者
Kim, Tae-Hyong [1 ]
Yang, Qi-Ping [1 ]
Kim, Jae-Woo [1 ]
机构
[1] Kumoh Natl Inst Technol, Gumi, South Korea
来源
INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY | 2011年 / 11卷 / 05期
关键词
Model-driven development; model verification; Performance evaluation; Co-simulation;
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Owing to the model-driven development (MDD) technology, reliable network protocols could be developed with an integrated and systematic way. As performance, another core metric for evaluation of network protocols, is usually not the target of MDD process, how to connect performance evaluation to the MDD process is an important issue. This paper presents a method to enhance the reliability of performance evaluation when a performance model of a network protocol should be designed separately in a different performance simulation tool. The proposed method verifies the functional correctness of the OPNET model of a network protocol generated from its original SDL model designed with an SDL-based MDD process by SDL-OPNET co-simulation. A test system designed in SDL is used to automate the verification process and all the components of the verification system could be obtained systematically in the proposed method. Experimental results with the logical link control (LLC) protocol show the applicability of the proposed method. The proposed method could be also applied to other MDD and performance simulation tools only if they provide external interfaces for co-simulation.
引用
收藏
页码:145 / 151
页数:7
相关论文
共 22 条
[1]  
*3GPP, UTRA UTRAN LONG TERM
[2]  
Baldo N., 2010, PSIMUTOOLS
[3]  
Ballah J., 2002, THESIS
[4]  
Becker P, 2009, LECT NOTES COMPUT SC, V5719, P34, DOI 10.1007/978-3-642-04554-7_3
[5]   Verisim: Formal analysis of network simulations [J].
Bhargavan, K ;
Gunter, CA ;
Kim, M ;
Lee, I ;
Obradovic, D ;
Sokolsky, O ;
Viswanathan, M .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2002, 28 (02) :129-145
[6]  
HINTELMANN J, 1996, IFIP TC6 6 1, V69, P229
[7]  
IBM Co. Ltd, 2009, RAT TAU SDL SUIT VER
[8]  
*IEEE, 8022 IEEE
[9]  
*ISO, 1991, IS9646 ISO
[10]  
ITU, 2000, ITU T REC Z, V100