Modeling of Sewerage System Using Internet of Things for Smart City

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.