Simulation of a Clustering Scheme for Vehicular Ad Hoc Networks Using a DEVS-based Virtual Laboratory Environment

ANT 2018, The 9th International Conference on Ambient Systems, Networks and Technologies, Porto, PORTUGAL, 08-/05/2018 - 11/05/2018Protocol design is usually based on the functional models developed according to the needs of the system. In Intelligent Transport Systems (ITS), the features studied regarding Vehicular Ad hoc Networks (VANET) include self-organizing, routing, reliability, quality of service, and security. Simulation studies on ITS-dedicated routing protocols usually focus on their performance in specific scenarios. However, the evolution of transportation systems towards autonomous vehicles requires robust protocols with proven or at least guaranteed properties. Though formal approaches provide powerful tools for system design, they cannot be used for every types of ITS components. Our goal is to develop new tools combining formal tools such as Event-B with DEVS-based (Discrete Event System Specification) virtual laboratories in order to design the models of ITS components which simulation would allow proving and verifying their properties in large-scale scenarios. This paper presents the models of the different components of a VANET realized with the Virtual Laboratory Environment (VLE). We point out the component models fitting to formal modeling, and proceed to the validation of all designed models through a simulation scenario based on real-world road traffic data

Enhancing Route lifetime in Vehicular Ad Hoc ?Networks Based on Skellam Distribution Model

The emergence of smart cities and the need to use intelligent transportation systems has led to an increased reliance on vehicle ad hoc networks (VANET). The topology of VANET is highly dynamic, which results in a short effective routing time. This paper presents  a two-stage algorithm to select a route that can sustain communication between vehicles for as long as possible while taking into account the variables that affect the VANET topology. The first stage uses Skellam distribution model to assess the connectivity probability of paths in ?a 2d road network based on traffic-flow and the number of vehicles ?joining and leaving the ?network,  accordingly, the path with the highest connectivity is chosen. In the second stage, the control packets sent only to vehicles on the selected path to detect routes between source and destination, thus reducing the overhead of control packets and increasing network stability. ? the algorithm adopts the principle of global evaluation to ?estimate the lifetime ?of the ?detected ?routes within the chosen path. ?the route with the ?best estimated ?lifetime ?is ?chosen to be ?the active route. ?in the event of route failure, the validity of the next route in lifetime is confirmed to be adopted as the alternate route. The proposed algorithm was compared with both on-?demand distance ?vector routing protocol (AODV) protocol and the modified location-aided routing ??(LAR) ?protocol. The proposed algorithm showed greater network stability, higher performance in terms of longer lifetime route detection, less energy consumption and higher throughput

Unmanned Aerial ad Hoc Networks: Simulation-Based Evaluation of Entity Mobility Models’ Impact on Routing Performance

An unmanned aerial ad hoc network (UAANET) is a special type of mobile ad hoc network (MANET). For these networks, researchers rely mostly on simulations to evaluate their proposed networking protocols. Hence, it is of great importance that the simulation environment of a UAANET replicates as much as possible the reality of UAVs. One major component of that environment is the movement pattern of the UAVs. This means that the mobility model used in simulations has to be thoroughly understood in terms of its impact on the performance of the network. In this paper, we investigate how mobility models affect the performance of UAANET in simulations in order to come up with conclusions/recommendations that provide a benchmark for future UAANET simulations. To that end, we first propose a few metrics to evaluate the mobility models. Then, we present five random entity mobility models that allow nodes to move almost freely and independently from one another and evaluate four carefully-chosen MANET/UAANET routing protocols: ad hoc on-demand distance vector (AODV), optimized link state routing (OLSR), reactive-geographic hybrid routing (RGR) and geographic routing protocol (GRP). In addition, flooding is also evaluated. The results show a wide variation of the protocol performance over different mobility models. These performance differences can be explained by the mobility model characteristics, and we discuss these effects. The results of our analysis show that: (i) the enhanced Gauss–Markov (EGM) mobility model is best suited for UAANET; (ii) OLSR, a table-driven proactive routing protocol, and GRP, a position-based geographic protocol, are the protocols most sensitive to the change of mobility models; (iii) RGR, a reactive-geographic hybrid routing protocol, is best suited for UAANET

Taguchi Based Self-Configure Data Rate Optimization AODVUU Routing Parameters In MANET Over Optical Network Performances

Research and development advancements in the area of wireless technologies give rises of mobile ad hoc networks (MANET) domain but is constrained to the single networks and stand alone. Furthermore, the communication networking applications requirements mostly still depends on fixed infrastructure networks that lead to MANET need to communicate with internet. Consequently, the traditional mobile routing protocols proposed for MANET are inefficient but play an equivalent important role in the performances of mobile wireless network over optical backhaul with focusing of MANET of the wireless domain in access network. Routing protocols procedures are controlled with a set of parameters from being dragged to undesired situations such as un-optimized Quality of Service (QoS) resource consumption. These parameters have a direct impact on the efficiency of a routing protocol and the overall MANET network performances. This paper proposed an offline optimization through simulation design of experiment of the AODV-UU parameters of MANET is evaluated by performing Taguchi signal to noise ratio (SNR) method for fine-tuning the AODV-UU routing parameters using the OMNeT++ software. The work is further extended with self-configure multiple data rates (SCMDR) scheme-a cross-layer-specific technique. AODV-UU with Taguchi tuned under the proposed SCMDR scheme is compared with AODV-UU configuration of oRiG scheme also as respects to previous work is examined based on capacity consumption, end-to-end delay metric and energy consumption metric under the varying speed scenario. The obtained results showed that, AODV-UU with Taguchi configuration outperformed the AODV-UU for the mention performance metrics here. The existing of current access network of the telco operators can benefit from the proposed improvement here