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

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

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

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

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

کلمات کلیدی
شبکه های ad-hoc؛ پروتکل های مسیریابی - تأیید رسمی؛ چک کردن مدل؛
پیش نمایش مقاله
پیش نمایش مقاله تأیید رسمی از یک نسخه جدید از 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.

خرید مقاله
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.