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 language | English |
---|---|
Title of host publication | 2021 10th Mediterranean Conference on Embedded Computing, MECO 2021 |
Number of pages | 6 |
Publisher | IEEE |
Publication date | 7 Jun 2021 |
Pages | 1-6 |
Article number | 9460152 |
ISBN (Print) | 978-1-6654-3911-4, 978-1-6654-2989-4 |
ISBN (Electronic) | 978-1-6654-3912-1 |
DOIs | |
Publication status | Published - 7 Jun 2021 |
Event | 10th Mediterranean Conference on Embedded Computing, MECO 2021 - Budva, Montenegro Duration: 7 Jun 2021 → 10 Jun 2021 |
Conference
Conference | 10th Mediterranean Conference on Embedded Computing, MECO 2021 |
---|---|
Country/Territory | Montenegro |
City | Budva |
Period | 07/06/2021 → 10/06/2021 |
Series | Mediterranean Conference on Embedded Computing (MECO) - Proceedings |
---|---|
ISSN | 2377-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