Page History

You may choose from one of the following papers. The scope, complexity and required knowledge for these papers roughly divides them into topics for bachelor students and for master students. However, bachelor students that take great interest in a master students topic may also choose from those.   

The papers are assigned via first-come-first-serve. Already taken papers are marked. Please send an email to Niklas (nre@informatik.uni-kiel.de) in order to reserve a paper.

Many of the links do only work in the university network. Through the usage of a VPN or a remote session to the terminal server, those are also accessible from home. If any problems occur feel free to contact us.

Bachelor Recommendations

Bloomfield, R. E., Bendele, M., Bishop, P. G., Stroud, R. and Tonks, S. (2016). The risk assessment of ERTMS-based railway systems from a cyber security perspective: Methodology and lessons learned. Paper presented at the First International Conference, RSSRail 2016, 28-30 Jun 2016, Paris, France

Shafiullah, GM., A. Gyasi-Agyei, and P. Wolfs. “Survey of Wireless Communications Applications in the Railway Industry.” Murdoch University, 2007. Web.

Velha, P., Nannipieri, T., Signorini, A., Morosi, M., Solazzi, M., Barone, F., ... & Di Pasquale, F. (2019). Monitoring large railways infrastructures using hybrid optical fibers sensor systems. IEEE Transactions on Intelligent Transportation Systems, 21(12), 5177-5188.

Bougacha, R., Wakrime, A. A., Kallel, S., Ayed, R. B., & Dutilleul, S. C. (2019, May). A Model-based Approach for the Modeling and the Verification of Railway Signaling System. In ENASE (pp. 367-376).

P. Sun, S. Collart-dutilleul and P. Bon, "A model pattern of railway interlocking system by Petri nets," 2015 International Conference on Models and Technologies for Intelligent Transportation Systems (MT-ITS), Budapest, Hungary, 2015, pp. 442-449, doi: 10.1109/MTITS.2015.7223292.

D. Giglio and N. Sacco, "A Petri net model for analysis, optimisation, and control of railway networks and train schedules," 2016 IEEE 19th International Conference on Intelligent Transportation Systems (ITSC), Rio de Janeiro, Brazil, 2016, pp. 2442-2449, doi: 10.1109/ITSC.2016.7795949.
 
A. Consilvio, A. Di Febbraro and N. Sacco, "A modular model to schedule predictive railway maintenance operations," 2015 International Conference on Models and Technologies for Intelligent Transportation Systems (MT-ITS), Budapest, Hungary, 2015, pp. 426-433, doi: 10.1109/MTITS.2015.7223290.

W. Carvajal-Carreño, A. P. Cucala García, A. Fernández-Cardador and L. Söder, "Efficient driving algorithms for non-disturbed and disturbed trains with the CBTC signalling system," 2015 International Conference on Models and Technologies for Intelligent Transportation Systems (MT-ITS), Budapest, Hungary, 2015, pp. 418-425, doi: 10.1109/MTITS.2015.7223289.

S. Wandelt, Z. Wang and X. Sun, "Worldwide Railway Skeleton Network: Extraction Methodology and Preliminary Analysis," in IEEE Transactions on Intelligent Transportation Systems, vol. 18, no. 8, pp. 2206-2216, Aug. 2017, doi: 10.1109/TITS.2016.2632998.

J. Cosic, C. Schlehuber and D. Morog, "Digital Forensic Investigation Process in Railway Environment," 2021 11th IFIP International Conference on New Technologies, Mobility and Security (NTMS), Paris, France, 2021, pp. 1-6, doi: 10.1109/NTMS49979.2021.9432658.

M. Franke et al., "Towards holistic autonomous obstacle detection in railways by complementing of on-board vision with UAV-based object localization," 2022 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Kyoto, Japan, 2022, pp. 7012-7019, doi: 10.1109/IROS47612.2022.9981156.

L. Yang, K. Li and Z. Gao, "Train Timetable Problem on a Single-Line Railway With Fuzzy Passenger Demand," in IEEE Transactions on Fuzzy Systems, vol. 17, no. 3, pp. 617-629, June 2009, doi: 10.1109/TFUZZ.2008.924198.

H. Song, S. Gao, Y. Li, L. Liu and H. Dong, "Train-Centric Communication Based Autonomous Train Control System," in IEEE Transactions on Intelligent Vehicles, vol. 8, no. 1, pp. 721-731, Jan. 2023, doi: 10.1109/TIV.2022.3192476.

Master Recommendations

Ferlin, A., Qiu, S., Bon, P., Sallak, M., Dutilleul, S. C., Schön, W., & Cherfi-Boulanger, Z. (2018). An automated method for the study of human reliability in railway supervision systems. IEEE Transactions on Intelligent Transportation Systems, 19(10), 3360-3375.

Peleska, Jan, Anne E. Haxthausen, and Thierry Lecomte. "Standardisation considerations for autonomous train control." Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV. Cham: Springer Nature Switzerland, 2022.

Basile, D., ter Beek, M.H., Legay, A. (2020). Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego. In: Gotsman, A., Sokolova, A. (eds) Formal Techniques for Distributed Objects, Components, and Systems. FORTE 2020. Lecture Notes in Computer Science(), vol 12136. Springer, Cham. https://doi.org/10.1007/978-3-030-50086-3_1

G. Krummenacher, C. S. Ong, S. Koller, S. Kobayashi and J. M. Buhmann, "Wheel Defect Detection With Machine Learning," in IEEE Transactions on Intelligent Transportation Systems, vol. 19, no. 4, pp. 1176-1187, April 2018, doi: 10.1109/TITS.2017.2720721.

Anne E. Haxthausen, Jan Peleska, and Sebastian Kinder. 2011. A formal approach for the construction and verification of railway control systems. Form. Asp. Comput. 23, 2 (Mar 2011), 191–219. https://doi.org/10.1007/s00165-009-0143-6

Yue, Yixiang, et al. "Integrated train timetabling and rolling stock scheduling model based on time‐dependent demand for urban rail transit." Computer‐Aided Civil and Infrastructure Engineering 32.10 (2017): 856-873.

Markus Heinrich, Tsvetoslava Vateva-Gurova, Tolga Arul, Stefan Katzenbeisser, Neeraj Suri, Henk Birkholz, Andreas Fuchs, Christoph Krauß, Maria Zhdanova, Don Kuzhiyelil, Sergey Tverdyshev, Christian Schlehuber, "Security Requirements Engineering in Safety-Critical Railway Signalling Networks", Security and Communication Networks, vol. 2019, Article ID 8348925, 14 pages, 2019. https://doi.org/10.1155/2019/8348925