Modeling Components and Services of LTE Mobile Communications System


The latest wireless broadband network standard is LTE (Long Term Evolution) which is developed by 3GPP (3rd Generation Partnership Project). It will enable mobile devices such as smart phones, tablets and laptops to access Internet at a very high speed along with lots of multimedia services. There are many issues that are yet to be solved due to dynamic complex nature of wireless systems, multimedia software applications and software requirements. Poor service quality, service disconnections due to mobility, seamless handover, handover interruption time and downward compatibility to other Radio Access Networks (RAN) are some of the key issues for the current LTE systems that are addressed very recently in the scientific literature. Formal method is one of the promising software engineering techniques that assure quality and perfection in software system models. Formal methods use mathematical language to explicitly specify system specifications and requirements that serve as initial grounds for further development and implementation. It efficiently handles all component connections and resource management parameters using discrete structures. Z Schema language is used to model static aspects of LTE communications system. All the schemas are being verified using Z/Eves toolset. The aim is to provide sound mathematical foundation for system validation and verification that eventually results in a more reliable, scalable and complete software system.

Share and Cite:

I. Ahmed Choudhry and N. Ahmad Zafar, "Modeling Components and Services of LTE Mobile Communications System," International Journal of Communications, Network and System Sciences, Vol. 5 No. 12, 2012, pp. 815-824. doi: 10.4236/ijcns.2012.512086.

Conflicts of Interest

The authors declare no conflicts of interest.


[1] D. Singhal, M. Kunapareddy, V. Chetlapalli, V. B. James and N. Akhtar, “LTE-Advanced: Handover Interruption Time Analysis for IMT-A Evaluation,” Proceedings of International Conference on Signal Processing, Communication, Computing and Networking Technologies, Thuckafay, 21-22 July 2011, pp. 81-85. Hdoi:10.1109/ICSCCN.2011.6024519
[2] Z. Bai, C. Spiegel, G. H. Bruck, P. Jung, M. Horvat, J. Berkmann, C. Drewes and B. Gunzelmann, “System Performance of UTRA LTE and LTE-Advanced,” International Conference on Communications, Computing and Control Applications (CCCA), Hammamet, 3-5 March 2011, pp. 1-5.
[3] Y. Wang, K. I. Pedersen, P. E. Mogensen and T. B. S?rensen, “Resource Allocation Considerations for Multi-Carrier LTE-Advanced Systems Operating in Backward Compatible Mode,” IEEE 20th International Symposium on Personal, Indoor, and Mobile Radio Communications, Tokyo, 13-16 September 2009, pp. 370-374.
[4] N. A. Zafar, U. Tajammul and N. Sabir, “Formal Specification of Call Setup Procedure of UMTS Communications System,” Proceedings of International Conference on Communication Software and Networks (ICCSN09), Macau, 27-28 February 2009.
[5] N. A. Zafar and U. Tajammul, “Handover Based Formal Dynamic Model of UMTS Communication System,” Proceedings of 4th International Computer Engineering Conference, Cairo, 29-30 December 2008, pp. 1-6.
[6] S. Tariq and N. A. Zafar, “Modeling of Wireless Mobile Communication System Using Z Notation,” Proceedings of the 1st International Conference on Computer, Control and Communication (IC4), Karachi, 12-13 November 2007.
[7] S. Ahmed, A. K. Ramani and N. A. Zafar, “Formal Analysis of Mobility Management for Ad Hoc Networks,” Proceedings of the International Conference on Wireless Networks (ICWN’11), Las Vegas, 18-21 July 2011, pp. 173-179.
[8] R. Milner, “Communicating and Mobile Systems: The π-Calculus,” Cambridge University Press, Cambridge, 1999.
[9] S. Acharya, C. George and H. Mohanty, “Domain Consistency in Requirements Specification,” Proceedings of the 5th International Conference on Quality Software, Melbourne, 19-20 September 2005, pp. 231-238. Hdoi:10.1109/QSIC.2005.24
[10] K. Taguchi and J. S. Dong, “An Overview of Mobile Object-Z,” Springer-Verlag, New York, 2002, pp. 144-155.
[11] M. Bettaz and M. Maouche, “Towards Mobile Z Schemas,” International Journal of Computer Science and Application, Vol. 11, No. 11, 2005, pp. 101-117.
[12] R. Duke, P. King, G. Rose and G. Smith, “The Object-Z Specification Language,” University of Queensland, Brisbane, 1991.
[13] M. Bettaz and M. Maouche, “Mobile Z Notation,” Research Report, Philadelphia University, Philadelphia, 2002.
[14] 3GPP TR 25.913, “Requirements for Evolved UTRA and Evolved UTRAN,” V7.3.0 2006.
[15] 3GPP TS 23.401, “GPRS Enhancements on EUTRAN Access,” 2007.
[16] Alcatel Lucent, “The LTE Network Architecture—A Comprehensive Tutorial,” 2009.
[17] M. M. A. Airchinnigh and M. Butler, “Service Specification Using Z,” Technical Report, University of Southampton, Southampton, 1993.
[18] R. Cam and S. Vuong, “A Formal Specification in LOTOS, of a Simplified Cellular Mobile Communication System,” Formal Description Techniques-II (FORTE’89), North- Holland Publishing Co., Amsterdam, 1990, pp. 485-499.
[19] L. Chen, et al., “System Level Simulation Methodology and Platform for Mobile Cellular Systems,” IEEE Communication Magazine, Vol. 49, No. 7, pp. 148-155. 2011.
[20] K. Doppler, “Device-To-Device Communication as an Underlay to LTE Advanced Networks,” IEEE Communication Magazine, Vol. 47, No. 12, pp. 42-49.
[21] Y. Sun, “Editorial Advanced Signal Processing for Wireless and Mobile Communications,” IET Signal Processing, Vol. 3, No. 6, 2009, pp. 431-432.
[22] J. M. Wing, “A Specifier’s Introduction to Formal Methods,” IEEE Computer, Vol. 23, No. 9, 1990, pp. 8-24.
[23] H. Luo, et al., “Quality Driven Cross Layer Optimized Video Delivery over LTE,” IEEE Communication Magazine, Vol. 48, No. 2, 2010, pp. 102-109.
[24] I. A. Choudhry, N. A. Zafar and M. Zahrani, “Validating Statistics of Long Term Evolution Mobile Communications System,” Proceedings of the 2012 International Conference on Modeling, Simulation and Visualization Methods, Las Vegas, 16-19 July 2012, pp. 201-206.

Copyright © 2024 by authors and Scientific Research Publishing Inc.

Creative Commons License

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.