Abstract
The Long Term Evolution (LTE) radio communication is the upgrade of the current 3G mobile technology with a more complex protocol in order to enable very high data rates. The usage of Model Driven Development (MDD) has arisen as a promising way of dealing with the increasing complexity of next generation mobile protocols. In this paper, a light version of the LTE protocol for the access stratum user plane is modeled using the SDL SuiteTM tool. The tool shows easy understanding of the model as well as easy testing of its functionality using simulation in cooperation with Message Sequence Chart (MSC). The simulation result shows that the implemented Specification and Description Language (SDL) guarantees a good consistency with the target scenarios. The system implementation is mapped to multiple threads and integrated with an operating system to enable execution in multi core hardware platforms.
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
International Telecommunications Union: Recommendation Z.100 (11/07), Specification and Description Language (SDL), http://www.itu.int/rec/T-REC-Z.100/en
International Telecommunications Union: Recommendations Z.161 to Z.170 all (11/2007) except Z.167 and Z.168 (11/2008), Testing and Test Control Notation version 3: TTCN-3, http://www.itu.int/rec/T-REC-Z.161/en , http://www.itu.int/rec/T-REC-Z.170/en
Badr, I.: Proven Approach for Developing Next Generation Communications Systems. ESE Magazine 15(6), http://www.esemagazine.com/pdf/dl_pdf/ESE-sep07.pdf
Hännikäinen, M., Knuutila, J., Hämäläinen, T., Saarinen, J.: Using SDL for Implementing a Wireless Medium Access Control Protocol. In: Proceedings of the 2000 International Conference on Microelectronic Systems Education, pp. 229–236. IEEE Computer Society, Washington DC (2000)
Park, S.-G., Shin, Y.-S., Kim, D.Y.: Design and Implementation of Protocols Related to Radio Network Layer Over eNB IN 3GPP LTE System. In: 66th IEEE Vehicular Technology Conference, pp. 194–199. IEEE Computer Society, Washington DC (2007)
Álvarez, J.M., Cámara, P.-d.-l., Martínez, J., Merino, P., Pérez, F.C., Morillo, V.: An SDL Implementation of the UMTS Radio Resource Control Protocol Oriented to Conformance Testing. In: Proceedings of the Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, pp. 397–401. IEEE Computer Society, Washington DC (2006)
Jung, K.-R., Choi, J., Song, P., Nam, Y.-H.: Design and Implementation of a Radio Resource Control Protocol in WCDMA using SDL. In: IEEE Vehicular Technology Conference (VTC) 54th, vol. 2, pp. 990–994. IEEE Computer Society, Washington DC (2001)
International Telecommunication Union: Recommendation Z.120 (04/04), Message sequence chart (MSC), http://www.itu.int/rec/T-REC-Z.120/en
3rd Generation Partnership Project (3GPP): The LTE Protocol Specification, 3GPP Rel8, http://www.3gpp.org/Release-8
Dahlman, E., et al.: 3G Evolution: HSPA and LTE for Mobile Broadband, 1st edn. Academic Press, London (2007)
Steppler, M.: Performance Analysis of Communication Systems Formally Specified in SDL. In: Proceedings of the 1st International Workshop on Software and Performance (WOSP), pp. 49–62 (1998) ISBN:1-58113-060-0
Hogrefe, D.: Estelle, LOTOS und SDL-Standard Spezifikationssprachen für verteilte Systeme. Springer, Heidelberg (1989)
IBM® Rational®, S.D.L.: SuiteTM User Manual, SDL SuiteTM v6.1
3GPP TS 36.321: Evolved Universal Terrestrial Radio Access (E UTRA); Medium Access Control (MAC) Specification, http://www.3gpp.org/ftp/Specs/html-info/36-series.htm
3GPP TS 36.322: Evolved Universal Terrestrial Radio Access (E UTRA); Radio Link Control (RLC) protocol specification. For URL see [14]
3GPP TS 36.323: Evolved Universal Terrestrial Radio Access (E UTRA); Packet Data Convergence Protocol (PDCP) Specification. For URL see [14]
Internet Society, The Internet Engineering Task Force: RFC 791: Internet Protocol DARPA Internet Program Protocol Specification (September 1981), http://www.ietf.org/rfc/rfc0791.txt
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Showk, A., Szczesny, D., Traboulsi, S., Badr, I., Gonzalez, E., Bilgic, A. (2009). Modeling LTE Protocol for Mobile Terminals Using a Formal Description Technique. In: Reed, R., Bilgic, A., Gotzhein, R. (eds) SDL 2009: Design for Motes and Mobiles. SDL 2009. Lecture Notes in Computer Science, vol 5719. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04554-7_14
Download citation
DOI: https://doi.org/10.1007/978-3-642-04554-7_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-04553-0
Online ISBN: 978-3-642-04554-7
eBook Packages: Computer ScienceComputer Science (R0)