| Title | Formal Analysis of Human-Assisted Smart City Emergency Services |
|---|---|
| ID_Doc | 45294 |
| Authors | Mohammad, N; Muhammad, S; Bashar, A; Khan, MA |
| Title | Formal Analysis of Human-Assisted Smart City Emergency Services |
| Year | 2019 |
| Published | |
| Abstract | The concept of IoT-based Smart Cities has gained momentum in recent years. The research in this domain has focused on modeling key characteristics of future smart cities along with exploring their design and implementation aspects from multiple perspectives. There is, however, a lack of research effort to provide a holistic approach towards modeling smart city services. A comprehensive approach has to view the smart city as a dynamic, uncertain and complex environment where multiple events with varying severity occur in a continuous and non-deterministic manner. These events have to be handled efficiently with the available resources. In this paper, we present a holistic approach to model the probabilistic as well as non-deterministic aspects of the emergency management services of a smart city by using probabilistic model checking. Our proposed model captures the emergency events of varying severity occurring at several locations in a continuous and non-deterministic manner. These events are responded to by a smart emergency management unit (SEMU), which dispatches the required emergency response units (ERUs) to the event location. In addition to modeling a completely automated system, we introduce a human-assisted decision-making process in the model to reduce false alarms. The proposed model can be used to study and evaluate key parameters in designing a smart city emergency management system to meet given service level agreements. We have implemented our proposed model using the PRISM model checker and have conducted several case studies to highlight the effectiveness of our proposed approach for different scenarios of varying complexities. |
| https://ieeexplore.ieee.org/ielx7/6287639/8600701/08701436.pdf |
Similar Articles
| ID | Score | Article |
|---|---|---|
37712
|
Xiao, CJ; Chen, NC; Gong, JY; Wang, W; Hu, CB; Chen, ZQ Event-Driven Distributed Information Resource-Focusing Service for Emergency Response in Smart City with Cyber-Physical Infrastructures(2017)Isprs International Journal Of Geo-Information, 6.0, 8 | |
| 39655
|
Costa, DG; Vasques, F; Portugal, P; Aguiar, A A Distributed Multi-Tier Emergency Alerting System Exploiting Sensors-Based Event Detection to Support Smart City Applications(2020)Sensors, 20, 1 | |
| 42460
|
De Nicola, A; Melchiori, M; Villani, ML Creative design of emergency management scenarios driven by semantics: An application to smart cities(2019) | |
| 39152
|
Costa, DG; Vasques, F; Aguiar, A; Portugal, P Automatic Assignment of Emergency Vehicles in Response to Sensors-based Generated Alarms in Smart City Scenarios(2020) | |
| 44352
|
Rangel, EO; Costa, DG; Peixoto, MML An Optimization Approach for Emergency Vehicles Dispatching and Traffic Lights Adjustments in Response to Emergencies in Smart Cities(2021) | |
| 38249
|
Velásquez, W; Munoz-Arcentales, A; Salvachúa, J E-Health Services Role in a Smart City - A View after a Natural Hazard(2019)Engineering Letters, 27, 4 |