Formalizing Sustainable Urban Mobility Management: An Innovative Approach with Digital Twin and Integrated Modeling

Background: Urban mobility management faces growing challenges that require the analysis and optimization of sustainable solutions. Digital twins (DTs) have emerged as innovative tools for this assessment, but their implementation requires standardized procedures and languages; Methods: As part of a broader methodology for continuous DT validation, this study focuses on the conceptual validation phase, presenting a conceptualization approach through formalization using Specification and Description Language (SDL), agnostic to simulation tools. The conceptual validation was achieved through stakeholder engagement in the Bolzano context, producing 41 SDL diagrams that define both elements common to different urban realities and specific local data collection procedures; Results: The feasibility of implementing this stakeholder-validated conceptualization was demonstrated using Simulation of Urban MObility (SUMO) for traffic simulation and optimization criteria calculation, and its framework SUMO Activity GenerAtion (SAGA) for generating an Activity-Based Modeling (ABM) mobility demand that can be improved through real sensor data; Conclusions: The SDL approach, through its graphical representation (SDL/GR), enables conceptual validation by enhancing stakeholder communication while defining a framework that, while adapting to the monitoring specificities of different urban realities, maintains a common and rigorous structure, independent of the chosen implementation tools and programming languages.