ACADSTAFF UGM
| Title | : | Verifikasi formal stabilitas rute pada protokol jaringan ad hoc |
| Author | : | |
| Date | : | 0 2021 |
| Abstract | : | Babel adalah protokol routing berbasis vektor jarak untuk jaringan ad hoc dengan konvergensi yang cepat dan waktu perbaikan rute yang cepat, tetapi mengalami frekuensi perubahan rute yang besar. Sebuah metode berdasarkan histeresis tersedia untuk menekan frekuensi perubahan rute ini, dan karenanya untuk meningkatkan stabilitas pemilihan rute Babel. Penelitian ini menerapkan verifikasi formal untuk mencari tahu apakah penggunaan histeresis dalam proses pemilihan rute Babel meningkatkan properti stabilitas pemilihan rute. Verifikasi formal pada protokol dilakukan dengan memeriksa model abstrak Babel yang ditentukan dalam bahasa pemodelan MoDeST. |
| Group of Knowledge | : | Ilmu Komputer |
| Original Language | : | English |
| Level | : | Nasional |
| Status | : |
| No | Title | Action |
|---|