Smart City Gnosys
Smart city article details
| Title | Formal Validation Of Adr Protocol In Lorawan Network Using Event-B |
|---|---|
| ID_Doc | 26921 |
| Authors | Mostefa C.; Abdelouahab N.; Mounir T.A.; Boumerdassi S.; Femmam S.; Amel Z.A. |
| Year | 2023 |
| Published | Proceedings - 2023 7th International Conference on Computer, Software and Modeling, ICCSM 2023 |
| DOI | http://dx.doi.org/10.1109/ICCSM60247.2023.00011 |
| Abstract | LoRaWAN is a wireless protocol for low-power, wide-area networks (LPWANs). It is a standard protocol for connecting Internet of Things (IoT) devices and sensors over long distances, up to several kilometers, with low power consumption and data rates (DR). LoRaWAN networks are typically implemented in numerous applications, including smart cities, agriculture, logistics, and industrial automation. For this reason, many industrialists and researchers are attempting to develop new protocols for the Lora network. Formal verification can be used to validate the correctness of the protocol implementation to ensure that it conforms to the specification and is free of security vulnerabilities. In the context of the LoRaWAN protocol, Event-B can be used for formal verification by developing a mathematical model of Adaptive Data Rate (ADR) protocol and then refining it to produce an implementation that conforms to the protocol specification. This study aims to build models using formal methods that can efficiently show the complex parts of the ADR protocols server side used in the Lora network to dynamically adjust the up-link and down-link data rates of End Devices and Gateways (GW); by this way, we can detect and fix bugs before implementing the protocol in real scenarios. © 2023 Crown. |
| Author Keywords | ADR; Event-b; Formal Validation; Lora; LoraWan; Rodin; Wireless Network |
Similar Articles
| Id | Similarity | Authors | Title | Published |
|---|---|---|---|---|
36111  | 0.884 | Durand A.; El Rachkidy N.; Guitton A. | Madere: Mobile Adaptive Datarate For Lorawan | IEEE Wireless Communications and Networking Conference, WCNC, 2023-March (2023) |
| 25865 | 0.859 | Choudhury N.; Gupta M.; Nasralla M.M.; Fujita S. | Extended Adaptive Data-Rate (X-Adr) Technique For Optimal Resource Allocation In Smart City Applications | Proceedings - 2023 IEEE 24th International Symposium on a World of Wireless, Mobile and Multimedia Networks, WoWMoM 2023 (2023) |
| 35638 | 0.859 | Basford, PJ; Bulot, FMJ; Apetroaie-Cristea, M; Cox, SJ; Ossont, SJ | Lorawan For Smart City Iot Deployments: A Long Term Evaluation | SENSORS, 20, 3 (2020) |
| 61201 | 0.854 | Cilfone A.; Davoli L.; Ferrari G. | Virtualizing Lorawan Nodes: A Coap-Based Approach | 2019 International Symposium on Advanced Electrical and Communication Technologies, ISAECT 2019 (2019) |
| 7411 | 0.853 | Hilmani A.; Siham A.; Maizate A. | An Advanced Comparative Study Of Routing Protocols In Lorawan | Proceedings - 2022 5th International Conference on Advanced Communication Technologies and Networking, CommNet 2022 (2022) |
| 18830 | 0.852 | Balamurugan M.S.; Manojkumar R. | Design Of Disaster Management Based On Artificial Neural Network And Logistic Regression | ACM International Conference Proceeding Series (2019) |
| 35611 | 0.851 | Liaqat R.M.; Branch P.; But J. | Lora Based Linear Network Applications, Design Considerations And Open Challenges: A Review | SenSys 2022 - Proceedings of the 20th ACM Conference on Embedded Networked Sensor Systems (2022) |
| 41662 | 0.85 | Da S. Veloso A.F.; Silveira J.D.F.; Moura M.C.L.; Dos Reis J.V.; Rabelo R.A.L.; Rodrigues J.J.P.C. | Performance Analysis Of Lorawan In An Air Quality Monitoring Applications For Smart Cities | 2021 6th International Conference on Smart and Sustainable Technologies, SpliTech 2021 (2021) |