A Calculus for Mobile Ad Hoc Networks from a Group Probabilistic Perspective

2011 IEEE 13th International Symposium on High-Assurance Systems Engineering Pub Date : 2011-11-10 DOI:10.1109/HASE.2011.13

Si Liu, Yongxin Zhao, Huibiao Zhu, Qin Li

{"title":"A Calculus for Mobile Ad Hoc Networks from a Group Probabilistic Perspective","authors":"Si Liu, Yongxin Zhao, Huibiao Zhu, Qin Li","doi":"10.1109/HASE.2011.13","DOIUrl":null,"url":null,"abstract":"Mobile Ad hoc Networks (MANETs) are networks dynamically formed by mobile nodes without the support of prior stationary infrastructures. The essential features of such a network are local broadcast, mobility and probability. In our earlier work, we proposed the pw-calculus to formally model and reason about MANTEs from a group probabilistic perspective, in which a MANET node can locally broadcast messages to a group of nodes within its physical transmission range with a certain probability. The group probabilities depend on the network topology which can evolve with the mobility of nodes. In this paper, to capture the behavior equivalence of networks, the structural congruence is investigated and the operational semantics is refined. Moreover, we define the notion of open bisimulation and prove it to be a congruence relation. Based on this, we discuss several nontrivial properties of MANETs such as mobile node equivalence and replacement. Finally, we by a case study illustrate our calculus and use it to analyze the probability of a transmission via routines.","PeriodicalId":403140,"journal":{"name":"2011 IEEE 13th International Symposium on High-Assurance Systems Engineering","volume":"20 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2011-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"8","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2011 IEEE 13th International Symposium on High-Assurance Systems Engineering","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/HASE.2011.13","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 8

Abstract

Mobile Ad hoc Networks (MANETs) are networks dynamically formed by mobile nodes without the support of prior stationary infrastructures. The essential features of such a network are local broadcast, mobility and probability. In our earlier work, we proposed the pw-calculus to formally model and reason about MANTEs from a group probabilistic perspective, in which a MANET node can locally broadcast messages to a group of nodes within its physical transmission range with a certain probability. The group probabilities depend on the network topology which can evolve with the mobility of nodes. In this paper, to capture the behavior equivalence of networks, the structural congruence is investigated and the operational semantics is refined. Moreover, we define the notion of open bisimulation and prove it to be a congruence relation. Based on this, we discuss several nontrivial properties of MANETs such as mobile node equivalence and replacement. Finally, we by a case study illustrate our calculus and use it to analyze the probability of a transmission via routines.

查看原文本刊更多论文

基于群概率的移动自组网演算

移动自组织网络(manet)是由移动节点在没有固定基础设施支持的情况下动态形成的网络。这种网络的基本特征是本地广播、移动性和概率。在我们早期的工作中，我们提出了pw-微积分从群概率的角度对MANET进行形式化建模和推理，其中MANET节点可以以一定的概率向其物理传输范围内的一组节点本地广播消息。群概率取决于网络拓扑结构，网络拓扑结构可以随着节点的移动而演化。为了捕获网络的行为等价性，本文研究了网络的结构同余性，并对网络的操作语义进行了改进。此外，我们定义了开放双模拟的概念，并证明了它是一个同余关系。在此基础上，我们讨论了移动节点等价性和替换性等几个重要特性。最后，我们通过一个案例来说明我们的微积分，并用它来分析通过例程传播的概率。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

2011 IEEE 13th International Symposium on High-Assurance Systems Engineering

自引率

0.00%

发文量