VERIFIKASI DUA VARIAN PROTOKOL AD HOC ON DEMAND DISTANCE VECTOR DENGAN UPPAAL
Manet is a group of wireless mobile that connected one to each other dynamically without fixed infrastructure so topology could change at anytime. MANET routing protocol has two models which are reactive routing protocol that built routing table only when needed and proactive routing protocol that m...
| Main Authors: | , |
|---|---|
| Format: | Thesis |
| Published: |
[Yogyakarta] : Universitas Gadjah Mada
2014
|
| Subjects: |
| _version_ | 1797034884220321792 |
|---|---|
| author | , Ika Oktavia Suzanti , Dr.-Ing. MHD. Reza M.I. Pulungan, S.Si., M.Sc. |
| author_facet | , Ika Oktavia Suzanti , Dr.-Ing. MHD. Reza M.I. Pulungan, S.Si., M.Sc. |
| author_sort | , Ika Oktavia Suzanti |
| collection | UGM |
| description | Manet is a group of wireless mobile that connected one to each other
dynamically without fixed infrastructure so topology could change at anytime.
MANET routing protocol has two models which are reactive routing protocol that
built routing table only when needed and proactive routing protocol that maintain
routing table periodically. General property which had to be satisfied by ad hoc
network protocol are route discovery, packet delivery and loop freedom.
AODV is a reactive protocol in MANET that has time standard to
determine how long a route is valid to be used (route validity) so route discovery
and packet delivery property should be satisfied in a specifically certain time.
Protocol verification process done by modeling protocol specification using
technique, tool and mathematic language.
In this research protocol modeled using timed automata which is a
modeling language that could be used to model a time dependent system in each
process. Verification using timed automata can automatically done by UPPAAL
tool model checker.
Protocol which will be verified are AODV Break Avoidance by Ali
Khosrozadeh et al. and AODV Reliable Delivery by Liu Jian and Li Fang-Min.
Result of this protocol verification prove that AODV BA could satisfied route
discovery property and AODV Reliable Delivery could satisfied packet delivery
property within their specification time. |
| first_indexed | 2024-03-13T23:19:06Z |
| format | Thesis |
| id | oai:generic.eprints.org:127965 |
| institution | Universiti Gadjah Mada |
| last_indexed | 2024-03-13T23:19:06Z |
| publishDate | 2014 |
| publisher | [Yogyakarta] : Universitas Gadjah Mada |
| record_format | dspace |
| spelling | oai:generic.eprints.org:1279652016-03-04T07:57:36Z https://repository.ugm.ac.id/127965/ VERIFIKASI DUA VARIAN PROTOKOL AD HOC ON DEMAND DISTANCE VECTOR DENGAN UPPAAL , Ika Oktavia Suzanti , Dr.-Ing. MHD. Reza M.I. Pulungan, S.Si., M.Sc. ETD Manet is a group of wireless mobile that connected one to each other dynamically without fixed infrastructure so topology could change at anytime. MANET routing protocol has two models which are reactive routing protocol that built routing table only when needed and proactive routing protocol that maintain routing table periodically. General property which had to be satisfied by ad hoc network protocol are route discovery, packet delivery and loop freedom. AODV is a reactive protocol in MANET that has time standard to determine how long a route is valid to be used (route validity) so route discovery and packet delivery property should be satisfied in a specifically certain time. Protocol verification process done by modeling protocol specification using technique, tool and mathematic language. In this research protocol modeled using timed automata which is a modeling language that could be used to model a time dependent system in each process. Verification using timed automata can automatically done by UPPAAL tool model checker. Protocol which will be verified are AODV Break Avoidance by Ali Khosrozadeh et al. and AODV Reliable Delivery by Liu Jian and Li Fang-Min. Result of this protocol verification prove that AODV BA could satisfied route discovery property and AODV Reliable Delivery could satisfied packet delivery property within their specification time. [Yogyakarta] : Universitas Gadjah Mada 2014 Thesis NonPeerReviewed , Ika Oktavia Suzanti and , Dr.-Ing. MHD. Reza M.I. Pulungan, S.Si., M.Sc. (2014) VERIFIKASI DUA VARIAN PROTOKOL AD HOC ON DEMAND DISTANCE VECTOR DENGAN UPPAAL. UNSPECIFIED thesis, UNSPECIFIED. http://etd.ugm.ac.id/index.php?mod=penelitian_detail&sub=PenelitianDetail&act=view&typ=html&buku_id=68287 |
| spellingShingle | ETD , Ika Oktavia Suzanti , Dr.-Ing. MHD. Reza M.I. Pulungan, S.Si., M.Sc. VERIFIKASI DUA VARIAN PROTOKOL AD HOC ON DEMAND DISTANCE VECTOR DENGAN UPPAAL |
| title | VERIFIKASI DUA VARIAN PROTOKOL AD HOC ON DEMAND
DISTANCE VECTOR DENGAN UPPAAL |
| title_full | VERIFIKASI DUA VARIAN PROTOKOL AD HOC ON DEMAND
DISTANCE VECTOR DENGAN UPPAAL |
| title_fullStr | VERIFIKASI DUA VARIAN PROTOKOL AD HOC ON DEMAND
DISTANCE VECTOR DENGAN UPPAAL |
| title_full_unstemmed | VERIFIKASI DUA VARIAN PROTOKOL AD HOC ON DEMAND
DISTANCE VECTOR DENGAN UPPAAL |
| title_short | VERIFIKASI DUA VARIAN PROTOKOL AD HOC ON DEMAND
DISTANCE VECTOR DENGAN UPPAAL |
| title_sort | verifikasi dua varian protokol ad hoc on demand distance vector dengan uppaal |
| topic | ETD |
| work_keys_str_mv | AT ikaoktaviasuzanti verifikasiduavarianprotokoladhocondemanddistancevectordenganuppaal AT dringmhdrezamipulunganssimsc verifikasiduavarianprotokoladhocondemanddistancevectordenganuppaal |