Skip to main content

Integrating Formal Methodologies in a Multi-Layered Analysis for Management Policies for the Pedestrian Use of Public Space

  • 73 Accesses

Part of the Digital Innovations in Architecture, Engineering and Construction book series (DIAEC)


Taking advantage of the opportunity to carry out a project of analysis of municipal intervention in the public space of the city of Porto, it was possible to test and disseminate a set of formal and digital methodologies, comparing them with more traditional methodologies.


  • Public space
  • Pedestrian
  • Computer video
  • Machine learning
  • Space syntax
  • Agent-based analysis
  • Traffic flow

This is a preview of subscription content, access via your institution.

Buying options

USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
USD   169.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book
USD   219.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions


  • Al-Sayed, K. et al. (2014). Space syntax methodology (4th edn). Bartlett School of Architecture, UCL.

    Google Scholar 

  • Batty, M., et al. (2012). Agent-based models of geographical systems. Springer.

    CrossRef  Google Scholar 

  • Burstedde, C., Klauck, K., Schadschneider, A., & Zittartz, J. (2001). Simulation of pedestrian dynamics using a two-dimensional cellular automaton. Physica a: Statistical Mechanics and Its Applications, 295, 507–525.

    CrossRef  MATH  Google Scholar 

  • Cristiani, E., Piccoli, B., & Tosin, A. (2014). Multiscale modeling of pedestrian dynamics. Springer.

    CrossRef  MATH  Google Scholar 

  • Gil, J. et al. (2017)

  • ITF. (2012). Pedestrian safety. OECD Publishing.

    Google Scholar 

  • Jabbari, M., Fonseca, F., & Ramos, R. (2018). Combining multi-criteria and space syntax analysis to assess a pedestrian network: The case of Oporto. Journal of Urban Design, 23(1), 23–41.

    CrossRef  Google Scholar 

  • Morais, F. (2018). DepthSpace3D: A new digital tool for 3D space syntax analysis. In D. L. Viana et al. (Eds.), Formal methods in architecture and urbanism. Cambridge Scholars Publishing.

    Google Scholar 

  • Schoon, J. G. (2010). Pedestrian facilities—engineering and geometric design. Thomas Telford.

    CrossRef  Google Scholar 

  • Transportation Research Board. (2016). HCM2016 highway capacity manual (6th edn). The National Academies of Science, Engineering and Medicine.

    Google Scholar 

  • Witten, I. H. et al. (2011). Data mining. Practical machine learning tools and techniques (3rd edn). Elsevier—Morgan Kaufmann Publishers.

    Google Scholar 

Download references

Author information

Authors and Affiliations


Corresponding author

Correspondence to Franklim Morais .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2023 The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Ruivo, C., Morais, F., Flores, J., Vaz, J.V. (2023). Integrating Formal Methodologies in a Multi-Layered Analysis for Management Policies for the Pedestrian Use of Public Space. In: Mora, P.L., Viana, D.L., Morais, F., Vieira Vaz, J. (eds) Formal Methods in Architecture. FMA 2022. Digital Innovations in Architecture, Engineering and Construction. Springer, Singapore.

Download citation

  • DOI:

  • Published:

  • Publisher Name: Springer, Singapore

  • Print ISBN: 978-981-99-2216-1

  • Online ISBN: 978-981-99-2217-8

  • eBook Packages: EngineeringEngineering (R0)