Smart City Gnosys

Smart city article details

Title	Modeling Of Sewerage System Using Internet Of Things For Smart City
ID_Doc	37587
Authors	Latif, S; Afzaal, H; Zafar, NA
Year	2017
Published	2017 INTERNATIONAL CONFERENCE ON FRONTIERS OF INFORMATION TECHNOLOGY (FIT)
DOI	http://dx.doi.org/10.1109/FIT.2017.00016
Abstract	Now a days, modeling and developing smart places is an open research problem. The concept of smart city can be observed in every field of life including smart parking, banking, sewerage, waste management, smart transport, environmental monitoring and healthcare centers. Internet of things (IoT) is an implementation of smart nodes that sense the data, interpret, process and give response within a required time in a network. The ability to embed sensing devices into real environment enables the transformation of smart environment. However, there is a very little practical use of IoT infrastructure in real life. Many traditional approaches are proposed by researchers that do not address this issue correctly. We have focused on the smart sewerage system of a smart city in this paper. The sewerage system is represented by a graph in which a junction is assumed as a node and flow of water is represented as a directed edge in the graph theory. The flow of water is controlled by defining a safe path from one junction to another by predicting behavior of water and safe state of the system. The graph based model is transformed into a formal model using Vienna Development Method-Specification Language (VDM-SL). The proof of correctness is provided by using various facilities available in the VDM-SL toolbox.
Author Keywords	Smart city; Internet of things (IoT); Sewerage system; Formal methods; Validation and verification

Similar Articles

Id	Similarity	Authors	Title	Published
37586	0.89	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)
28272	0.87	Gorawski M.; Grochla K.	Graph Representation Of Linear Infrastructure In Smart City Iot Systems	International Congress on Ultra Modern Telecommunications and Control Systems and Workshops, 2019-October (2019)
25761	0.869	Zyoud S.	Exploring The Promising Role Of Internet Of Things In Urban Water Systems: A Comprehensive Global Analysis Of Insights, Trends, And Research Priorities	Discover Internet of Things, 5, 1.0 (2025)
40080	0.863	Sanghavi J.; Jadeja D.; Mehta V.; Vakil A.; Lalwani J.; Shah M.	Online Stream Processing And Multimedia-Oriented Iot: Tools For Sustainable Development Of Smart Cities	Studies in Big Data, 108 (2022)
50027	0.862	Keung K.L.; Lee C.K.M.; Ng K.K.H.; Yeung C.K.	Smart City Application And Analysis: Real-Time Urban Drainage Monitoring By Iot Sensors: A Case Study Of Hong Kong	IEEE International Conference on Industrial Engineering and Engineering Management, 2019-December (2019)
60357	0.857	Rai H.M.; Atik-Ur-Rehman; Pal A.; Mishra S.; Shukla K.K.	Use Of Internet Of Things In The Context Of Execution Of Smart City Applications: A Review	Discover Internet of Things, 3, 1 (2023)
33885	0.857	O'Toole S.; Sewell C.; Mehrpouyan H.	Iot Security And Safety Testing Toolkits For Water Distribution Systems	2021 8th International Conference on Internet of Things: Systems, Management and Security, IOTSMS 2021 (2021)
9388	0.856	Mahmudov S.; Temirova D.	Analysis Of Traffic Characteristics Of A Smart City Network Based On The Internet Of Things	AIP Conference Proceedings, 3244, 1 (2024)
8728	0.856	Zaki T.; Jahan I.T.; Hossain M.S.; Narman H.S.	An Iot-Based Complete Smart Drainage System For A Smart City	2021 IEEE 12th Annual Information Technology, Electronics and Mobile Communication Conference, IEMCON 2021 (2021)
43957	0.856	Haghshenas S.S.; Guido G.; Vitale A.; Ghoushchi S.J.	Quantitative And Qualitative Analysis Of Internet Of Things (Iot) In Smart Cities And Its Applications	Proceedings of the 2022 IEEE International Conference on Dependable, Autonomic and Secure Computing, International Conference on Pervasive Intelligence and Computing, International Conference on Cloud and Big Data Computing, International Conference on Cyber Science and Technology Congress, DASC/PiCom/CBDCom/CyberSciTech 2022 (2022)