I am looking for partners in the research area.

I am looking for partners interested in the Horizon Europe Call.

I am looking for partners for the Horizon Europe research area.

I am looking for laboratory facilities in the research/application area.

Rail Traffic Control and Safety Research Group

Dr. Szilárd Aradi

Senior Researcher


H-1111 Budapest, Stoczek József utca 2



Dr. Géza Szabó

Associate Professor

Dr. Tamás Bartha

Associate Professor

Balázs Farkas


Dr. Tamás Bécsi

Associate Professor

Introduction of the Research Group

The role of rail transport in the transport sector is becoming increasingly important because fast and environmentally-friendly passenger and freight transport is an important goal for Hungary and the European Union. By using new technologies that have emerged in the recent past, the efficiency of rail transport can be increased while maintaining railway safety targets. Our research team aims to respond to these challenges with state-of-the-art technology. The research team operates in three areas. The first is an automated solution for traffic management problems. On a capacity-constrained infrastructure, automatic train control enables traffic to be handled efficiently without human intervention. In recent years, machine learning-based solutions have also emerged in this area. Optimization solutions based on this are still one of the development directions, which pose many theoretical and practical challenges for academia and industry. The second area deals with hazard and risk analysis of systems and safety assessment in life cycle models because risk-based approaches to the design of electronic systems are essential in developing safety-critical systems. Our department has decades of experience in risk analysis of high-reliability systems (BME methodology), and we are currently cooperating with our industry partners in this field. The third area is the application of formal methods in embedded systems used in rail transport. The goal is to develop mathematical tools that can precisely specify system requirements. Furthermore, a system model can be created and refined gradually and consistently. Finally, it can be verified (for the model) that the specified requirements are met through model checking or automatic batch verification.


- Risk assessment method for railway interlocking systems
- Modelling methods for railway interlocking systems
- Optimization methods to solve rail traffic management problems


Lövétei, István ; Kővári, Bálint ; Bécsi, Tamás ; Aradi, Szilárd. Environment Representations of Railway Infrastructure for Reinforcement Learning-Based Traffic Control. APPLIED SCIENCES 12 : 9 Paper: 4465 , 17 p. (2022)
Lindenmaier, László ; Lövétei, István Ferenc ; Lukács, Gábor ; Aradi, Szilárd. Infrastructure Modeling and Optimization to Solve Real-Time Railway Traffic Management Problems. PERIODICA POLYTECHNICA TRANSPORTATION ENGINEERING 49 : 3 pp. 270-282. , 13 p. (2021)
Lindenmaier, L. ; Lövétei, I.F. ; Lukács, G. ; Aradi, S. Infrastructure Modeling and Optimization to Solve Real-time Railway Traffic Management Problems
Lukács Gábor, Bartha Tamás. Construction of formal models and verifying property specifications through an example of railway interlocking systems. POLLACK PERIODICA: AN INTERNATIONAL JOURNAL FOR ENGINEERING AND INFORMATION SCIENCES 14 : 2 pp. 39-50. , 12 p. (2019)
Bécsi Tamás, Aradi Szilárd. Energy Saving Possibilities at the Hungarian State Railways. TRANSPORTATION RESEARCH PROCEDIA 27 pp. 617-623. , 7 p. (2017)
Aradi Sz, Bécsi T, Gáspár P. Estimation of running resistance of electric trains based on on-board telematics system. INTERNATIONAL JOURNAL OF HEAVY VEHICLE SYSTEMS 22 : 3 pp. 277-291. , 15 p. (2015)


MDPI Applied Sciences
Periodica Polytechnica Transportation Engineering


OpenTrack rail traffic simulation software


Factors influencing the energy demand of electric traction and potential savings, 2013-2015, NRDI Fund
Development of distributed logic railway safety equipment, VKE 2018-40, 2018-2022, NRDI Fund


Transport Means 2016: Proceedings of the 20th International Scientific Conference, 2016, Kaunas, Lithuania, Lövétei István presenter
Transport Means 2017: Proceedings of the 21st International Scientific Conference, 2017, Kaunas, Lithuania, Farkas Balázs presenter
IEEE 20th Jubilee World Symposium on Applied Machine Intelligence and Informatics, 2022, Poprad, Slovakia, Lindenmaier László presenter, session chair
16th Mini Conference on Vehicle System Dynamics, Identification and Anomalies, VSDIA 2018, Budapest, Hungary, Szabó Géza, session chair
XV. Innováció és fenntartható felszíni közlekedés, IFFK 2021, Budapest, Magyarország, Aradi Szilárd session chair, Farkas Balázs, presenter, Lindenmaier László, presenter