ACADSTAFF UGM
| Title | : | Pemodelan dan Verifikasi Formal Protokol EE-OLSR dengan UPPAAL CORA |
| Author | : |
RACHMAT WAHID SALEH (1) Prof. Dr.-Ing. Mhd. Reza M. I. Pulungan, S.Si., M.Sc. (2) |
| Date | : | 0 2016 |
| Keyword | : | modeling, verification, EE-OLSR, UPPAAL CORA. modeling, verification, EE-OLSR, UPPAAL CORA. |
| Abstract | : | Sistem Information and Communication Technology (ICT) adalah suatu bagian hidup dari masyarakat yang sangat penting. Sistem ICT terus berkembang menjadi sistem yang kompleks dan besar. Protokol komunikasi adalah contoh sistem ICT yang digunakan oleh seluruh masyarakat pengguna Internet. Protokol OLSR adalah protokol komunikasi jaringan wireless yang bersifat proaktif, table-driven dan berbasis pada algoritma link-state. Protokol EE-OLSR adalah varian dari protokol OLSR yang dinyatakan mampu meningkatkan penggunaan energi tanpa adanya pengurangan pada performa. Proses verifikasi protokol umumnya dilakukan dengan cara simulasi dan pengujian langsung. Namun proses tersebut tidak mampu memverifikasi bahwa tidak ada subtle error atau design flaw pada suatu protokol. Model checking merupakan metode algoritmik yang dijalankan secara fully-automatic untuk melakukan verifikasi pada sistem. UPPAAL adalah model checker tool untuk memodelkan, simulasi, dan verifikasi suatu sistem yang dimodelkan pada Timed Automata. UPPAAL CORA adalah model checker tool untuk memverifikasi protokol yang telah dimodelkan ke bahasa pemodelan Linearly Priced Timed Automata, apakah protokol memenuhi properti energy efficient yang telah diformulasikan menggunakan bahasa spesifikasi formal dalam sintaks Weighted Computation Tree Logic. Teknik Model Checking terhadap protokol tersebut menghasilkan bukti bahwa protokol EE-OLSR memenuhi properti energy efficient hanya ketika lalu lintas pengiriman paket terjadi. |
| Group of Knowledge | : | Ilmu Komputer |
| Original Language | : | Bahasa Indonesia |
| Level | : | Nasional |
| Status | : |
Published
|
| No | Title | Action |
|---|