TY - GEN
T1 - Formal and operational validation of a bus stop public transport network micro simulation
AU - Fonseca, Pau I.Casas
AU - Sancho, Esteve Codina
AU - Mercade, Lidia Montero
AU - Linares, M. Paz
AU - Montanola-Sales, Cristina
N1 - Publisher Copyright:
© 2014 IEEE.
PY - 2015/1/23
Y1 - 2015/1/23
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84940534842&partnerID=8YFLogxK
U2 - 10.1109/WSC.2014.7019925
DO - 10.1109/WSC.2014.7019925
M3 - Conference contribution
AN - SCOPUS:84940534842
T3 - Proceedings - Winter Simulation Conference
SP - 604
EP - 615
BT - Proceedings of the 2014 Winter Simulation Conference, WSC 2014
A2 - Tolk, Andreas
A2 - Yilmaz, Levent
A2 - Diallo, Saikou Y.
A2 - Ryzhov, Ilya O.
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 2014 Winter Simulation Conference, WSC 2014
Y2 - 7 December 2014 through 10 December 2014
ER -