Tamás Bartha

Ph.D.
senior research fellow
Address
1111 Budapest, Kende u. 13-17.
Room number
K 217
Email
bartha.tamas@sztaki.hu
Phone
+36 1 279 6227
Fax
+36 1 466 7483

Introduction

Tamás Bartha is a Senior Research Fellow and the Head of the Industrial I&C Systems Group at the SCL. He obtained his PhD degree in 2001. He also works as a part-time Associate Professor at the Department of Vehicle and Transportation Control of BME. 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 the project leader of MTA SZTAKI 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. He is advisor of the development of the open source project PetriDotNet, an advanced Petri net editor and model checking tool. 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.

Positions

Degrees

  • 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

Memberships, Assignments

Educational Activity

  • Current subjects (BME, Faculty of Transportation Engineering and Vehicle Engineering)
    • Transport automation;(MSc course, 3 hours/week, spring semester)
    • State-of-the-art products and development methods in the vehicle industry (Elective subject, 2 hours/week)
    • Critical Embedded Systems(MSc course, 2 hours/week, fall semester)
  • Former subjects (BME, Faculty of Electrical Engineering and Informatics)
    • Formal Methods (MSc course, 3 hours/week, spring semester)
    • Critical Embedded Systems (MSc course, 2 hours/week, fall semester)
    • System Integration and Supervision Lab (MSc course, 4 hours/week, spring semester)
    • Design for Service Dependability Lab(MSc course, 4 hours/week, fall semester)

Selected projects

  • Technical expertise support for the preparation of the technical reconstruction of MVM Paks Nuclear Power Plant Ltd. (2004-)
    • Our framework contract, which has been renewed each year since 2004, ensures the uninterrupted professional relationship with the operating units of the MVM Paks Nuclear Power Plant, and our continuous presence in expert support for the tasks related to the lifetime-extension of the plant. Over the years, we solved nearly 90 different R&D and expert tasks related to the regulatory reconstruction of the nuclear power plant and the long-term relocation of existing systems.
  • Preparation of the I&C refurbishment of the Reactor Rod Control System (SZBVR) and Reactor Power Control System (RTSZ) (2011)
    • In the project, we carried out the technical reconstruction of the SZBVR and the RTSZ systems to prepare the technical specification and to evaluate the incoming business engagement declarations.
  • TRUCKDAS project (2009-2012)
    • The TRUCKDAS project (Innovation of Driving Support Distributed Systems on a Commercial Vehicle Platform) aimed at delivering active safety and driver support features to a commercial vehicle platform to help to achieve the desired accident reduction effect under the rigorous economical and operating constraints of commercial vehicles.
  • DRESS project (2006-2009)
    • The task of the EU FP6 Framework  DRESS (Distributed and Redundant Electro-mechanical Nose Gear Steering System) project was to develop an electromechanical steering system that has the same reliability as the currently used hydraulic steering systems. It has proven the feasibility of an electrically driven steering, demonstrated the advantages of a distributed architecture and validated the principle of driving a redundant actuator to increase significantly the safety.
  • Primary Circuit Pressure Control System refurbishment (2004)
    • During the project, the old relay-based Primary Circular Pressure Control System of MVM Paks Nuclear Power Plant Ltd. was replaced by a state-of-the-art, distributed, PLC-based control system. We have developed and implemented a modern, system-theoretic control algorithm. The project was part of the Nuclear Power Plant's power uprating project.
  • Development of a Universal Test System for the periodic and startup testing of the Reactor Protection System (1999-2003)
    • In the project, we designed and implemented a test system based on a distributed network architecture and in house developed smart test cards for the implementation of the periodic and startup tests of the current Paks Reactor Protection System.

Publication databases

Important publications

More publications