Formal verification of a new version of AOMDV in ad hoc network

被引：1
作者：
Amine, Djellouli Ahmed [1 ]
Kamel, Abdi Mustapha [1 ]
Bouabdellah, Kechar [1 ]
机构：
[1] El Mnaouar Oran Univ, Fac Exactes & Appl Sci, Lab Ind Comp & Networking, Oran 31000, Algeria
来源：
5TH INTERNATIONAL CONFERENCE ON EMERGING UBIQUITOUS SYSTEMS AND PERVASIVE NETWORKS / THE 4TH INTERNATIONAL CONFERENCE ON CURRENT AND FUTURE TRENDS OF INFORMATION AND COMMUNICATION TECHNOLOGIES IN HEALTHCARE / AFFILIATED WORKSHOPS | 2014年 / 37卷
关键词：
Ad-hoc networks; routing protocols; Formal verification; model checking;
D O I：
10.1016/j.procs.2014.08.025
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
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. (C) 2014 The Authors. Published by Elsevier B.V.
引用
收藏
页码：160 / 167
页数：8
相关论文
共 20 条
[1]  
[Anonymous], 2012, P 15 ACM INT C MODEL
[2]  
Baier C, 2008, PRINCIPLES OF MODEL CHECKING, P1
[3]  
BENGTSSON JP, 1995, LECT NOTES COMPUTER, V1019
[4]  
Biradar S. R., 2010, IJCSE INT J COMPUTER, V2, P373
[5]  
Bobade N., 2012, INT J WIRELESS MOBIL, V4
[6]  
Chiyangwa S, 2005, LECT NOTES COMPUT SC, V3535, P306
[7]  
Chiyangwa Sibusisiwe, 2003, P 3 WORK6SHOP AUT VE
[8]  
Edmund J., 1999, Model checking
[9]  
Ejersbo Jensen Henrik, 1996, RS9624 BRICS
[10]  
Hofner Peter, 2013, FORMAL MODELING ANAL, V8053, P121
12