چکیده فارسی :

در شبکه های ad hoc مانند MANET توپولوژی مکرر تغییر می کند و مشکلات تداخلی در بسیاری از موارد اجتناب ناپذیر است، در نتیجه شکست لینک ممکن است بوجود آید. متاسفانه، الگوریتم های مسیریابی سنتی دیگر مناسب این نوع از شبکه ها به خصوص در مورد استفاده از طرح یک مسیر واحد. به منظور غلبه بر این مشکل، چند روش مسیریابی پیشنهاد شده است که برخی موارد برای توسعه مسیریابی سنتی است. هدف ما در این مقاله پیشنهاد مطالعه ای رسمی بر اساس مدل چک کردن به طور رسمی تایید نسخه ارتقا یافته  AOMDV است. در این نسخه جدید ما ویژگی های جدیدی را در کشف مسیر و مسیر نگهداری برای رسیدن به بهره وری انرژی، به حداقل رساندن بسته سر گروه و کاهش زمان تاخیر اضافه کردیه ایم.

کلمات کلیدی: شبکه های موقت. پروتکل های مسیریابی. تایید رسمی؛ چک کردن مدل.

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

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.

Keywords: Ad-hoc networks; routing protocols; Formal verification; model checking;