SDL Design and Performance Evaluation of a Mobility Management Technique for 3GPP LTE Systems | SpringerLink
Skip to main content

SDL Design and Performance Evaluation of a Mobility Management Technique for 3GPP LTE Systems

  • Conference paper
SDL 2007: Design for Dependable Systems (SDL 2007)

Part of the book series: Lecture Notes in Computer Science ((LNCCN,volume 4745))

Included in the following conference series:

  • 309 Accesses

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.

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. ITU, Recommendation Z.100, Specification and Description Language (SDL). ITU, Geneva (August 2002)

    Google Scholar 

  2. Telelogic AB Inc., Telelogic TAU SDL Suite, http://www.telelogic.com

  3. OPNET Technology Inc., OPNET Modeler, http://www.opnet.com

  4. Information Science Institute, University of Southern California, The Network Simulator ns-2, http://www.isi.edu/nsnam/ns

  5. 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)

    Google Scholar 

  6. 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)

    Google Scholar 

  7. 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)

    Google Scholar 

  8. 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)

    Google Scholar 

  9. 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)

    Google Scholar 

  10. 3GPP, UTRA-UTRAN Long Term Evolution (LTE) and 3GPP System Architecture Evolution (SAE), http://www.3gpp.org/Highlights/LTE/LTE.htm

  11. 3GPP, E-UTRA and E-UTRAN; Radio Interface Protocol Aspects. TR 25.813 V.7.1.0 (2006)

    Google Scholar 

  12. Welch, G., et al.: An Introduction to the Kalman Filter. University of North Carolina TR 95-041, UNC (2002)

    Google Scholar 

  13. Michaelis, S., et al.: Comparison of User Mobility Pattern Prediction Algorithms to increase Handover Trigger Accuracy. IEEE VTC 2006-Spring, Melbourne (2006)

    Google Scholar 

  14. 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)

    Google Scholar 

  15. 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)

    Chapter  Google Scholar 

  16. Wikipedia Foundation, Inc., RAM disk. Wikipedia, the free encyclopedia, http://en.wikipedia.org/wiki/RAM_disk

  17. 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)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Emmanuel Gaudin Elie Najm Rick Reed

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics