Abstract
This paper provides a methodology to design, implement and verify the access stratum protocol entities in WCDMA system using the SDL development environments. Simulation experiments are performed to check the verification of call handling logic, message transfer procedures and configuration parameter values in the designed SDL, in which are especially focused on the access stratum protocol entities including radio resource control, radio link control and medium access control. The simulation result indicates that the designed SDL guarantees the good consistency with the target test scenario, and has not any mismatching of logic flows as well as semantic errors in SDL design. The verified source codes were also generated from the designed SDL successfully.
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.
Similar content being viewed by others
References
A. Olsen, O. frgemend, B. M ller Pedersen, R. Reed and J. R. W. Smith, Systems Engineering Using SDL-92, pp.15–30, ELSEVIER SCIENCE B.V., 1995
A. Fleischmann, PASS: A Technique for Specifying Communication Protocol, Proc. 7th lnt. Conf. on Protocol Specification. Testing and Verification. The Netherlands: North Holland, 1987
Jan Ellsberger, Dieter Hogrefe, Amardeo Sarma, SDL Formal Object-oriented Language for Communicating System, pp. 1–18, Prentice Hall Europe, 1997
ITU-T Z100, CCITT Specification and Description Language(SDL), 1996
K.R. Jung, J.H. Choi, P.J. Song, and Y.H. Nam, “Design and Implementation of a RRC Protocol in WCDMA using SDL”, VTC, Fall 2001
P.J. Song, C.W. Ro, M.W. Noh, Y.B. Yoon, and J.P. Lee, “Design and Implementation of Host Simulator for IMT-2000 Wireless Protocol using SDL Development Environments”, Korea Information Processing Society, Vol 8-c, No 2, April 2001
J.S. Kim, M.W. Nor, C.W. Ro, and P.J. Song, “Design and Implementation of WCDMA Medium Access Control using SDL”,CIC, 2001
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jung Song, P., Hwan Noh, M., Hoi Kim, D. (2003). Design and Implementation of W-CDMA Radio Interface Protocols Using SDL Development Environments. In: Lee, J., Kang, CH. (eds) Mobile Communications. CIC 2002. Lecture Notes in Computer Science, vol 2524. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36555-9_46
Download citation
DOI: https://doi.org/10.1007/3-540-36555-9_46
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00732-6
Online ISBN: 978-3-540-36555-6
eBook Packages: Springer Book Archive