Bartha Tamás

Rövid szöveges bemutató

Bartha Tamás részmunkaidős egyetemi docens. Doktori (PhD) fokozatát 2001-ben védte meg. Főmunkaidőben a Magyar Tudományos Akadémia Számítástechnikai és Automatizálási Kutatóintézetében (MTA SZTAKI) dolgozik tudományos főmunkatársként. Kutatási területei közé tartozik a nagymegbízhatóságú biztonságkritikus beágyazott rendszerek hardverének és szoftverének architekturális tervezése, tesztelése és formális verifikációja. Rendszeresen tevékenykedik az ehhez a területhez kötődő nemzetközi konferenciák programbizottsági tagjaként. Többek között rész vett a milánói IFAC World Congress 2011, a DRE-2006, MITIP 2006, EDCC-5, és SAFEPROCESS'2000 szervezésében is. Konzulensként irányítja a fejlett algoritmusokat alkalmazó, nyílt forráskódú PetriDotNet nevű Petri-háló szerkesztő és modellellenőrző eszköz fejlesztését. Az MTA SZTAKI Paksi Atomerőműhöz kötődő projektjeinek irányítója, részt vett többek között a paksi Reaktorvédelmi Rendszer (RVR felújításában), az RVR tesztelését végző Univerzális Tesztrendszer, valamint az új Primerköri Nyomásszabályozó megtervezésében és megvalósításában. Tagja az IFAC „Technical Committee 1.5 on Networked Systems” bizottságának, a Nemzetközi Atomenergia Ügynökség (IAEA) „Technical Working Group on Nuclear Power Plant Control and Instrumentation (TWG-NPPCI)” nevű munkacsoportjának és a Magyar Tudományos Akadémia Számítástechnikai és Automatizálási Bizottságának. Meghívott kutatóként dolgozott az erlangeni Friedrich-Alexander Egyetemen és a pisai Istituto di Elaborazione della Informazione (IEI) intézetben. Háromszor nyerte el az MTA SZTAKI Intézeti Díját.

Kutatási tevékenységek

• Formális verifikáció, 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

Díjak, kitüntetések

• 2012: MTA-SZTAKI Intézeti Díj
• 2004: MTA-SZTAKI Ifjúsági Intézeti Díj
• 2002: MTA-SZTAKI Intézeti Díj
• 1993: MATE Diplomaterv pályázat I. díj
• 1991: Köztársasági Ösztöndíj

8 kiemelt publikáció

• Németh, E., Bartha, T., Fazekas, C., and Hangos, K. M., "Verification of a primary-to-secondary leaking safety procedure in a nuclear power plant using coloured Petri nets", Reliability Engineering & System Safety, vol. 94, issue 5, pp. 942 - 953, 2009.
• Bartha, T., and Német, E., "Formal Verification of Safety Functions by Reinterpretation of Functional Block Based Specifications", Formal Methods for Industrial Critical Systems: Springer Verlag, pp. 199 - 214, 2009.
• Bartha, T., Varga, I., Soumelidis, A., and Szabó, G., "Implementation of a testing and diagnostic concept for an NPP reactor protection system", Lecture Notes in Computer Science, vol. 3463, pp. 391 - 402, 2005.
• Polgár, B., Bartha, T., and Selényi, E., "Modeling Uncertainty In System-level Fault Diagnosis Using Process Graphs", Proc. of DAPSYS 2002, 4th Austrian-Hungarian Workshop on Distributed and Parallel Processing: Kluwer Academic Publishers, pp. 195 - 202, 2002.
• Gönczy, L., Chiaradonna, S., Giandomenico, D. F., Pataricza, A., Bondavalli, A., Bartha, T., and Telek, M., Dependability Evaluation of Web Service-Based ProcessesFormal Methods and Stochastic Models for Performance Evaluation, : Springer-Verlag
• Varga, I., Bartha, T., Szabo, G., and Kiss, B., "Status and Actual Risk Monitoring in a NPP Reactor Protection System", Probabilistic safety assessment and management. Proceedings of thje PSAM7 - ESREL'04 Conference, Berlin, Springer
• Gáspár, P., Szászi, I., Bartha, T., Varga, I., Bokor, J., Palkovics, L., and Gianone, L., "Visual lane and obstruction detection system for commercial vehicles", 4th IFAC symposium on fault detection supervision and safety for technical processes. SAFEPROCESS 2000
• Bartha, T., and Maestrini, P., "Backward error recovery in the APEmille parallel computer", Proc. of the 3rd European Dependable Computing Conf., Prague, Czech Republic, Lecture Notes in Computer Science. Springer Berlin, 1999.

Publikációs lista (MTMT)

• Google Scholar
• Scopus
• ResearcherID:

Másik munkahely

MTA SZTAKI
Magyar Tudományos Akadémia Számítástechnikai és Automatizálási Kutatóintézete

tudományos főmunkatárs

Cím
Postacím: 1518 Budapest, Pf. 63
Cím: 1111 Budapest, Kende u. 13-17. II. em. 217.

Email
bartha.tamas [at] sztaki.mta.hu

Telefon
+36 1 279 6227

Fax
+36 1 466 7483

Honlap
http://www.sztaki.hu/scl/web/members/bartha.php