Formal Modelling and Model Checking of a Flood Monitoring and Rescue System: A Case Study of Safety-Critical System DOI Open Access

Sidra Sajjad,

Nadeem Akhtar,

Laiqa sajjad

et al.

VFAST Transactions on Software Engineering, Journal Year: 2024, Volume and Issue: 12(3), P. 114 - 137

Published: Sept. 8, 2024

The flood incidents are becoming more often and severe, thus extreme events require efficient effective means of controlling saving lives property. reason for this paper is to use Formal Modelling Model Checking analyse a new safety critical Flood Monitoring Rescue System (FMRS) that shall form the basis response floods. Employing TLA+ analysis, which outlines FMRS’s dynamic behavior operational specifications comprehensively. It important stress in our work we address one most exciting directions applying formal methods first time collaboration with real-world safety-critical system designers offer powerful transparent systematic approach verifying systems’ correctness, safety, reliability. very carefully designed represent multiple aspects FMRS, such as sensor systems, communication interfaces, well rescue activity itself. To end, model checking methodologies order assess system’s compliance required properties, including timely detection floods, correct delivery data, synchronization operations. performed demonstrates presence essential information about potential failure weaknesses, can be used FMRS architecture improvement development. Thus, case shows best exist not ad hoc resolving some issues development but structured template could applied other domains where high degree assurance reliability needed. Besides novel method better future field verification, proposal also sketches functional relevance integrating approaches monitoring floods emergency operations contexts.

Language: Английский

Building Urban Resilience Through Smart City Planning: A Systematic Literature Review DOI Creative Commons
Abdulaziz I. Almulhim

Smart Cities, Journal Year: 2025, Volume and Issue: 8(1), P. 22 - 22

Published: Jan. 31, 2025

Smart city planning is crucial for enhancing urban resilience, especially with the contemporary challenges of rising population and climate change. This study conducts a systematic literature review (SLR) to examine integration resilience in smart planning, synthesizing current identify key components, barriers, enablers. The found that technological integration, sustainability measures, citizens’ participation are critical factors effective development cities. emphasizes need an integrated approach calling continued research collaboration among stakeholders. It highlights how should be addressed within system interdisciplinary work, stakeholder consultation, public engagement required. finally suggests creativity diversity practices policies improving vulnerability modern-day contexts. concludes by outlining implications policy development, advocating innovative, inclusive strategies enhance resilience.

Language: Английский

Citations

1
A survey on data fusion approaches in IoT-based smart cities: Smart applications, taxonomies, challenges, and future research directions DOI
Berna Çengiz, Iliyasu Yahaya Adam, Mehmet Özdem

et al.

Information Fusion, Journal Year: 2025, Volume and Issue: unknown, P. 103102 - 103102

Published: March 1, 2025

Language: Английский

Citations

0
Evaluating Smart Community Development in China from the Perspective of Residents’ Sense of Safety: An Analysis Using Criteria Importance through Intercriteria Correlation and Fuzzy Comprehensive Evaluation Approaches DOI Creative Commons
Chenyang Wang, Linxiu Wang, Tiantian Gu

et al.

Land, Journal Year: 2024, Volume and Issue: 13(9), P. 1434 - 1434

Published: Sept. 5, 2024

As a vital part of smart city development, community development is in full swing, aiming to improve residents’ sense safety (RSS). Most research focuses on the technological innovation and infrastructure construction communities; few studies have evaluated from perspective RSS. Thus, this paper aims propose system evaluation indicators for assessing RSS development. After relevant were identified, an method was proposed using CRITIC-FCE approach. To validate feasibility method, 31 communities China selected study. The results showed following: (1) indicator highest weight ‘cultural activities elderly’, while ‘overall design’ had lowest weight, highlighting importance services enhancing (2) cities achieved generally high level some differences observed among them. (3) Emergency property play important role with excelling these areas, achieving higher overall rankings. Conversely, score pension service relatively low, which common problem results, reflecting shortcomings current providing service. Consequently, several strategies are suggested enhance such as building emergency information based advanced technology, establishing mobile Internet Things-based assistance elderly, maintenance public facilities. This enriches knowledge provides guidance further

Language: Английский

Citations

3
Formal Modelling and Model Checking of a Flood Monitoring and Rescue System: A Case Study of Safety-Critical System DOI Open Access

Sidra Sajjad,

Nadeem Akhtar,

Laiqa sajjad

et al.

VFAST Transactions on Software Engineering, Journal Year: 2024, Volume and Issue: 12(3), P. 114 - 137

Published: Sept. 8, 2024

The flood incidents are becoming more often and severe, thus extreme events require efficient effective means of controlling saving lives property. reason for this paper is to use Formal Modelling Model Checking analyse a new safety critical Flood Monitoring Rescue System (FMRS) that shall form the basis response floods. Employing TLA+ analysis, which outlines FMRS’s dynamic behavior operational specifications comprehensively. It important stress in our work we address one most exciting directions applying formal methods first time collaboration with real-world safety-critical system designers offer powerful transparent systematic approach verifying systems’ correctness, safety, reliability. very carefully designed represent multiple aspects FMRS, such as sensor systems, communication interfaces, well rescue activity itself. To end, model checking methodologies order assess system’s compliance required properties, including timely detection floods, correct delivery data, synchronization operations. performed demonstrates presence essential information about potential failure weaknesses, can be used FMRS architecture improvement development. Thus, case shows best exist not ad hoc resolving some issues development but structured template could applied other domains where high degree assurance reliability needed. Besides novel method better future field verification, proposal also sketches functional relevance integrating approaches monitoring floods emergency operations contexts.

Language: Английский

Citations

0