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.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
ITU, Recommendation Z.100, Specification and Description Language (SDL). ITU, Geneva (August 2002)
Telelogic AB Inc., Telelogic TAU SDL Suite, http://www.telelogic.com
OPNET Technology Inc., OPNET Modeler, http://www.opnet.com
Information Science Institute, University of Southern California, The Network Simulator ns-2, http://www.isi.edu/nsnam/ns
Bause, F., Buchholz, P.: Qualitative and Quantitative Analysis of Timed SDL Specifications. In: Kommunikation in Verteilten Systemen, Reihe Informatik aktuell, pp. 486–500. Springer, Heidelberg (1993)
Bütow, M., Mestern, M., Schapiro, C., Kritzinger, P.S.: Performance Modelling with the Formal Specification language SDL. In: FORTE IX/PSTV XVI, Chapman & Hall, Sydney (1996)
Diefenbruch, M., Heck, E., Hintelmann, J., Müller-Clostermann, B.: Performance Evaluation of SDL Systems Adjunct by Queuing Models. In: SDL 1995 with MSC in CASE, Elsevier, Amsterdam (1995)
Steppler, M.: Performance Analysis of Communication Systems Formally Specified in SDL. In: WOSP 1998. Proc. of First Int’l Workshop on Software and Performance (1998)
Kuhn, T., Geraldy, A., Gotzhein, R., Rothländer, F.: ns+SDL – The Network Simulator for SDL Systems. In: Prinz, A., Reed, R., Reed, J. (eds.) SDL 2005. LNCS, vol. 3530, pp. 103–116. Springer, Heidelberg (2005)
3GPP, UTRA-UTRAN Long Term Evolution (LTE) and 3GPP System Architecture Evolution (SAE), http://www.3gpp.org/Highlights/LTE/LTE.htm
3GPP, E-UTRA and E-UTRAN; Radio Interface Protocol Aspects. TR 25.813 V.7.1.0 (2006)
Welch, G., et al.: An Introduction to the Kalman Filter. University of North Carolina TR 95-041, UNC (2002)
Michaelis, S., et al.: Comparison of User Mobility Pattern Prediction Algorithms to increase Handover Trigger Accuracy. IEEE VTC 2006-Spring, Melbourne (2006)
Kim, T.-H., Yang, Q., Lee, J.-H., Park, S.-G., Shin, Y.-S.: A Mobility Management Technique with Simple handover Prediction for 3G LTE Systems. IEEE VTC 2007-Fall, Baltimore (2007)
Kim, T.-H., Kim, J.-W., Yang, Q.-P., Lee, J.-H., Park, S.-G., Shin, Y.-S.: SDL Design of a Radio Resource Control Protocol for 3G Evolution Systems with Two Different Approaches. In: Gotzhein, R., Reed, R. (eds.) SAM 2006. LNCS, vol. 4320, pp. 166–182. Springer, Heidelberg (2006)
Wikipedia Foundation, Inc., RAM disk. Wikipedia, the free encyclopedia, http://en.wikipedia.org/wiki/RAM_disk
Martins, J., Hubaux, J.-P., Saydam, T., Znatny, S.: Integrating Performance Evaluation and Formal Speficication. In: ICCE 1996. Proc. of Int’l Conf. on Communications, IEEE Computer Society Press, Los Alamitos (1996)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kim, TH., Yang, QP., Park, SG., Shin, YS. (2007). SDL Design and Performance Evaluation of a Mobility Management Technique for 3GPP LTE Systems. In: Gaudin, E., Najm, E., Reed, R. (eds) SDL 2007: Design for Dependable Systems. SDL 2007. Lecture Notes in Computer Science, vol 4745. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-74984-4_17
Download citation
DOI: https://doi.org/10.1007/978-3-540-74984-4_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-74983-7
Online ISBN: 978-3-540-74984-4
eBook Packages: Computer ScienceComputer Science (R0)