Spatial properties verification approach of wireless sensor networks using model checking Online publication date: Tue, 22-Nov-2022
by Jia Wang; Jun Niu; Zheke Yuan; Fan Fei
International Journal of Sensor Networks (IJSNET), Vol. 40, No. 3, 2022
Abstract: Reasonable spatial deployment of wireless sensor networks (WSNs) can extend their life cycles and enhance the reliability of the systems relying on them. The spatial layouts of WSNs need to be strictly verified to ensure they satisfy desired requirements. Model checking has made some progress in verifying spatial properties of WSNs, and the spatial logic for closure space (SLCS) can characterise some spatial specifications of WSNs. However, SLCS is imperfect in characterising and reasoning about some quantitative properties of WSNs. In this paper, we firstly propose a novel WSN spatial model, namely quantitative closure space model (QCSM), to model WSNs with quantitative descriptions. Then, we use the improved SLCS logic, which is extended with a novel degree-correlation operator to enrich the expressiveness of SLCS, to characterise more kinds of spatial specifications of WSNs. Experiments indicate that our approach can automatically and effectively verify some complex spatial specifications of WSNs.
Existing subscribers:
Go to Inderscience Online Journals to access the Full Text of this article.
If you are not a subscriber and you just want to read the full contents of this article, buy online access here.Complimentary Subscribers, Editors or Members of the Editorial Board of the International Journal of Sensor Networks (IJSNET):
Login with your Inderscience username and password:
Want to subscribe?
A subscription gives you complete access to all articles in the current issue, as well as to all articles in the previous three years (where applicable). See our Orders page to subscribe.
If you still need assistance, please email subs@inderscience.com
Our Blog 
Follow us on Twitter 
Visit us on Facebook