Tamás Bartha
Associate Professor, MSc in Electrical engineering, Ph.D.
- Address
- Postal address: P.O.Box 91., H-1521 Budapest, Hungary Address: Magyar tudósok str. 2. Building I, Wing B, 4th floor, I.B.419., H-1117 Budapest, Hungary
- bartha.tamas [at] mit.bme.hu
- Phone
- +36 1 463-3594
- Fax
- +36 1 463-2667
- Homepage
- http://www.mit.bme.hu/eng/general/staff/bartha
Short CV
Tamás Bartha is a part-time associate professor, who obtained his PhD degree in 2001. He also works full-time as a senior research fellow at the The Computer and Automation Research Institute of the Hungarian Academy of Sciences. His main research interests include the architectural design, testing, and formal verification of highly dependable safety-critical embedded software and hardware. He regularly serves in the programme committees of various international conferences in the field. He acted as PC member of the IFAC World Congress 2011 in Milan, DRE-2006, MITIP 2006, EDCC-5, and SAFEPROCESS'2000. He is advisor of the development of the open source project PetriDotNet, an advanced Petri net editor and model checking tool. He is the project leader of MTA SZTAKI's projects related to the Paks Nuclear Power Plant, and participated in the refurbishment of the Reactor Protection System (RPS), and the design and implementation of the Universal Test System of the RPS, and the new Reactor Pressure Controller. He is member of the IFAC Technical Committee 1.5 on Networked Systems, member of the IAEA Technical Working Group on “Nuclear Power Plant Control and Instrumentation (TWG-NPPCI)”, and member of the Committee on Automation and Computer Science of the Hungarian Academy of Sciences. Previously, he was a visiting researcher at Friedrich-Alexander University in Erlangen, and the Istituto di Elaborazione della Informazione (IEI) in Pisa. He is a three-time recipient of the MTA SZTAKI Institute Award.
Research Interests
- Model checking
- Formal verification and validation of complex 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
Honors and Awards
- 2012: Institutional award of MTA SZTAKI
- 2004: Youth award of MTA SZTAKI
- 2002: Institutional award of MTA SZTAKI
- 1993: MATE MSc thesis competition (1st prize)
- 1991: Scholarship of the Republic of Hungary
8 selected publications
- 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.
List of publications
Other affiliation
MTA SZTAKI
The Computer and Automation Research Institute, Hungarian Academy of Sciences
Senior research fellow
Address
Postal address: P.O.Box 63., H-1518 Budapest, Hungary
Address: Kende str. 13-17., 2nd floor, 217., H-1111 Budapest, Hungary
E-mail
tamas.bartha [at] sztaki.mta.hu
Phone
+36 1 279 6227
Fax
+36 1 466 7483