Education & Qualifications

Ph.D. in Electrical Engineering from the Budapest University of Technology and Economics, 2001.

M.Sc. in Electrical Engineering from the Budapest University of Technology and Economics, 1993.

Research Areas

Formal modeling and model checking
Formal verification and validation of complex industrial control systems
Testing and diagnostic methods of safety critical software and hardware
Reliability and risk analysis of computer systems
Architectures of fault tolerant and safety critical systems

Professional Experience

Associate Professor, BME Department of Vehicle and Transportation Control

Senior Research Fellow, HUN-REN SZTAKI Systems and Control Research Laboratory
Head of the Industrial Instrumentation and Control Systems Group of SCL

Teaching Activity

Design of Traffic Control Systems
Traffic Automation Project Assignment
Traffic Automation M
Traffic Automation A
Reliability and Safety

Critical Embedded Systems

Projects, scholarships

2020-2025: Autonomous Systems National Laboratory, Cyber security subproject

2004-present: Technical expert support for the Instrumentation and Control (I&C) systems reconstruction projects of the MVM Paks Nuclear Power Plant Ltd.

2014-2016: ERNYO_13-1-2013-0007 project “Development of technologies for passenger safety, driver assistance, reliability, energy efficiency, and environmental awareness at Robert Bosch Kft.”

2011. Preparation of the I&C Refurbishment of the MVM Paks Nuclear Power Plant Ltd. Reactor Rod Control System (SZBVR) and Reactor Power Control System (RTSZ)

2009-2012: TRUCKDAS project “Innovation of Driving Support Distributed Systems on a Commercial Vehicle Platform”

2006-2009: DRESS project: “Distributed and Redundant Electro-mechanical Nose Gear Steering System”

2004: Refurbishment of the MVM Paks Nuclear Power Plant Ltd. Primary Circuit Pressure Control System

1999-2003: Development of a Universal Test System for the periodic and startup testing of the MVM Paks Nuclear Power Plant Ltd. Reactor Protection System

Highlighted Publications

Németh, E., Bartha, T., Fazekas, C., & Hangos, K. (2009).
Verification of a primary-to-secondary leaking safety procedure in a nuclear power plant using coloured Petri nets.
RELIABILITY ENGINEERING & SYSTEM SAFETY, 94(5), 942-953. [SJR: D1]
Lukács, G., & Bartha, T. (2024).
Verification of Railway Control Systems Using Model Checking and CTL, Explained Through a Case Study.
PERIODICA POLYTECHNICA TRANSPORTATION ENGINEERING, 52(4), 402-411. [SJR: Q2]
Lukács, G., & Bartha, T. (2022).
Formal Modeling and Verification of the Functionality of Electronic Urban Railway Control Systems Through a Case Study.
Urban Rail Transit, 8, 217-245. [SJR: Q2]
Molnár, V., Vörös, A., Darvas, D., Bartha, T., & Majzik, I. (2016).
Component-wise incremental LTL model checking.
FORMAL ASPECTS OF COMPUTING, 28(3), 345-379. [SJR: Q2]
Vörös, A., Darvas, D., Molnár, V., Klenik, A., Hajdu, Á., Jámbor, A., Bartha, T., & Majzik, I. (2016).
PetriDotNet 1.5: Extensible Petri net editor and analyser for education and research.
LECTURE NOTES IN COMPUTER SCIENCE, 9698(Torun), 123-132. [SJR: Q2]