@inproceedings{883e0437ce7645c4bd9b819db3e12554,
title = "Integrating a Calculus with Mobility and Quality for Wireless Sensor Networks",
abstract = "Unreliability of communication links is a very common problem in wireless sensor networks (WSNs), and it may result in abnormalities and decrease the quality of service provided by a wireless system. The unreliability may be caused by many reasons, among which, node mobility as one of the essential and interesting features of WSNs, may significantly affect the reliability of communication links. To capture the node mobility and increase the quality of WSNs, in this paper we propose the mCWQ calculus (i.e., CWQ calculus with mobility) by focusing on the quality issue of the system due to node movements. In this calculus, we introduce a parametric framework to describe the node movement patterns through a general mobility model depending on time elapse. We also investigate the structure congruence and develop the operational semantics for mCWQ calculus. Finally, a real-world traffic information sharing system based on vehicle ad hoc networks is used to illustrate the applicability of the mCWQ calculus.",
keywords = "mobility, process algebra, quality, wireless sensor networks",
author = "Xi Wu and Yongxin Zhao and Huibiao Zhu",
note = "Publisher Copyright: {\textcopyright} 2016 IEEE.; 17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016 ; Conference date: 07-01-2016 Through 09-01-2016",
year = "2016",
month = mar,
day = "1",
doi = "10.1109/HASE.2016.29",
language = "英语",
series = "Proceedings of IEEE International Symposium on High Assurance Systems Engineering",
publisher = "IEEE Computer Society",
pages = "220--227",
editor = "Radu Babiceanu and Helene Waeselynck and Jie Xu and Paul, \{Raymond A.\} and Bojan Cukic",
booktitle = "Proceedings - 17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016",
address = "美国",
}