Modelling and Analysis of a Sigfox-Based IoT Network Using uppaalsmc

Naeem, Muhammad; Albano, Michele; Larsen, Kim Guldstrand; Nielsen, Brian; Høedholt, Anders; Laursen, Christian Ø.

doi:10.1109/jsen.2023.3261667

Cited by 7 publications

(2 citation statements)

References 23 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Various authors also present the design of the water meter which includes application of the wireless communication protocol [10], [11]. Finally, there are many publications analyzing in detail all the above mentioned protocols, including Wireless M-Bus [12], [13], LoRaWAN [14]- [16], Sigfox [17], [18] and NB-IoT [19]- [22].…”

Section: Related Workmentioning

confidence: 99%

Comparison of Wireless Data Transmission Protocols for Residential Water Meter Applications

Krzak,

Macheta,

Kubaszek

et al. 2023

International Journal of Electronics and Telecommunications

View full text Add to dashboard Cite

This article provides a comparison of various wireless data transmission protocols, such as Wireless M-Bus, Lo-RaWAN, Sigfox, NB-IoT and a newly developed proprietary protocol, studying their performance in the application of batterypowered residential water meters. Key aspects of the comparison include energy consumption, which is analyzed through comparing unitary amount of charge required to conduct a single, bidirectional data transaction between the meter and base station, and maximum coupling loss which effectively defines the range and coverage in the system. For completeness, the study includes also a brief cost analysis and ends with a conclusion, stating when each of the particular standards should be favored.

show abstract

Section: Related Workmentioning

confidence: 99%

Comparison of Wireless Data Transmission Protocols for Residential Water Meter Applications

Krzak,

Macheta,

Kubaszek

et al. 2023

International Journal of Electronics and Telecommunications

View full text Add to dashboard Cite

show abstract

“…Network using Uppaal SMC This section presents the contributions of Paper A, which includes the modelling and energy-aware analysis of the Sigfox-based IoT networks [43,45].…”

Section: Modelling and Analysis Of A Sigfox-based Iotmentioning

confidence: 99%

Energy-Efficient Cyber-Physical Systems: A Model-Based Approach

Naeem

View full text Add to dashboard Cite

General rightsCopyright and moral rights for the publications made accessible in the public portal are retained by the authors and/or other copyright owners and it is a condition of accessing publications that users recognise and abide by the legal requirements associated with these rights.-Users may download and print one copy of any publication from the public portal for the purpose of private study or research. -You may not further distribute the material or use it for any profit-making activity or commercial gain -You may freely distribute the URL identifying the publication in the public portal -

show abstract

A comprehensive survey of UPPAAL‐assisted formal modeling and verification

Zhou,

Zhao,

Zhang

et al. 2024

Softw Pract Exp

View full text Add to dashboard Cite

UPPAAL is a formal modeling and verification tool based on timed automata, capable of effectively analyzing real‐time software and hardware systems. In this article, we investigate research on UPPAAL‐assisted formal modeling and verification. First, we propose four research questions considering tool characteristics, modeling methods, verification means and application domains. Then, the state‐of‐the‐art methods for model specification and verification in UPPAAL are discussed, involving model transformation, model repair, property specification, as well as verification and testing methods. Next, typical application cases of formal modeling and verification assisted by UPPAAL are analyzed, spanning across domains such as network protocol, multi‐agent system, cyber‐physical system, rail traffic and aerospace systems, cloud and edge computing systems, as well as biological and medical systems. Finally, we address the four proposed questions based on our survey and outline future research directions. By responding to these questions, we aim to provide summaries and insights into potential avenues for further exploration in this field.

show abstract

Modelling and Analysis of a Sigfox-Based IoT Network Using uppaalsmc

Cited by 7 publications

References 23 publications

Comparison of Wireless Data Transmission Protocols for Residential Water Meter Applications

Comparison of Wireless Data Transmission Protocols for Residential Water Meter Applications

Energy-Efficient Cyber-Physical Systems: A Model-Based Approach

A comprehensive survey of UPPAAL‐assisted formal modeling and verification

Contact Info

Product

Resources

About