Abstract
The possibility to analyze aspects of the railway capacity at varying the trains population, their travel time and delays, appears to be a useful means to investigate critical situations that affect quality of service in railway systems. In order to satisfy the required levels of the transport service, the capacity may be verified and estimated with good approximation by railway operation simulation models that should be easily applied on every railway plant. This work presents a stochastic model used for railway operation simulation. This model takes in input information about the railway topology and the required service. It reproduces the operation of the elementary devices composing the railway system using the Stochastic Activity Networks (SAN) formalism and the C++ programming language. The model may be applied in railway traffic studies as support for timetable improvements for delay minimization and for planning infrastructural upgrades.
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
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Dicembre, A., Ricci, S.: Multi-Method Analysis for the assessment of Railway Operation on the western part of Rome’s Railway Node. In: Proceedings of the 12th World Conference on Transportation Research, Lisboa, Portugal (July 2010)
Van Der Aalst, W., Odijk, M.: Analysis of railway stations by means of interval timed coloured petri nets. Real-Time Systems 9, 241–263 (1995)
Abril, M., Barber, F., Ingolotti, L., Salido, M.A., Tormos, P., Lova, A.: An assessment of railway capacity. Transportation Research Part E-Logistic and Transportation Review 44, 774–806 (2008)
Burdett, R., Kozan, E.: Techniques for absolute capacity determination in railways. Transportation Research Part B: Methodological 40, 616–632 (2006)
CENELEC. EN50126 Railway Applications - The Specification and Demonstration of Reliability, Availability, Maintainability and Safety (RAMS) (1997)
Clark, G., Courtney, T., Daly, D., Deavours, D.D., Derisavi, S., Doyle, J.M., Sanders, W.H., Webster, P.G.: The Mobius modeling tool. In: 9th Int. Workshop on Petri Nets and Performance Models, Aachen, Germany, pp. 241–250. IEEE Computer Society Press (September 2001)
Kontaxi, E., Ricci, S.: Railway Capacity Analysis: Methodological Framework and Harmonization Perspectives. In: Proceedings of the 12th World Conference on Transportation Research, Lisboa, Portugal (July 2010)
Giua, A., Seatzu, C.: Modeling and supervisory control of railway networks using petri nets. IEEE Transactions on Automation Science and Engineering 5(3), 431–445 (2008)
Iliasov, A., Romanovsky, A.: SafeCap domain language for reasoning about safety and capacity. Technical Report Series CS-TR-1352, Newcastle University, Computing Science (2012)
Movaghar, A., Meyer, J.F.: Performability modelling with stochastic activity networks. In: Real-Time Systems Symposium, Austin, TX, pp. 215–224 (1984)
Nicol, D.M., Sanders, W.H., Trivedi, K.S.: Model-based evaluation: from dependability to security. IEEE Transactions on Dependable and Secure Computing 1, 48–65 (2004)
Ricci, S., Tieri, A.: Check and forecasting of railway traffic regularity by a petri nets based simulation model. Ingegneria Ferroviaria 9, 723–765 (2009)
Sanders, W.H., Meyer, J.F.: Stochastic Activity Networks: Formal Definitions and Concepts. In: Brinksma, E., Hermanns, H., Katoen, J.-P. (eds.) FMPA 2000. LNCS, vol. 2090, pp. 315–343. Springer, Heidelberg (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Di Giandomenico, F., Fantechi, A., Gnesi, S., Itria, M.L. (2013). Stochastic Model-Based Analysis of Railway Operation to Support Traffic Planning. In: Gorbenko, A., Romanovsky, A., Kharchenko, V. (eds) Software Engineering for Resilient Systems. SERENE 2013. Lecture Notes in Computer Science, vol 8166. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-40894-6_15
Download citation
DOI: https://doi.org/10.1007/978-3-642-40894-6_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-40893-9
Online ISBN: 978-3-642-40894-6
eBook Packages: Computer ScienceComputer Science (R0)