Abstract Connectivity and communication interference are two key aspects in mobile ad-hoc networks (MANETs). This paper proposes a process algebraic model targeted at the analysis of both such aspects. The framework includes a probabilistic process calculus and a suite of analytical techniques based on a probabilistic observational congruence and an interference-sensitive preorder. The former enables the verification of behavioural equivalences; the latter makes it possible to evaluate the interference level of behaviourally equivalent networks. The result is a comprehensive and effective framework for the behavioural analysis and a quantitative assessment of interference for wireless networks in the presence of node mobility. We show our techniques at work on two realistic case studies.
|Data di pubblicazione:||2014|
|Titolo:||Behavioural equivalences and interference metrics for mobile ad-hoc networks|
|Digital Object Identifier (DOI):||http://dx.doi.org/10.1016/j.peva.2013.11.003|
|Appare nelle tipologie:||2.1 Articolo su rivista |