Formal and operational validation of a bus stop public transport network micro simulation

Pau I.Casas Fonseca, Esteve Codina Sancho, Lidia Montero Mercade, M. Paz Linares, Cristina Montanola-Sales

Producció científica: Capítol de llibreContribució a una conferènciaAvaluat per experts

3 Cites (Scopus)


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.

Idioma originalAnglès
Títol de la publicacióProceedings of the 2014 Winter Simulation Conference, WSC 2014
EditorsAndreas Tolk, Levent Yilmaz, Saikou Y. Diallo, Ilya O. Ryzhov
EditorInstitute of Electrical and Electronics Engineers Inc.
Nombre de pàgines12
ISBN (electrònic)9781479974863
Estat de la publicacióPublicada - 23 de gen. 2015
Publicat externament
Esdeveniment2014 Winter Simulation Conference, WSC 2014 - Savannah, United States
Durada: 7 de des. 201410 de des. 2014

Sèrie de publicacions

NomProceedings - Winter Simulation Conference
ISSN (imprès)0891-7736


Conferència2014 Winter Simulation Conference, WSC 2014
País/TerritoriUnited States


Navegar pels temes de recerca de 'Formal and operational validation of a bus stop public transport network micro simulation'. Junts formen un fingerprint únic.

Com citar-ho