基于 SDL 的节点监控协议验证
网络与互联网体系结构
2015-09-01 v1 分布式、并行与集群计算
摘要
移动自组织网络是由移动节点组成的无线、自配置、无基础设施网络。节点的高移动性使得运行其上的应用面临节点失效、链路失效、网络级断开、资源稀缺、缓冲退化及间歇性断开等网络相关问题。需要通过监督网络状态来持续监控节点失效和网络故障。节点监控协议至关重要，因此需要对该协议进行详尽测试，以验证和确认所设计协议的功能与准确性。本文利用规范与描述语言(SDL)，结合静态代理(SA)和移动代理(MA)，提出了节点监控协议的验证模型。我们基于无出口、死锁状态或正常终止状态的全局状态，利用可达性图验证了节点监控协议(NMP)的性质。消息序列图(MSC)直观地展示了所述系统在不同节点密度和复杂行为等条件下的系统行为。
引用
@article{arxiv.1508.07724,
title = {SDL based validation of a node monitoring protocol},
author = {Anandi Giridharan and Pallapa Venkataram},
journal= {arXiv preprint arXiv:1508.07724},
year = {2015}
}
备注
16 pages, 24 figures, International Conference of Networks, Communications, Wireless and Mobile 2015