دورية أكاديمية
Pemodelan dan Verifikasi Formal Protokol EE-OLSR dengan UPPAAL CORA
| العنوان: | Pemodelan dan Verifikasi Formal Protokol EE-OLSR dengan UPPAAL CORA |
|---|---|
| المؤلفون: | Rachmat Wahid Saleh Insani, Reza Pulungan |
| المصدر: | IJCCS (Indonesian Journal of Computing and Cybernetics Systems), Vol 10, Iss 1, Pp 93-102 (2016) |
| بيانات النشر: | Universitas Gadjah Mada, 2016. |
| سنة النشر: | 2016 |
| المجموعة: | LCC:Cybernetics LCC:Electronic computers. Computer science |
| مصطلحات موضوعية: | modeling, verification, EE-OLSR, UPPAAL CORA, Cybernetics, Q300-390, Electronic computers. Computer science, QA75.5-76.95 |
| الوصف: | Information and Communication Technology systems is a most important part of society. These systems are becoming more and more complex and are massively encroaching on daily life via the Internet and all kinds of embedded systems. Communication protocols are one of the ICT systems used by Internet users. OLSR protocol is a wireless network communication protocol with proactive, and based on link-state algorithm. EE-OLSR protocol is a variant of OLSR that is able to prolong the network lifetime without losses of performance. Protocol verification process generally be done by simulation and testing. However, these processes unable to verify there are no subtle error or design flaw in protocol. Model Checking is an algorithmic method runs in fully automatic to verify a system. UPPAAL is a model checker tool to model, verify, and simulate a system in Timed Automata. UPPAAL CORA is model checker tool to verify EE-OLSR protocol modelled in Linearly Priced Timed Automata, if the protocol satisfy the energy efficient property formulated by formal specification language in Weighted Computation Tree Logic syntax. Model Checking Technique to verify the protocols results in the protocol is satisfy the energy efficient property only when the packet transmission traffic happens. |
| نوع الوثيقة: | article |
| وصف الملف: | electronic resource |
| اللغة: | English Indonesian |
| تدمد: | 1978-1520 2460-7258 |
| Relation: | https://jurnal.ugm.ac.id/ijccs/article/view/11192; https://doaj.org/toc/1978-1520; https://doaj.org/toc/2460-7258 |
| DOI: | 10.22146/ijccs.11192 |
| URL الوصول: | https://doaj.org/article/06c3fb0a79fd42b4ba0e067a18c57959 |
| رقم الأكسشن: | edsdoj.06c3fb0a79fd42b4ba0e067a18c57959 |
| قاعدة البيانات: | Directory of Open Access Journals |
Full Text Finder | تدمد: | 19781520 24607258 |
|---|---|
| DOI: | 10.22146/ijccs.11192 |