Smart City Gnosys
Smart city article details
| Title | Modeling Of Sewerage System Linking Uml, Automata And Tla+ |
|---|---|
| ID_Doc | 37586 |
| Authors | Latif S.; Rehman A.; Zafar N.A. |
| Year | 2019 |
| Published | 2018 International Conference on Computing, Electronic and Electrical Engineering, ICE Cube 2018 |
| DOI | http://dx.doi.org/10.1109/ICECUBE.2018.8610971 |
| Abstract | Internet of things (IoT) means interconnection of heterogeneous nodes implemented in order to sense input data, interpretation, processing and output within a network. The smart environment is transformed by embedding heterogeneous devices into real scenarios. In the existing work, IoT infrastructure is rarely implemented in real time scenarios because of lack of knowledge, infrastructure handling and lack of resources. The researchers have proposed many techniques to implement IoT based smart city but these do not implement the above issues effectively. In this paper, we have focused on the IoT, UML, automata and Temporal Logic of Actions (TLA+) based sewerage system of a smart city. Our proposed sewerage system is developed by UML activity diagram and then converted into Non-deterministic Finite Automata (NFA) in which a junction is represented by a state and flow of water is represented as a transition. A state of system is defined as safe if flow of wastage from one junction to another has a safe path predicting behavior of water. The proposed UML and automata-based models are then transformed into a formal model using TLA+ which has an effective model checking capability. The proof of correctness of the proposed model is provided by TLC which is a model checking facility available in TLA+ toolbox. © 2018 IEEE. |
| Author Keywords | Automata Theory; Formal Methods; Internet of Things; Severage System; Smart City; UML |
Similar Articles
| Id | Similarity | Authors | Title | Published |
|---|---|---|---|---|
37587  | 0.89 | Latif, S; Afzaal, H; Zafar, NA | Modeling Of Sewerage System Using Internet Of Things For Smart City | 2017 INTERNATIONAL CONFERENCE ON FRONTIERS OF INFORMATION TECHNOLOGY (FIT) (2017) |
| 12369 | 0.872 | Latif S.; Rehman A.; Zafar N.A. | Blockchain And Iot Based Formal Model Of Smart Waste Management System Using Tla+ | Proceedings - 2019 International Conference on Frontiers of Information Technology, FIT 2019 (2019) |
| 39245 | 0.865 | Latif S.; Rehman A.; Zafar N.A. | Nfa Based Formal Modeling Of Smart Parking System Using Tla + | 2019 International Conference on Information Science and Communication Technology, ICISCT 2019 (2019) |