Formal methods in flood disaster response: the case of Porto Alegre, Brazil

Altafini, Diego ORCID: https://orcid.org/0000-0002-6559-2372, Pezzica, Camilla ORCID: https://orcid.org/0000-0002-0512-7591, Bleil De Souza, Clarice ORCID: https://orcid.org/0000-0001-7823-1202, Dalcin, Ana Paula ORCID: https://orcid.org/0000-0001-9871-7373 and Marques, Guilherme ORCID: https://orcid.org/0000-0003-0543-6279 2024. Formal methods in flood disaster response: the case of Porto Alegre, Brazil. Presented at: 7FMA - 7th Symposium Formal Methods in Architecture, Porto, Portugal, 2-6 December 2024.

Preview

PDF - Accepted Post-Print Version Available under License Creative Commons Attribution Share Alike. Download (3MB) | Preview

Abstract

This paper provides an account of the formal methods used to inform and examine the performance of Porto Alegre’s Metropolitan Region road-circulation network after the May 2024 floods. Comparisons between the pre-disaster configuration and three post-disaster scenarios are made, using configurational analysis, highlighting how the urban grid cohesiveness was affected by the inundations, both at a local and at a regional scale. Key find-ings showcase important overall system performance shifts in terms of rela-tive accessibility and preferential routes’ choice, especially concerning ve-hicular movement. Results also indicate that local movement patterns tend-ed to be preserved, despite the floods dimension, which aided to maintain the internal cohesiveness of the network. Furthermore, the paper also demonstrates how those formal methods were incorporated into pilot deci-sion-support actions, co-designed through the engagement with local author-ities, to provide the early-responders and decision-makers on the field with information about the network viability changes, useful to identify priorities in de-obstruction and which road-elements were to be preserved to avoid a larger system collapse.

Item Type:	Conference or Workshop Item (Paper)
Date Type:	Completion
Status:	Unpublished
Schools:	Schools > Architecture
Subjects:	G Geography. Anthropology. Recreation > G Geography (General) G Geography. Anthropology. Recreation > GE Environmental Sciences N Fine Arts > NA Architecture
Funders:	This research has received funding from the United Kingdom Research and Inno-vation Post Doctoral Fellowship Guarantee Scheme, set over the European Un-ion’s Horizon Europe – Marie Skłodowska Curie Actions Post Doctoral Fellow-ships. UKRI Grant no. 101107
Date of First Compliant Deposit:	19 February 2025
Last Modified:	24 Feb 2025 16:03
URI:	https://orca.cardiff.ac.uk/id/eprint/176317

Actions (repository staff only)

Edit Item