Végzettség, fokozatok

PhD (villamosmérnöki tudomány), Budapesti Műszaki és Gazdaságtudományi Egyetem, 2001.

Okl. villamosmérnök, Budapesti Műszaki és Gazdaságtudományi Egyetem, 1993.

Kutatási területek

Formális modellezés, modellellenőrzés
Komplex ipari irányító és felügyeleti rendszerek formális verifikációja és validációja
Biztonságkritikus rendszerek hardver és szoftver tesztelési és diagnosztikai eljárásai
Számítógépes rendszerek megbízhatósági és kockázatanalízise
Hibatűrő és biztonságkritikus számítógépes rendszerek hardver rendszertechnikája

Munkahelyek, beosztások

Egyetemi docens, BME Közlekedés- és Járműirányítási Tanszék

Tudományos főmunkatárs, HUN-REN SZTAKI, Rendszer és Irányításelméleti Kutatólaboratórium
Csoportvezető, Ipari Irányítástechnikai Rendszerek Csoport

Oktatási tevékenység

Közlekedésautomatikai rendszerek tervezése
Közlekedésautomatizálási projektfeladat
Közlekedési automatika M
Közlekedési automatika A
Megbízhatóság és biztonság

Kritikus beágyazott rendszerek

Projektek, ösztöndíjak

2020-2025: Autonóm Rendszerek Nemzeti Laboratórium, Kiberbiztonság alprojekt

2004-jelenleg: Az MVM Paksi Atomerőmű Zrt. irányítástechnikai rekonstrukciós projektjeinek támogatása műszaki szakértői tevékenység ellátásával

2014-2016: ERNYO_13-1-2013-0007 projekt „Utasbiztonságot, vezetési asszisztenciát, megbízhatóságot, energiahatékonyságot és környezettudatosságot szolgáló technológiák fejlesztése a Robert Bosch Kft.-nél”

2011: MVM Paksi Atomerőmű Zrt.  Szabályozó és Biztonságvédelmi Rendszer (SZBVR) és Reaktor Teljesítmény Szabályzó Rendszer (RTSZ) irányítástechnikai rekonstrukciójának műszaki előkészítése

2009-2012: TRUCKDAS projekt „Vezetéstámogató elosztott rendszerek innovációja haszongépjárműves platformra”

2006–2009: DRESS projekt „Elosztott és redundáns elektromechanikus orrfutómű-kormányzási rendszer fejlesztése”

2004: MVM Paksi Atomerőmű Zrt. primerköri nyomásszabályozó átalakítás

1999-2003: Univerzális Tesztrendszer kifejlesztése az MVM Paksi Atomerőmű Zrt.  Reaktorvédelmi Rendszer periodikus és indítási tesztjeihez

Kiemelt Publikációk

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]