| Title | Modeling of Energy Efficient Smart Lightening System Linking UML, Automata and TLA |
|---|---|
| ID_Doc | 40751 |
| Authors | Latif, S; Rehman, A; Zafar, NA |
| Title | Modeling of Energy Efficient Smart Lightening System Linking UML, Automata and TLA |
| Year | 2018 |
| Published | |
| Abstract | The interconnection of heterogeneous sensing devices used to sense real environment data and to perform some actions accordingly is known as Internet of Things (IoT). Smart city is interconnection of different automated components in which sensors and actuators are embedded to handle real scenarios within a network. There are different approaches that are used to model IoT based smart city, but smart lightening system is not addressed in terms of energy efficiency and validation of the model. We have focused on smart lightening system using Unified Modelling Language (UML), Automata Theory and TLA+. In the proposed model, usage of energy is divided into three types: first is low energy usage, second is moderate and third is high. The energy usage in the system is dependent on the current state of the system. The street lights are turned on when a vehicle enters in region or there is dim light on the roads which is sensed by the embedded sensors. A region is defined as collection of sensors which detect vehicle entrance and exit and collectively on or off lights at a time by using a certain mechanism and communicate with the actors for decision making. The UML model developed using activity diagram is transformed into non-deterministic finite automata (NFA) which supports for validation of proposed model. The NFA-based model is further transformed into formal model using TLA+ which can be implemented after further refinements. The proof of correctness of proposed model is provided using TLC model checking facility. |
Similar Articles
| ID | Score | Article |
|---|---|---|
40134
|
Muthanna, MSA; Muthanna, MMA; Khakimov, A; Muthanna, A Development of Intelligent Street Lighting Services Model Based on LoRa Technology(2018) | |
| 36989
|
Laha, SK; Ganguly, A; Bhattacharya, R; Sadhu, PK; Naskar, AK IoT based Street Light Visibility and Water Logging Monitoring for Development of a Smart City(2018) | |
| 36514
|
Imran, LB; Latif, RMA; Farhan, M; Tariq, T Real-time simulation of smart lighting system in smart city(2019)International Journal Of Space-Based And Situated Computing, 9, 2 | |
| 39065
|
Sikder, AK; Acar, A; Aksu, H; Uluagac, AS; Akkaya, K; Conti, M IoT-enabled Smart Lighting Systems for Smart Cities(2018) | |
| 36809
|
Prasad, R Energy Efficient Smart Street Lighting System in Nagpur Smart City using IoT -A Case Study(2020) | |
| 40654
|
Latif, S; Rehman, A; Zafar, NA Modeling of Sewerage System Linking UML, Automata and TLA(2018) | |
| 41179
|
Omar, A; AlMaeeni, S; Attia, H; Takruri, M; Altunaiji, A; Sanduleanu, M; Shubair, R; Ashhab, MS; Al Ali, M; Al Hebsi, G Smart City: Recent Advances in Intelligent Street Lighting Systems Based on IoT(2022) | |
| 44331
|
Ranjitha, L; Kumar, KSA; Kavitha, HL; Harshitha, KR; Manisha, C Development of Smart Street Light System and Density based Traffic System using Internet of Things(2020) | |
| 36824
|
Bachanek, KH; Tundys, B; Wisniewski, T; Puzio, E; Marousková, A Intelligent Street Lighting in a Smart City Concepts-A Direction to Energy Saving in Cities: An Overview and Case Study(2021)Energies, 14, 11 | |
| 39209
|
Chiradeja, P; Yoomak, S Development of public lighting system with smart lighting control systems and internet of thing (IoT) technologies for smart city(2023) |