This repository contains the energy models of a sigfox based digital wireless sensor node (DWSN) for UPPAAL SMC tool.
Muhammad Naeem, Brian Nielsen, Kim Guldstrand Larsen, Michele Albano
These models are developed to estimate and optimise the battery lifetime of a DWSN used in a case study aiming to develop an efficient IoT bases water monitoring system.
• Data set: Real sensor measuresments data of water height obtained from the real sensore nodes.
• Battery Model of DWSN: UPPPAL SMC model for DWSN.
• UPPAAL SMC: UPPAAL SMC version used for this project.
• Capable of generating the current consumption behaviour of the Sigfox sensor node.
• The module can simulate the overall battery life of the sensor node.
• It Can generate a comparison of battery life for different transmission strategies.
Worst-case strategy:
Optimise listening strategy:
Wether Driven strategy:
Data compression Strategy:
• Init: This automaton is used to initialise all processes.
• Sensor: It reflects the sensor node's behaviour and includes all the node's states.
• SensorSDC: The purpose of this automaton is to model the self-discharge of the battery
• TableCtrl: It is used to schedule all actions (sending, measuring and listening) of the node
• Weather1: It includes a probabilistic model for weather prediction.
• TableCtrlweather: This automaton is used as TableCtrl for weather model.
• Data: It process the real sensor measurement of water height to simulate the data compression strategy.
• CompressCtrl: This automaton is used as TableCtrl for data compression model.
For installation, download the UPPAAL software and the sensor node model. Open the model in UPPAAL and simulate using the Queries given in the verifier tab of the tool.
Use the following link for installation details of the UPPAAL tool:
https://uppaal.org/downloads/#installation-instructions
• implementation of a complete Sigfox IoT solution including network server