To access the full text documents, please follow this link:

Formal and operational validation of a bus stop public transport network micro simulation
Fonseca Casas, Pau; Codina Sancho, Esteve; Montero Mercadé, Lídia; Linares Herreros, Mª Paz; Montañola Sales, Cristina
Universitat Politècnica de Catalunya. Departament d'Estadística i Investigació Operativa; Universitat Politècnica de Catalunya. Facultat d'Informàtica de Barcelona (FIB); Universitat Politècnica de Catalunya. LIAM - Laboratori de Modelització i Anàlisi de la Informació; Universitat Politècnica de Catalunya. PROMALS - Grup de Recerca en Programació Matemática, Logística i Simulació
We present a detailed simulation model with the purpose of analyzing the congestion and interaction between bus lines and passengers at stops. Our main goal is to perform a complete validation of a simulation model formalized in a standard language in order to use it as a basis to perform more complex experiments. The basis of the model is a queuing model that leads us to perform an operational validation. Since the model is completely represented using a formal language, the specialist can perform a formal validation of the model previously to any implementation. Thanks to the modular structure of the formal language used to define the model, the model can be easily expanded to represent more complex systems. Due to a formal representation, the implementation process can be done automatically implying that analysts should only be concerned about the correct definition of the diagrams that represent the model behavior
Peer Reviewed
Àrees temàtiques de la UPC::Matemàtiques i estadística::Investigació operativa::Optimització
Operations research
Bus stop modelling Transportation Analysis
Optimització i investigació operativa
90B Operations research and management science
Attribution-NonCommercial-NoDerivs 3.0 Spain

Show full item record

Related documents

Other documents of the same author

Codina Sancho, Esteve; Fonseca Casas, Pau; Colls, Màxim; Montero Mercadé, Lídia
Barceló Bugeda, Jaime; Gilliéron, F; Linares Herreros, Mª Paz; Serch, Oriol; Montero Mercadé, Lídia
Barceló Bugeda, Jaime; Montero Mercadé, Lídia; Bullejos, Manuel; Linares Herreros, Mª Paz
Guasch Petit, Antonio; Figueras Jové, Jaume; Fonseca Casas, Pau; Montañola Sales, Cristina; Casanovas Garcia, Josep