Untitled

In MANET-DTN, the main idea is to detect the social relations between nodes in mobility models because the wireless mobile devices are carried by humans and the network uses the social relations to transport messages between isolated islands of the mobile terminals in order to increase the network performance. Today there are a lot of social and non-social mobility models. The problem is how to use these models in MANET-DTN. Therefore, proper evaluation method is needed, that is able to reveal the social aspect of investigated mobility model. Since there are a lot of methods that do not directly exhibit the social aspect of mobility models, in this paper the new evaluation method was proposed based on Louvain method for community detection and the other network graph parameter (average weighted degree). Simulations of evaluation method were made as a comparison between two random mobility models and one social based mobility model in order to point out differences between social and non-social mobility models. All models were evaluated by proposed method and other existing protocol dependent and independent methods. The main idea of the simulations was to analyse how the mobility modThis work was performed in the framework of research project VEGA 1/0075/15, funded by the ministry of education of Slovak Republic. els with social and non-social mobility models can affect the network performance and provide new and reliable tool, which enables analysis of the mobility models from social behaviour point of view.

show abstract

“…-Average Throughput (TP) [11] is the number of bytes received successfully (NBR) and is calculated by:…”

Section: Protocol-dependent Metricsmentioning

confidence: 99%

Tools for evaluation of social relations in mobility models

et al. 2017

View full text Add to dashboard Cite

show abstract

“…While process algebras such as AWN can be used to formally model and verify the correctness of network routing protocols, test-bed experiments and simulations are complementary tools that can be used to quantitatively evaluate the performance of the protocols. While test-bed experiments are able to capture the full complex characteristics of the wireless medium and its effect on the network routing protocols [30,44], network simulators [38,48] offer the ease and flexibility of evaluating and comparing the performance of different routing protocols in a large-scale network of hundreds of nodes, coupled with the added advantage of being able to repeat and reproduce the experiments [11,40,28].…”

Section: Related Workmentioning

confidence: 99%

“…In summary, following the RFC, a routing table entry (or entry for short) is given by 7 components: (g) A precursor list, which is modelled as an element of P(IP). 11 The variable pre ranges over P(IP).…”

Section: Modelling Routesmentioning

confidence: 99%

Modelling and verifying the AODV routing protocol

et al. 2016

View full text Add to dashboard Cite

This paper presents a formal specification of the Ad hoc On-Demand Distance Vector (AODV) routing protocol using AWN (Algebra for Wireless Networks), a recent process algebra which has been tailored for the modelling of Mobile Ad Hoc Networks and Wireless Mesh Network protocols. Our formalisation models the exact details of the core functionality of AODV, such as route discovery, route maintenance and error handling. We demonstrate how AWN can be used to reason about critical protocol properties by providing detailed proofs of loop freedom and route correctness.

show abstract