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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
James, P.R., Endler, M., Gaudel, M.-C.: Development of an atomic-broadcast protocol using LOTOS. Software - Practice & Experience 29(8), 699–719 (1999)
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)
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)
ITU, Recommendation Z.100, Specification and Description Language (SDL). ITU, Geneva (1999)
Telelogic AB Inc., Telelogic TAU Generation 1 SDL Suite Ver.4.6 (2005), See, http://www.telelogic.com
3GPP, Radio Resource Control (RRC) protocol specification. 3GPP TS 25.331 V.6.5.0 (2005)
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)
ETRI, HMm, Technical Specification Radio Access Research Team, Radio Control (RC); HMm SPC-0310-250.200 (2004)
Wind River Systems Inc., Wind River Platform for Network Equipment, VxWorks Edition. See, http://www.windriver.com
Skehill, R.J., Rics, I., McGrath, S.: SDL System Development of Distributed UMTS Signalling Layers. In: 2nd Annual ICT Information Technology and Telecommunications (2002)
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)
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)
Objective Systems Inc., ASN1C - ASN.1 to C/C++ Compiler, Ver.5.3, (2002), See, http://www.obj-sys.com
Object Management Group, The Unified Modelling Language Version 2.0, (2004), See, http://www.uml.org
Reed, R.: The chairman’s report. The Annual Meeting of the SDL Forum Society (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kim, TH., Kim, JW., Yang, QP., Lee, JH., Park, SG., Shin, YS. (2006). SDL Design of a Radio Resource Control Protocol for 3G Evolution Systems with Two Different Approaches. In: Gotzhein, R., Reed, R. (eds) System Analysis and Modeling: Language Profiles. SAM 2006. Lecture Notes in Computer Science, vol 4320. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11951148_11
Download citation
DOI: https://doi.org/10.1007/11951148_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-68371-1
Online ISBN: 978-3-540-68373-5
eBook Packages: Computer ScienceComputer Science (R0)