SDL design and performance evaluation of a mobility management technique for 3GPP LTE systems

Authors:
Tae-Hyong Kim;Qi-Ping Yang;Soon-Gi Park;Yeun-Seung Shin
Affiliations:
School of Computer and Software Engineering, Kumoh National Institute of Technology, Gumi, Gyeongbuk, Korea;School of Computer and Software Engineering, Kumoh National Institute of Technology, Gumi, Gyeongbuk, Korea;Mobile Telecommunication Research Laboratory, Electronics and Telecommunications Research Institute, Daejeon, Korea;Mobile Telecommunication Research Laboratory, Electronics and Telecommunications Research Institute, Daejeon, Korea
Venue:
SDL'07 Proceedings of the 13th international SDL Forum conference on Design for dependable systems
Year:
2007

Citing 5
Cited 0

Performance modelling with the formal specification language SDL

IFIP TC6/ 6.1 international conference on formal description techniques IX/protocol specification, testing and verification XVI on Formal description techniques IX : theory, application and tools: theory, application and tools
Performance analysis of communication systems formally specified in SDL

Proceedings of the 1st international workshop on Software and performance
An Introduction to the Kalman Filter

An Introduction to the Kalman Filter
ns+SDL: the network simulator for SDL systems

SDL'05 Proceedings of the 12th international conference on Model Driven
SDL design of a radio resource control protocol for 3g evolution systems with two different approaches

SAM'06 Proceedings of the 5th international conference on System Analysis and Modeling: language Profiles

Quantified Score

Hi-index	0.00

Visualization

Abstract

Using a common model for both functional verification and performance evaluation of a network protocol will reduce a considerable amount of protocol development time and cost. Although there have been several researches trying to achieve this goal, they have not been used widely yet especially in industry. This paper shows a case study in SDL design and performance evaluation of a wireless and mobile technology. In order to evaluate our mobility management technique for 3GPP LTE systems, we designed a simple 3GPP LTE system and its mobility performance system with pure SDL and Tau performance library. This paper describes our experience in pure SDL-based performance evaluation with Tau and discusses SDL design and simulation issues for more efficient performance evaluation with SDL.