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
2025.
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.
Published in: Marques, Bruno, Ruivo, Catarina, Viana, David Leite and Vaz, Jorge Vieira eds.
Formal Methods in Architecture: Proceedings of the 7th International Symposium on Formal Methods in Architecture (7FMA), Porto 2024.
Digital Innovations in Architecture, Engineering and Construction
Cham, Switzerland:
Springer,
pp. 517-540.
10.1007/978-3-032-02782-5_28
|
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 - published (Paper) |
|---|---|
| Date Type: | Publication |
| Status: | Published |
| Schools: | Schools > Architecture |
| Subjects: | G Geography. Anthropology. Recreation > G Geography (General) G Geography. Anthropology. Recreation > GE Environmental Sciences N Fine Arts > NA Architecture |
| Publisher: | Springer |
| ISBN: | 978-3-032-02781-8 |
| ISSN: | 2731-7269 |
| 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 |
| Projects: | Decoding Cities for Informed Decision-Making (DECIDE) |
| Date of First Compliant Deposit: | 19 February 2025 |
| Last Modified: | 17 Feb 2026 14:27 |
| URI: | https://orca.cardiff.ac.uk/id/eprint/176317 |
Actions (repository staff only)
 |
Edit Item |
Dimensions
Dimensions