Advertisement

SDL Design of a Radio Resource Control Protocol for 3G Evolution Systems with Two Different Approaches

  • Tae-Hyong Kim
  • Jae-Woo Kim
  • Qi-Ping Yang
  • Jae-Hyoung Lee
  • Soon-Gi Park
  • Yeun-Seung Shin
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4320)

Abstract

Despite the increasing need of formal methods, people in the industry still hesitate to use them for product development because they are not sure of success with that novel approach in their own situation. In order to encourage those people we show our experience of designing a radio resource control protocol for ETRI’s 3G evolution systems in SDL with two different approaches: pure-SDL and hybrid-SDL approaches. From our design and verification results, we make an empirical evaluation of those two approaches in several aspects and suggest a simple guideline for selecting an appropriate approach according to the situation.

Keywords

Medium Access Control User Equipment Universal Mobile Telecommunication System Universal Mobile Telecommunication System Radio Resource Management 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    James, P.R., Endler, M., Gaudel, M.-C.: Development of an atomic-broadcast protocol using LOTOS. Software - Practice & Experience 29(8), 699–719 (1999)CrossRefGoogle Scholar
  2. 2.
    Amer, P., Sethi, A., Fecko, M., Uyar, M.: Formal design and testing of army communication protocols based on Estelle. In: Proc. of the 1st ARL/ATIRP Conference, College Park, pp. 107–114 (1997)Google Scholar
  3. 3.
    Hatim, B., Droma, M.O.: Telecommunication software development using SDL-92: practical experience. In: The 2nd IEEE Int’l Conf. on Engineering of Complex Computer Systems (ICECCS 1996), pp. 273–277 (1996)Google Scholar
  4. 4.
    ITU, Recommendation Z.100, Specification and Description Language (SDL). ITU, Geneva (1999)Google Scholar
  5. 5.
    Telelogic AB Inc., Telelogic TAU Generation 1 SDL Suite Ver.4.6 (2005), See, http://www.telelogic.com
  6. 6.
    3GPP, Radio Resource Control (RRC) protocol specification. 3GPP TS 25.331 V.6.5.0 (2005)Google Scholar
  7. 7.
    Song, P.J., Noh, M.H., Kim, D.-H.: Design and Implementation of W-CDMA Radio Interface Protocols Using SDL Development Environments. In: Lee, J.-Y., Kang, C.-H. (eds.) CIC 2002. LNCS, vol. 2524, pp. 442–452. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  8. 8.
    ETRI, HMm, Technical Specification Radio Access Research Team, Radio Control (RC); HMm SPC-0310-250.200 (2004)Google Scholar
  9. 9.
    Wind River Systems Inc., Wind River Platform for Network Equipment, VxWorks Edition. See, http://www.windriver.com
  10. 10.
    Skehill, R.J., Rics, I., McGrath, S.: SDL System Development of Distributed UMTS Signalling Layers. In: 2nd Annual ICT Information Technology and Telecommunications (2002)Google Scholar
  11. 11.
    Colás, J., Pérez, J.M., Poncela, J., Entrambasaguas, J.T.: Implementation of UMTS Protocol Layers for the Radio Access Interface. In: Sherratt, E. (ed.) SAM 2002. LNCS, vol. 2599, pp. 74–89. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  12. 12.
    Morillo-Velarde, V., Colás, J., Poncela, J., Soret, B., Entrambasaguas, J.T.: UMTS Protocol Development using Formal Languages. In: Proc. of the IASTED Int’l Conf. on Communication Systems and Networks, pp. 274–279 (2004). Entrambasaguas Proceeding IASTED Communication Systems and Network, Spain (2004)Google Scholar
  13. 13.
    Objective Systems Inc., ASN1C - ASN.1 to C/C++ Compiler, Ver.5.3, (2002), See, http://www.obj-sys.com
  14. 14.
    Object Management Group, The Unified Modelling Language Version 2.0, (2004), See, http://www.uml.org
  15. 15.
    Reed, R.: The chairman’s report. The Annual Meeting of the SDL Forum Society (2005)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Tae-Hyong Kim
    • 1
  • Jae-Woo Kim
    • 1
  • Qi-Ping Yang
    • 1
  • Jae-Hyoung Lee
    • 1
  • Soon-Gi Park
    • 2
  • Yeun-Seung Shin
    • 2
  1. 1.School of Computer and Software EngineeringKumoh National Institute of TechnologyGumi, GyeongbukKorea
  2. 2.Mobile Telecommunication Research LaboratoryElectronics and Telecommunications Research InstituteDaejeonKorea

Personalised recommendations