ACADSTAFF UGM
| Title | : | Pemodelan dan Verifikasi Formal Pengaruh Mobility pattern Terhadap Handoff Latency pada Jaringan WiMAX |
| Author | : |
I NYOMAN SAPUTRA WAHYU WIJAYA (1) Prof. Dr.-Ing. Mhd. Reza M. I. Pulungan, S.Si., M.Sc. (2) |
| Date | : | 0 2016 |
| Keyword | : | WiMAX, handover, mobility pattern, CTMC, PRISM, handoff latency WiMAX, handover, mobility pattern, CTMC, PRISM, handoff latency |
| Abstract | : | Untuk mengurangi handoff latency dan meningkatkan keberhasilan dari skema HHO konvensional, dilakukan pengembangan skema handover pada standard protokol WiMAX IEEE 802.16e dengan menambahkan mobility pattern. Keunggulan skema handover dengan mobility pattern adalah mengurangi handoff latency hingga 50%, sedangkan kelemahannya sering terjadi kesalahan dalam penentuan Target base station. Verifikasi formal dilakukan untuk mengetahui kelemahan tersebut. Skema handover dimodelkan dengan continuous-time Markov chain (CTMC). Model difokuskan untuk memperkirakan pengaruh algoritma mobility pattern terhadap handoff latency dari mekanisme Hard Handover WiMAX. Langkah-langkah untuk membangun model sebagai berikut: Mereprensentasikan state space, memberikan penomoran pada semua, menggenerasikan rate transisi matriks (infinitesimal generator). Kemudian model yang dibentuk dituangkan pada tool PRISM, untuk dilakukan verifikasi formal. Probabilistic model checking pada penelitian melakukan pendekatan kuantitatif (qunatitative properties) dan kualitatif (qualitative properties). Verifikasi formal terhadap properti-properti yang berkaitan dengan handover pada jaringan WiMAX menunjukkan bahwa 70?ri MS yang melakukan scanning dengan mobility pattern sukses melakukan handover, 24 % diantaranya melakukan scanning konvensional akibat kesalahan dalam penentuan TBS sehingga handoff latency yang dihasilkan lebih besar jika dibandingkan dengan sistem yang hanya menggunakan metode scanning konvensional. |
| Group of Knowledge | : | Ilmu Komputer |
| Original Language | : | Bahasa Indonesia |
| Level | : | Nasional |
| Status | : |
Published
|
| No | Title | Action |
|---|