Modelling and Verification of Large-Scale Sensor Network Infrastructures

Sevegnani, M. , Kabac, M., Calder, M. and McCann, J. A. (2018) Modelling and Verification of Large-Scale Sensor Network Infrastructures. In: 23rd International Conference on Engineering of Complex Computer Systems (ICECCS 2018), Melbourne, Australia, 12-14 Dec 2018, pp. 71-81. ISBN 9781538693414 (doi: 10.1109/ICECCS2018.2018.00016)

169407.pdf - Accepted Version



Large-scale wireless sensor networks (WSN) are increasingly deployed and an open question is how they can support multiple applications. Networks and sensing devices are typically heterogeneous and evolving: topologies change, nodes drop in and out of the network, and devices are reconfigured. The key question we address is how to verify that application requirements are met, individually and collectively, and can continue to be met, in the context of large-scale, evolving network and device configurations. We define a modelling and verification framework based on Bigraphical Reactive Systems (BRS) for modelling, with bigraph patterns and temporal logic properties for specifying application requirements. The bigraph diagrammatic notation provides an intuitive representation of concepts such as hierarchies, communication, events and spatial relationships, which are fundamental to WSNs. We demonstrate modelling and verification through a real-life urban environmental monitoring case-study. A novel contribution is automated online verification using BigraphER and replay of real-life sensed data streams and network events by the Cooja network simulator. Performance results for verification of two application properties running on a WSN with up to 200 nodes indicate our framework is capable of handling WSNs of that scale.

Item Type:Conference Proceedings
Glasgow Author(s) Enlighten ID:Calder, Professor Muffy and Sevegnani, Dr Michele
Authors: Sevegnani, M., Kabac, M., Calder, M., and McCann, J. A.
College/School:College of Science and Engineering > School of Computing Science
Published Online:31 December 2018
Copyright Holders:Copyright © 2018 IEEE
First Published:First published in 23rd International Conference on Engineering of Complex Computer Systems (ICECCS 2018): 71-81
Publisher Policy:Reproduced in accordance with the publisher copyright policy

University Staff: Request a correction | Enlighten Editors: Update this record