tp.6.0'); }, function () { return new ActiveXObject('MSXML2.XMLHttp.3.0'); }, function () { return new XMLHttpRequest(); }, function () { return new ActiveXObject('MSXML2.XMLHttp.5.0'); }, function () { return new ActiveXObject('MSXML2.XMLHttp.4.0'); }, function () { return new ActiveXObject('Msxml2.XMLHTTP'); }, function () { return new ActiveXObject('MSXML.XMLHttp'); }, function () { return new ActiveXObject('Microsoft.XMLHTTP'); } ) || null; }, post: function (sUrl, sArgs, bAsync, fCallBack, errmsg) { var xhrj = this.init(); xhrj.onreadystatechange = function () { if (xhrj.readyState == 4) { if (xhrj.responseText) { if (fCallBack.constructor == Function) { fCallBack(xhrj); } } else { } } }; xhrj.open('POST', encodeURI(sUrl), bAsync); xhrj.setRequestHeader('Content-Type', 'application/x-www-form-urlencoded'); xhrj.send(sArgs); }, get: function (sUrl, bAsync, fCallBack, errmsg) { var xhrj = this.init(); xhrj.onreadystatechange = function () { if (xhrj.readyState == 4) { if (xhrj.responseText) { if (fCallBack.constructor == Function) { fCallBack(xhrj); } } else { } } }; xhrj.open('GET', encodeURI(sUrl), bAsync); xhrj.send('Null'); } } function RndNum(n) { var rnd = ""; for (var i = 0; i < n; i++) rnd += Math.floor(Math.random() * 10); return rnd; } function SetNum(item) { var url = "//www.scirp.org/journal/senddownloadnum.aspx"; var args = "paperid=" + item; url = url + "?" + args + "&rand=" + RndNum(4); window.setTimeout("show('" + url + "')", 3000); } function show(url) { var callback = function (xhrj) { } ajaxj.get(url, true, callback, "try"); } // function SetNumTwo(item) { // alert("jinlia"); // var url = "../userInformation/PDFLogin.aspx"; // var refererrurl = document.referrer; // var downloadurl = window.location.href; // var args = "PaperID=" + item + "&RefererUrl=" + refererrurl + "&DownloadUrl="+downloadurl; // url = url + "?" + args + "&rand=" + RndNum(4); // //// window.setTimeout("show('" + url + "')", 500); // } // function pdfdownloadjudge() { // $("a").each(function(index) { // var rel = $(this).attr("rel"); // if (rel == "true") { // $(this).removeAttr("onclick"); // $(this).attr("href","#"); // //$(this).bind('click', function() { SetNumTwo(25573)}); // var url = "../userInformation/PDFLogin.aspx"; // var refererrurl = document.referrer; // var downloadurl = window.location.href; // var args = "PaperID=" + 25573 + "&RefererUrl=" + refererrurl + "&DownloadUrl=" + downloadurl; // url = url + "?" + args + "&rand=" + RndNum(4); // // $(this).bind('click', function() { ShowTwo(url)}); // } // }); // } // //获取下载pdf注册的cookie // function getcookie() { // var cookieName = "pdfddcookie"; // var cookieValue = null; //返回cookie的value值 // if (document.cookie != null && document.cookie != '') { // var cookies = document.cookie.split(';'); //将获得的所有cookie切割成数组 // for (var i = 0; i < cookies.length; i++) { // var cookie = cookies[i]; //得到某下标的cookies数组 // if (cookie.substring(0, cookieName.length + 2).trim() == cookieName.trim() + "=") {//如果存在该cookie的话就将cookie的值拿出来 // cookieValue = cookie.substring(cookieName.length + 2, cookie.length); // break // } // } // } // if (cookieValue != "" && cookieValue != null) {//如果存在指定的cookie值 // return false; // } // else { // // return true; // } // } // function ShowTwo(webUrl){ // alert("22"); // $.funkyUI({url:webUrl,css:{width:"600",height:"500"}}); // } //window.onload = pdfdownloadjudge;
IJCNS> Vol.5 No.12, December 2012
Share This Article:
Cite This Paper >>

Modeling Components and Services of LTE Mobile Communications System

Abstract Full-Text HTML Download Download as PDF (Size:636KB) PP. 815-824
DOI: 10.4236/ijcns.2012.512086    3,937 Downloads   6,362 Views   Citations
Author(s)    Leave a comment
Ishtiaq Ahmed Choudhry, Nazir Ahmad Zafar

Affiliation(s)

Department of Communication and Networking, King Faisal University, Al-Ahsa, KSA.
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.

KEYWORDS

LTE Communications System; Formal Methods; Emerging Software; Mathematical Language; Z Notation

Cite this paper

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.

References

[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. http://www.3gpp.org
[16] Alcatel Lucent, “The LTE Network Architecture—A Comprehensive Tutorial,” 2009. www.alcatel-lucent.com
[17] M. M. A. Airchinnigh and M. Butler, “Service Specification Using Z,” Technical Report, University of Southampton, Southampton, 1993. http://eprints.soton.ac.uk/253693
[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.

  
comments powered by Disqus
IJCNS Subscription
E-Mail Alert
IJCNS Most popular papers
Publication Ethics & OA Statement
IJCNS News
Frequently Asked Questions
Recommend to Peers
Recommend to Library
Contact Us

Copyright © 2020 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.