Modeling LTE protocol for mobile terminals using a formal description technique

Authors:
Anas Showk;David Szczesny;Shadi Traboulsi;Irv Badr;Elizabeth Gonzalez;Attila Bilgic
Affiliations:
Institute for Integrated Systems, University of Bochum, Bochum, Germany;Institute for Integrated Systems, University of Bochum, Bochum, Germany;Institute for Integrated Systems, University of Bochum, Bochum, Germany;IBM Rational, Chicago, IL;Institute for Integrated Systems, University of Bochum, Bochum, Germany;Institute for Integrated Systems, University of Bochum, Bochum, Germany
Venue:
SDL'09 Proceedings of the 14th international SDL conference on Design for motes and mobiles
Year:
2009

Citing 3
Cited 1

Performance analysis of communication systems formally specified in SDL

Proceedings of the 1st international workshop on Software and performance
Using SDL for Implementing a Wireless Medium Access Control Protocol

MSE '00 Proceedings of the 2000 International Conference on Microelectronic Systems Education
An SDL Implementation of the UMTS Radio Resource Control Protocol Oriented to Conformance Testing

ISOLA '06 Proceedings of the Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation

Optimal resource management for a model driven LTE protocol stack on a multicore platform

Proceedings of the 8th ACM international workshop on Mobility management and wireless access

Quantified Score

Hi-index	0.00

Visualization

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