دانلود مقاله ISI انگلیسی شماره 70757
ترجمه فارسی عنوان مقاله

تأیید رسمی از یک نسخه جدید از AOMDV در شبکه ad hoc ☆

عنوان انگلیسی
Formal Verification of a New Version of AOMDV in ad hoc Network ☆
کد مقاله سال انتشار تعداد صفحات مقاله انگلیسی
70757 2014 8 صفحه PDF
منبع

Publisher : Elsevier - Science Direct (الزویر - ساینس دایرکت)

Journal : Procedia Computer Science, Volume 37, 2014, Pages 160–167

ترجمه کلمات کلیدی
شبکه های ad-hoc؛ پروتکل های مسیریابی - تأیید رسمی؛ چک کردن مدل؛
کلمات کلیدی انگلیسی
Ad-hoc networks; routing protocols; Formal verification; model checking;
پیش نمایش مقاله
پیش نمایش مقاله  تأیید رسمی از یک نسخه جدید از AOMDV در شبکه ad hoc ☆

چکیده انگلیسی

In ad hoc networks like MANET the topology change frequently and interferences problems are inevitable in many cases, as a result link failures can arise. Unfortunately, traditional routing algorithms are no more suitable for this kind of networks especially in case of using a single path routing schemes. In order to overcome this problem, multipath routing approach is proposed where in some cases as an extension of the traditional routing algorithms. Our aim in this paper is to propose a formal study based on model checking to formally verify an enhancement version of AOMDV. In this new version we have added new functionalities in ROUTE DISCOVERY and ROUTE MAINTENANCE to achieve energy efficiency, packet overhead minimization and latency reduction.