Smart City Gnosys
Smart city article details
| Title | Blockchain And Iot Based Formal Model Of Smart Waste Management System Using Tla+ |
|---|---|
| ID_Doc | 12369 |
| Authors | Latif S.; Rehman A.; Zafar N.A. |
| Year | 2019 |
| Published | Proceedings - 2019 International Conference on Frontiers of Information Technology, FIT 2019 |
| DOI | http://dx.doi.org/10.1109/FIT47737.2019.00064 |
| Abstract | The mechanism of integrating smart nodes with each other using a network to communicate, share information is known as Internet of Things (IoT). The usage and simulation of IoT infrastructure in every field is increasing rapidly. Blockchain technology refers to as the interconnected nodes within a network which are independent of each other work as a network. Any node can be a part of blockchain by the permission granted from blocks of blockchain. Blockchain technology is one of the most popular technologies which is used to make processes secured and enhance security of the system. There are many components of smart city which are based on IoT and blockchain technology such as smart water monitoring, sewerage, parking, homes, street lightening, offices, campuses and waste management. We have addressed smart waste management system in which we have integrated different techniques for providing modeling of smart waste management system using IoT and blockchain. The integrated technologies include blockchain, IoT, Unified Modeling Language (UML) and Temporal Logic of Actions (TLA+) for modeling and automating waste management system. There are many operations defined in our model include identification of waste material, trace location, send to trash, categorize waste, transfer waste, recycling and decision-making process. Blockchain based UML model represents the system working in detail. Further UML models are converted into formal model to validate the proposed model formally. The proposed model provides the proof of correctness, preciseness and completeness of our proposed model using TLA+ specification language. © 2019 IEEE. |
| Author Keywords | Formal methods; TLA+; UML; Verification and validation; Waste management |
Similar Articles
| Id | Similarity | Authors | Title | Published |
|---|---|---|---|---|
33597  | 0.897 | Chandra Sekhar J.; Jarubula R.; Krishna Pratap V. | Iot And Blockchain-Based Solid Waste Management System In Smart Cities | Proceedings - 2023 3rd International Conference on Ubiquitous Computing and Intelligent Information Systems, ICUIS 2023 (2023) |
| 495 | 0.886 | Sen Gupta Y.; Mukherjee S.; Dutta R.; Bhattacharya S. | A Blockchain-Based Approach Using Smart Contracts To Develop A Smart Waste Management System | International Journal of Environmental Science and Technology, 19, 8 (2022) |
| 12481 | 0.879 | Ahmad R.W.; Salah K.; Jayaraman R.; Yaqoob I.; Omar M. | Blockchain For Waste Management In Smart Cities: A Survey | IEEE Access, 9 (2021) |
| 526 | 0.876 | Gopalakrishnan P.K.; Hall J.; Behdad S. | A Blockchain-Based Traceability System For Waste Management In Smart Cities | Proceedings of the ASME Design Engineering Technical Conference, 6 (2020) |
| 21549 | 0.872 | Kumar K.; Al-Sharif A.F.A.-F. | E-Waste Management Using Blockchain Technology; [Gestión De Residuos Electrónicos Mediante La Tecnología Blockchain] | Data and Metadata, 3 (2024) |
| 51419 | 0.872 | Paturi M.; Puvvada S.; Ponnuru B.S.; Simhadri M.; S.egala B.; Pradhan A.K. | Smart Solid Waste Management System Using Blockchain And Iot For Smart Cities | Proceedings - 2021 IEEE International Symposium on Smart Electronic Systems, iSES 2021 (2021) |
| 37586 | 0.872 | Latif S.; Rehman A.; Zafar N.A. | Modeling Of Sewerage System Linking Uml, Automata And Tla+ | 2018 International Conference on Computing, Electronic and Electrical Engineering, ICE Cube 2018 (2019) |
| 61451 | 0.871 | Jeyabharathi D.; Thava A.M.; Idas S.J.P.; Sangeetha T. | Waste Management In Smart Cities Using Blockchaining Technology | Blockchain for Smart Cities (2021) |
| 12690 | 0.87 | Santhuja P.; Anbarasu V. | Blockchain-Enabled Iot Solution For E-Waste Management And Environmental Sustainability Through Tracking And Tracing | International Journal of Engineering Trends and Technology, 71, 12 (2023) |
| 42867 | 0.868 | Palagan C.A.; Sebastin Antony Joe S.; Mary S.J.J.; Jijo E.E. | Predictive Analysis-Based Sustainable Waste Management In Smart Cities Using Iot Edge Computing And Blockchain Technology | Computers in Industry, 166 (2025) |