Pemodelan dan Verifikasi Formal Pengaruh Mobility pattern Terhadap Handoff Latency pada Jaringan WiMAX

I Nym Saputra Wahyu Wijaya(1*), Reza Pulungan(2)

(2) Jurusan Ilmu Komputer dan Elektronika, FMIPA UGM, Yogyakarta
(*) Corresponding Author


           In order to decrease handoff latency and increase the successful of HHO conventional scheme, a development of handover scheme is done in standard protocol WiMAX IEEE 802.16e by adding mobility pattern. The superiority of handover scheme with mobility pattern can reduce handoff latency up to 50%, mean while the weakness of this scheme is a wrong act in determining target base station are often happen. Simulation can not showing the cause of that error. So, we do formal verification in to hard handover model with mobility pattern.

            In this research, behaviour system is modeled with continuous-time Markov chain (CTMC). The model is foccused to aproximating the influence of mobility pattern in to handoff latency from WiMAX hard handover mechanism. In order to set up a series markov chain models handover system can follow steps, such as: represents the state space, give a number in all transitions, generate the rate transition matrix (infinitesimal generator).

            Probabilistic model checking in the research are using quantitative properties and qualitative properties. Formal verification concerning properties has relation with handover in WiMAX network showing that 70% from mobile station which doing scanning with mobility pattern are success doing handover. 24% of them doing scanning conventional as a result of wrongness in act determining target base station, so handoff latency which is pictured will bigger than a system that is only use conventional scanning method.


WiMAX, handover, mobility pattern, CTMC, PRISM, handoff latency

Full Text:



Ahmadi S (2011). Mobile WiMAX A System Approach to Understanding IEEE 802.16m Radio Access Technology, Academic Press.

Zhang Z, Pazzi R, Boukerche A and Lanfieldt B (2010). Reducing Handoff Latency for WiMAX Networks Using Mobility patterns, in Wireless Communications and Networking Conference (WCNC), 2010 IEEE, IEE, pp. 1–6.

Khan A N, Anwer W and Munir E U (2013). Handover Techniques in Mobile WiMAX Networks: Analysis and Comparison, in Middle-East Journal of Scientific Research, Vol. 15, IDOSI Publications, pp. 1599–1605.

Baier C and Katoen J (2008). Principles of model checking, MIT Press.

Chowdhurry P, Kundu A, Misra I S and Sanyal S K (2012). Load Balancing with Reduce Unnecessary Handoff in Energy Efficient Macro/Femto-cell Based BWA Network, International Journal of Wireless & Mobile Networks (IJWMN) 4(3), 105–118.

Ma X, Cao Y, Liu Y and Triverdi K (2006). Modeling and performance analysis for soft handoff schemes in CDMA cellular systems, Vehicular Technology, IEEE Transactions 55, 670– 680.

Kirsal Y and Gemikonakli O (2009). Approaches to Modelling and Analysis for Performability Evaluation of Handoff Schemes in Wireless Cellular Networks, Computational Intelligence, Modelling and Simulation CSim 09 .

Ross S M (2010). Introduction to Probability Model 10th Edition, Aca..

Trivedi K S, Ma X and Dharmaraja S (2003). Performability Modelling of Wireless Communication Systems, in International Journal of Communication Systems, number 16, John Wiley & Sons, Ltd, pp. 561–567.

Yu Y (2009), Handover Performance in the Mobile WiMAX Netrworks, Master’s thesis, University of South Florida.


Article Metrics

Abstract views : 1708 | views : 1842


  • There are currently no refbacks.

Copyright (c) 2016 IJCCS - Indonesian Journal of Computing and Cybernetics Systems

Creative Commons License
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.

Copyright of :
IJCCS (Indonesian Journal of Computing and Cybernetics Systems)
ISSN 1978-1520 (print); ISSN 2460-7258 (online)
is a scientific journal the results of Computing
and Cybernetics Systems
A publication of IndoCEISS.
Gedung S1 Ruang 416 FMIPA UGM, Sekip Utara, Yogyakarta 55281
Fax: +62274 555133 |

View My Stats1
View My Stats2