Modeling Components and Services of LTE Mobile Communications System
- 1 Department of Communication and Networking, King Faisal University, Al-Ahsa, KSA
- 2 Department of Computer Science, King Faisal University, Al-Ahsa, KSA
Abstract
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.
- 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
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- R. Milner, “Communicating and Mobile Systems: The π-Calculus,” Cambridge University Press, Cambridge, 1999.
- 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
- K. Taguchi and J. S. Dong, “An Overview of Mobile Object-Z,” Springer-Verlag, New York, 2002, pp. 144-155.
- M. Bettaz and M. Maouche, “Towards Mobile Z Schemas,” International Journal of Computer Science and Application, Vol. 11, No. 11, 2005, pp. 101-117.