Abstract
The present paper proposes a new modelling framework well-suited to describe in detail multiple modelling features and interactions among different components of railway transport systems. Timed automata and Uppaal software tool were chosen because allow not only the introduction of additional features but also the construction and the verification of timed models. Another important advantage of the presented formalism is given by the possibility to operate modifications on the simulated maps only by changing the initialization variables and without changing the UPPAAL model. Different templates were defined to represents the complexity of railroad train station, two types of structures being taken into consideration: infrastructure – road, switches, traffic lights, platforms, and moving vehicles – engines, cars. To model and analyze the two types of structures, a two layered model based on Timed Automata was considered; one represents the components of the infrastructure and the relations between them and the second one represents the mobile components of the railroad traffic. The interactions between layers were defined using a set of rules implemented in “C” programming language. A case study was considered for simulation purposes, some possible scenarios being presented. A list of queries was generated in order to verify various properties. The proposed framework proved to be capable to model railway complex structures and to verify their behavior.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Caimi, G., Kroon, L., Liebchen, C.: Models for railway timetable optimization: applicability and applications in practice. J. Rail Trans. Plan. Manag. 6(4), 285–312 (2017)
Schittenhelm, B., Landex, A.: Danish key performance indicators for railway timetables. In: Proceedings from the Annual Transport Conference at Aalborg University, pp. 1–28 (2016)
Goverde, R.M.P., Odijk, M.A.: Performance evaluation of network timetables using PETER. In: Allan, J., Andersson, E., Brebbia, C.A., Hill, R.J., Sciutto, G., Sone, S. (eds.) Computers in Railways VIII. WIT Press, Southampton (2002)
Lin, D.-Y., Ku, Y.-H.: Using genetic algorithms to optimize stopping patterns for passenger rail transportation (2014)
Ricci, S., Tieri, A.: A Petri nets based decision support tool for railway traffic conflicts forecasting and resolution. Department of Hydraulics, Transport and Roads, University Rome, Italy (2017)
WIT Transactions on State of the Art in Science and Engineering, vol. 40. WIT Pres (2010)
Nagy, E., Csiszár, C.: Analysis of delay causes in railway passenger transportation. Periodica Polytech. Transp. Eng. 43(2), 73–80 (2015)
Virgona, A., Kirchner, N., Alempijevic, A.: Sensing and Perception Technology to Enable Real Time Monitoring of Passenger Movement Behaviours Through Congested Rail Stations. Australasian Transport Research Forum, Sydney (2015)
Ahna, Y., Kowadab, T., Tsukaguchia, H., Vandebona, U.: Estimation of passenger flow for planning and management of railway stations. Transp. Res. Procedia 25, 315–330 (2017). World Conference on Transport Research
Zhou, W., Yang, X., Qin, J., Deng, L.: Optimizing the long-term operating plan of railway marshalling station for capacity utilization analysis. Sci. World J. (2014)
Caprara, A., Fischetti, M., Toth, P.: Modeling and solving the train timetabling problem. Oper. Res. 50(5), 851–861 (2002)
Dorfman, M.J., Medanic, J.: Scheduling trains on a railway network using a discrete event model of railway traffic. Transp. Res. Part B: Methodol. 38(1), 81–98 (2004)
Schobel, A., Scholl, S.: Line planning with minimal traveling time. In: Kroon, L.G., Mohring, R.H. (eds.) 5th Workshop on Algorithmic Methods and Models for Optimization of Railways, Dagstuhl, Germany (2006)
Li, W., Zhu, W.: A dynamic simulation model of passenger flow distribution on schedule-based rail transit networks with train delays. J. Traffic Transp. 3(4), 364–373 (2017)
Jiang, Z., Xie, C., Ji, T., Zou, X.: Dwell time modelling and optimized simulations for crowded rail transit lines based on train capacity. Traffic Transp. 27(2), 125–135 (2015)
UPPAAL. http://www.uppaal.org/. Accessed 20 Mar 2018
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer International Publishing AG, part of Springer Nature
About this paper
Cite this paper
Avram, C., Bezerra, K., Radu, D., Machado, J., Astilean, A. (2019). A Formal Approach for Railroad Traffic Modelling Using Timed Automata. In: Machado, J., Soares, F., Veiga, G. (eds) Innovation, Engineering and Entrepreneurship. HELIX 2018. Lecture Notes in Electrical Engineering, vol 505. Springer, Cham. https://doi.org/10.1007/978-3-319-91334-6_42
Download citation
DOI: https://doi.org/10.1007/978-3-319-91334-6_42
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-91333-9
Online ISBN: 978-3-319-91334-6
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)