Open AccessProceedings Article
Modeling and simulation of routing protocol for mobile ad hoc networks using colored petri nets
Chaoyue Xiong,Tadao Murata,Jeffery Tsai +2 more
- pp 145-153
TLDR
A topology approximation (TA) mechanism is proposed to address the problem of mobility and simulations of a typical routing protocol called Ad Hoc On-Demand Distance Vector Routing (AODV) show that the proposed TA mechanism can indeed mimic the dynamically changing graph (mobility) of a MANET.Abstract:
In a mobile ad hoc network (MANET), mobile nodes directly send messages to each other via wireless transmission. A node can send a message to a destination node beyond its transmission range by using other nodes as relay points, and thus a node can function as a router. Typical applications of MANETs include defense systems such as battlefield survivability, and disaster recovery. The research on MANETs originates from part of the Advanced Research Projects Agency (ARPA) project in the 1970s. With the explosive growth of the Internet and mobile communication networks, challenging requirements have been introduced into MANETs and designing routing protocols has become more complex. For a successful application of MANETs, it is very important to ensure that a routing protocol is unambiguous, complete and functionally correct. One approach to ensuring correctness of an existing routing protocol is to create a formal model for the protocol, and analyze the model to determine if indeed the protocol provides the defined service correctly. Colored Petri Nets (CPNs) are a suitable modeling language for this purpose, as it can conveniently express non-determinism, concurrency and different levels of abstraction that are inherent in routing protocols. However, it is not easy to build a CPN model of a MANET because a node can move in and out of its transmission range and thus the MANET's topology (graph) dynamically changes. In this paper, we proposes a topology approximation (TA) mechanism to address this problem of mobility and perform simulations of a typical routing protocol called Ad Hoc On-Demand Distance Vector Routing (AODV). Our simulation results show that our proposed TA mechanism can indeed mimic the dynamically changing graph (mobility) of a MANET.read more
Citations
More filters
Book ChapterDOI
Automatized Verification of Ad Hoc Routing Protocols
TL;DR: Two model checking tools, SPIN and UPPAAL, are evaluated using the verification of the Lightweight Underlay Network Ad hoc Routing protocol (LUNAR) as a case study, identifying important modeling considerations and the types of ad hoc protocol properties that can realistically be verified.
Book ChapterDOI
A process algebra for wireless mesh networks
TL;DR: In this paper, a process algebra for wireless mesh networks that combines local broadcast, conditional unicast, and data structures is proposed, and the authors model the AODV routing protocol and dis)prove crucial properties such as loop freedom and packet delivery.
Journal ArticleDOI
Surveying security analysis techniques in manet routing protocols
Todd R. Andel,Alec Yasinsac +1 more
Book ChapterDOI
A Process Algebra for Wireless Mesh Networks
TL;DR: In this article, a process algebra for wireless mesh networks that combines local broadcast, conditional unicast, and data structures is proposed, and the authors model the AODV routing protocol and dis)prove crucial properties such as loop freedom and packet delivery.
Book ChapterDOI
On Modelling and Analysing the Dynamic MANET On-Demand (DYMO) Routing Protocol
Jonathan Billington,Cong Yuan +1 more
TL;DR: A formal model of DYMO using Coloured Petri Nets is presented, showing how careful crafting of the model results in smaller state spaces, compared with models using intuitively appealing hierarchical constructs.
References
More filters
Ad hoc On-Demand Distance Vector (AODV) Routing
TL;DR: A logging instrument contains a pulsed neutron source and a pair of radiation detectors spaced along the length of the instrument to provide an indication of formation porosity which is substantially independent of the formation salinity.
Proceedings ArticleDOI
Ad-hoc on-demand distance vector routing
C.E. Perkins,E.M. Royer +1 more
TL;DR: An ad-hoc network is the cooperative engagement of a collection of mobile nodes without the required intervention of any centralized access point or existing infrastructure and the proposed routing algorithm is quite suitable for a dynamic self starting network, as required by users wishing to utilize ad- hoc networks.
Book
Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use
TL;DR: The third volume of a definitive work on coloured Petri nets as discussed by the authors contains a detailed presentation of 19 applications of CP-nets across a broad range of application areas, including a security system, ATM networks, audio/video systems, transaction processing, ISDN services, VLSI chips, document storage, distributed programming, electronic funds transfer, a naval vessel, chemical processing, nuclear waste management, and many more.
Book
Ad Hoc Networking
TL;DR: In this article, the authors present a series of technical papers about ad hoc networks from a variety of laboratories and experts, and explain the latest thinking on how mobile devices can best discover, identify, and communicate with other devices in the vicinity.
Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods
TL;DR: This is the third volume of a definitive work on coloured Petri nets and contains a detailed presentation of 19 applications of CP-nets across a broad range of application areas, including a security system, ATM networks, audio/video systems, transaction processing, ISDN services, VLSI chips, document storage, distributed programming, electronic funds transfer, and many more.