Battery Aware Analysis of Sensor Networks in Uppaal SMC

Muhammad Naeem, Michele Albano, Kim G. Larsen, Brian Nielsen, Anders Hoedholt, Christian Ø. Laursen

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

4 Citations (Scopus)

Abstract

Digital Wireless Sensor Nodes (DWSN) are usually powered by a battery source that has a limited energy capacity. In many applications, the nodes are installed in inaccessible locations, and it is quite difficult or impossible to install a large battery or frequently change the battery. So, energy optimisation is crucial in order to increase the node's lifetime. This study presents the energy aware analysis of a Sigfox based DWSN, which is designed to monitor the water level in drainage lines in a city to improve surface- and waste-water management. We propose a model-based technique using Uppaal Smc to model and analyse the node's lifetime. Statistical Model Checking provides a highly scalable technique for performance analysis of complex cyber-physical-systems. The model captures the energy-related behaviour of the node, the Sigfox radio specifications, and data from the device's datasheets. Further, we calibrate the model using measurements obtained from the hardware to compare with its actual behaviour. The results show that the designed prototype of DWSN powered by a 10,000 mAh battery can remain active for 202 days when it is simulated for maximum functional capacity and the lifetime can be extended up to 2.3 years by applying different communication strategies.

Original languageEnglish
Title of host publication2021 10th Mediterranean Conference on Embedded Computing, MECO 2021
Number of pages6
PublisherIEEE
Publication date7 Jun 2021
Pages1-6
Article number9460152
ISBN (Print)978-1-6654-3911-4, 978-1-6654-2989-4
ISBN (Electronic)978-1-6654-3912-1
DOIs
Publication statusPublished - 7 Jun 2021
Event10th Mediterranean Conference on Embedded Computing, MECO 2021 - Budva, Montenegro
Duration: 7 Jun 202110 Jun 2021

Conference

Conference10th Mediterranean Conference on Embedded Computing, MECO 2021
Country/TerritoryMontenegro
CityBudva
Period07/06/202110/06/2021
SeriesMediterranean Conference on Embedded Computing (MECO) - Proceedings
ISSN2377-5475

Bibliographical note

Funding Information:
ACKNOWLEDGMENTS Research funded in part by the Danish Innovationsfonden agency (DoNUT project, grant nr. 7076-00123B), and it is part of the Validation WP of the ERC Advanced Grant LASSO (Learning, Analysis, SynthesiS and Optimization of Cyber-Physical Systems).

Publisher Copyright:
© 2021 IEEE.

Keywords

  • battery lifetime
  • Digital wireless sensors
  • IoT
  • LPWAN
  • model checking
  • Sigfox
  • Uppaal Smc

Fingerprint

Dive into the research topics of 'Battery Aware Analysis of Sensor Networks in Uppaal SMC'. Together they form a unique fingerprint.

Cite this