Modeling LTE Protocol for Mobile Terminals Using a Formal Description Technique

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 Suite™ 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.

[1]  Martin Steppler,et al.  Performance analysis of communication systems formally specified in SDL , 1998, WOSP '98.

[2]  Jihyuk Choi,et al.  Design and implementation of a radio resource control protocol in WCDMA using SDL , 2001, IEEE 54th Vehicular Technology Conference. VTC Fall 2001. Proceedings (Cat. No.01CH37211).

[3]  Dae-Young Kim,et al.  Design and Implementation of Protocols Related to Radio Network Layer Over eNB IN 3GPP LTE System , 2007, 2007 IEEE 66th Vehicular Technology Conference.

[4]  Dieter Hogrefe,et al.  Estelle, LOTOS und SDL , 1989 .

[5]  Pedro Merino,et al.  An SDL Implementation of the UMTS Radio Resource Control Protocol Oriented to Conformance Testing , 2006, Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).

[6]  Timo Hämäläinen,et al.  Using SDL for implementing a wireless medium access control protocol , 2000, Proceedings International Symposium on Multimedia Software Engineering.

[7]  Sjouke Mauw,et al.  Message Sequence Chart (MSC) , 1996 .

[8]  Erik Dahlman,et al.  3G Evolution: HSPA and LTE for Mobile Broadband , 2007 .