Ugrás a tartalomhoz

EU Kiválósági KözpontISO 9001

ERCIMW3C MemberFraunhofer Projektközpont

Bartha Tamás, Ph.D., tudományos főmunkatárs, kutató
Bartha Tamás
Cím: 1111 Budapest, Kende u. 13-17.
Levelezési cím: 1518 Budapest, Pf. 63.
Szoba: K 217
Telefon: +36 1 279 6227
Fax: +36 1 466 7483
E-mail: bartha.tamasEZT_TOROLJE_KI@EZT_TOROLJE_KIsztaki.mta.hu
Honlap: http://sites.google.com/a/sztaki.hu/bartha/
Részleg: Rendszer és Irányításelméleti Kutatólaboratórium

Bemutatkozás

Bartha Tamás tudományos főmunkatárs, az Ipari Irányítástechnikai Rendszerek Csoport vezetője. Doktori (PhD) fokozatát 2001-ben védte meg. Részmunkaidőben a BME Közlekedés- és Járműirányítási Tanszékén egyetemi docens. Kutatási területei közé tartozik a nagy megbí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. A Paksi Atomerőműhöz kötődő projektek 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. 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. 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.

Beosztások

Végzettség

  • 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

Tagságok, megbízatások

Oktatási tevékenység

Válogatott projektek

  • TRUCKDAS projekt (2009-2012)
    • A TRUCKDAS projekt (Vezetéstámogató elosztott rendszerek innovációja haszongépjárműves platformra) célja aktív biztonsági és vezetőtámogató funkciók megvalósítása volt haszongépjárműves platformra annak érdekében, hogy segítségükkel a haszongépjárművekre jellemző szigorú gazdaságossági feltételek és üzemeltetési körülmények között is elérje a kívánt balesetszám-csökkentő hatást.
  • Az MVM Paksi Atomerőmű ZRt. irányítástechnikai rekonstrukciója előkészítéséhez műszaki szakértői tevékenység ellátása (2009-2012)
    • A három éves keretszerződés során közel 30 különböző, az Atomerőmű irányítástechnikai rekonstrukciójához és a meglévő rendszerek hosszú távű továbbműködtetéséhez kapcsolódó K+F és szakértői feladatot oldottunk meg.
  • 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 (2011)
    • A projektben az SZBVR és az RTSZ rendszerek irányítástechnikai rekonstrukciójához a műszaki specifikáció előkészítését és a beérkező vállalkozási szándéknyilatkozatok szakértői értékelését végeztük el.
  • DRESS projekt (2006-2009)
    • Az EU FP6 keretprogramba tartozó DRESS (Distributed and Redundant Electro-mechanical Nose Gear Steering System) projekt feladata egy, a jelenleg alkalmazott hidraulikus orrfutómű kormányrendszerekkel azonos megbízhatóságú elektromechanikus kormányrendszer kifejlesztése volt.
  • Primerköri nyomásszabályozó átalakítás (2004)
    • A projekt során az MVM Paksi Atomerőmű Zrt. régi relés Primerköri nyomásszabályozóját cseréltük le saját fejlesztésű korszerű, elosztott, PLC-alapú szabályozórendszerre. Korszerű irányítási algoritmusokat dolgoztunk ki és implementáltunk. A projekt része volt az Atomerőmű teljesítményemelési projektjének.
  • Univerzális Tesztrendszer kifejlesztése a Reaktorvédelmi Rendszer periodikus tesztjeihez (1999-2003)
    • A projektben a jelenlegi paksi Reaktorvédelmi Rendszer periodikus és indítási tesztjeinek végrehajtására szolgáló, elosztott hálózati architektúrán és saját fejlesztésű intelligens teszt kártyákon alapuló tesztberendezést terveztünk és valósítottunk meg.

Publikációs adatbázisok

Publikációk

[Időrendben] [Kategóriákba sorolva ]

2016.

PetriDotNet 1.5: Extensible Petri net editor and analyser for education and research
Szerzők: Vörös, András; Darvas, Dániel; Molnár, Vince; Klenik, Attila; Hajdu, Ákos; Bartha, Tamás; Majzik, István
Szerkesztő: Kordon, Fabrice; Moldt, Daniel
Megjelenés: 2016.
Megjelent: (Füzetszám: 9698, Oldalszám: 123-132)
Improving Saturation-based Bounded Model Checking
Szerzők: Darvas, Dániel; Vörös, András; Bartha, Tamás
Megjelenés: 2016.
Megjelent: ACTA CYBERNETICA-SZEGED (Kötetszám: 22, Füzetszám: 3, Oldalszám: 573-589)
Component-wise incremental LTL model checking
Szerzők: Molnár, Vince; Vörös, András; Darvas, Dániel; Bartha, Tamás; Majzik, István
Megjelenés: 2016.
Megjelent: FORMAL ASPECTS OF COMPUTING (Kötetszám: 28, Füzetszám: 3, Oldalszám: 345-379)

2015.

Saturation-based incremental LTL model checking with inductive proofs
Szerzők: Molnár, Vince; Darvas, Dániel; Vörös, András; Bartha, Tamás
Megjelenés: 2015.
Megjelent: (Füzetszám: 9035, Oldalszám: 643-657)
New Search Strategies for the Petri Net CEGAR Approach
Szerzők: Hajdu, Ákos; Vörös, András; Bartha, Tamás
Szerkesztő: Devillers, Raymond; Valmari, Antti
Megjelenés: 2015.
Megjelent: (Füzetszám: 9115, Oldalszám: 309-328)

2014.

Extensions to the CEGAR Approach on Petri Nets
Szerzők: Hajdu, Ákos; Vörös, András; Bartha, Tamás; Mártonka, Zoltán
Megjelenés: 2014.
Megjelent: ACTA CYBERNETICA-SZEGED (Kötetszám: 21, Füzetszám: 3, Oldalszám: 401-417)

2013.

Extensions to the CEGAR Approach on Petri Nets
Szerzők: Hajdu, Ákos; Vörös, András; Bartha, Tamás; Mártonka, Zoltán
Szerkesztő: Kiss, Ákos
Megjelenés: 2013.
Megjelent: Proceedings of the 13th Symposium on Programming Languages and Software Tools, SPLST'13 (Oldalszám: 274-288)
Efficient Saturation-based Bounded Model Checking of Asynchronous Systems
Szerzők: Darvas, Dániel; Vörös, András; Bartha, Tamás
Szerkesztő: Kiss, Ákos
Megjelenés: 2013.
Megjelent: Proceedings of the 13th Symposium on Programming Languages and Software Tools, SPLST'13 (Oldalszám: 259-273)
Bounded saturation-based CTL model checking
Szerzők: Vörös, András; Darvas, Dániel; Bartha, Tamás
Megjelenés: 2013. 03.
Megjelent: Proceedings of the Estonian Academy of Sciences (Kötetszám: 62, Füzetszám: 1, Oldalszám: 59-70)

2012.

Verification of an industrial safety function using coloured Petri nets and model checking
Szerzők: Bartha, Tamás; Vörös, András; Jámbor, Attila; Darvas, Dániel
Szerkesztő: Ilie Zudor, Angyalka; Kemény, Zsolt; Monostori, László
Megjelenés: 2012.
Megjelent: (Oldalszám: 472-485)

2011.

Parallel saturation based model checking
Szerzők: Vörös, András; Szabo, Tamás; Jámbor, Attila; Darvas, Dániel; Horváth, Ákos; Bartha, Tamás
Szerkesztő: Rodica Potolea, ; Dan Grigoraş,
Megjelenés: 2011.
Megjelent: (Oldalszám: 94-101)
Control-oriented modelling of the primary circuit and its controllers of a PWR nuclear power plant
Szerzők: Gábor, Attila; Sonnevend, Ilona; Bartha, Tamás
Szerkesztő: J, Bokor; Z, Szabo
Megjelenés: 2011.
Megjelent: 9th European Workshop on Advanced Control and Diagnosis
Bounded saturation based CTL model checking
Szerzők: Vörös, András; Darvas, Dániel; Bartha, Tamás
Szerkesztő: Jaan, Phenjam
Megjelenés: 2011.
Megjelent: (Oldalszám: 149-160)

2009.

Verification of a primary-to-secondary leaking safety procedure in a nuclear power plant using coloured Petri nets
Szerzők: Németh, Erzsébet; Bartha, Tamás; Fazekas, Csaba; Hangos, Katalin
Megjelenés: 2009.
Megjelent: Reliability Engineering and System Safety (Kötetszám: 94, Füzetszám: 5, Oldalszám: 942-953)
Design and implementation of an improved and reliable pressurizer controller at the Paks NPP
Szerzők: Bartha, Tamás; Fazekas, Csaba; Varga, István
Megjelenés: 2009. 06. 30.
Megjelent: SAFEPROCESS 2009. 7th IFAC international symposium on fault detection, supervision and safety of technical processes. Barcelona, 2009. (Oldalszám: 1162-1167)

2008.

Formal verification of safety functions by reinterpretation of functional block based specifications
Szerzők: Németh, Erzsébet; Bartha, Tamás
Szerkesztő: Cofer, D.; Fantechi, A.
Megjelenés: 2008.
Megjelent: FMICS 2008. 13th international workshop on formal methods for industrial critical systems. L'Aquila, 2008. (Oldalszám: 219-234)
Development of safety software for the Paks Nuclear Power Plant
Szerzők: Bartha, Tamás; Varga, István
Megjelenés: 2008.
Megjelent: ERCIM News (Füzetszám: (75), Oldalszám: 53-54)

2007.

Integrált irányítási alkalmazások járműrendszerekben
Szerzők: Bartha, Tamás; Gáspár, Péter
Megjelenés: 2007.
Megjelent: A Jövő Járműve - Járműipari Innováció (Füzetszám: 1-2, Oldalszám: 28-31)

2006.

Formal verification of function block based specifications of safety-critical software
Szerzők: Németh, Erzsébet; Bartha, Tamás
Szerkesztő: Monostori, László; Ilie-Zudor, Angyalka Elisabeth
Megjelenés: 2006.
Megjelent: MITIP 2006. 8th international conference on the modern information technology in the innovation processes of the industrial enterprises. Budapest, 2006. (Oldalszám: 211-218)

2005.

Állapotmonitorozási és megbízhatósági információk integrálása erőművi informatikai rendszerekben
Szerzők: Szabó, G.; Varga, István; Bartha, Tamás
Megjelenés: 2005.
Megjelent: ACTA AGRARIA KAPOSVÁRIENSIS (Kötetszám: 8, Füzetszám: 3, Oldalszám: 99-115)
Implementation of a testing and diagnostic concept for an NPP reactor protection system
Szerzők: Bartha, Tamás; Varga, István; Soumelidis, Alexandros; Szabó, G.
Megjelenés: 2005.
Megjelent: LECTURE NOTES IN COMPUTER SCIENCE (Kötetszám: 3463, Oldalszám: 391-402)

2004.

Status and actual risk monitoring in a NPP reactor protection system
Szerzők: Varga, István; Bartha, Tamás; Szabó, G.; Kiss, B.
Szerkesztő: Spitzer, C; Schmocker, U; Dang, VN
Megjelenés: 2004.
Megjelent: Probabilistic safety assessment and management. Proceedings of thje PSAM7 - ESREL'04 Conference, Berlin. Vol. 5 (Oldalszám: 2654-2659)
On-line testing of the reactor protection system in the Paks nuclear power plant
Szerzők: Varga, István; Bartha, Tamás; Soumelidis, Alexandros
Megjelenés: 2004.
Megjelent: ERCIM NEWS (Füzetszám: 56, Oldalszám: 33-34)
Formális módszerek az informatikában
Szerzők: Bartha, Tamás; Csertán, GY; Gyapay, SZ; Majzik, I.; Pataricza, A.; Varró, D.
Megjelenés: 2004.
Megjelent: Formális módszerek az informatikában (Oldalszám: 312)

2003.

A concept for on-line testing of distributed safety-critical supervisory systems
Szerzők: Varga, István; Bartha, Tamás; Soumelidis, Alexandros; Katics, B.
Szerkesztő: Monostori, L; Kádár, B; Morel, G
Megjelenés: 2003.
Megjelent: Intelligent manufacturing systems 2003 (IFAC Proceedings Volumes, 0474-6674) (Oldalszám: 175-180)

2002.

Modeling uncertainty in system-level fault diagnosis using process graphs
Szerzők: Polgár, B.; Selényi, E.; Bartha, Tamás
Szerkesztő: Kacsuk, P; Kranzlmüller, D; Német, ZS; Volkert, J
Megjelenés: 2002.
Megjelent: Distributed and parallel systems. Cluster and grid computing. (The Kluwer international series in engineering and computer science SECS 706) (Oldalszám: 195-202)

2000.

Visual lane and obstruction detection system for commercial vehicles
Szerzők: Gáspár, Péter; Szászi, I.; Bartha, Tamás; Varga, István; Bokor, József; Palkovics, László; Gianone, L.
Szerkesztő: Edelmayer, AM
Megjelenés: 2000.
Megjelent: 4th IFAC symposium on fault detection supervision and safety for technical processes. SAFEPROCESS 2000. Preprints. Budapest, 2000. Vol. 2. (Oldalszám: 908-913)
Utilizing backward error recovery to achieve fault tolerance in a SIMD supercomputer
Szerzők: Bartha, Tamás
Szerkesztő: Edelmayer, AM
Megjelenés: 2000.
Megjelent: 4th IFAC symposium on fault detection supervision and safety for technical processes. SAFEPROCESS 2000. Preprints. Budapest, 2000. Vol. 2. (Oldalszám: 961-966)
Probabilistic fault diagnosis in large, heterogeneous computing systems
Szerzők: Bartha, Tamás; Selényi, E.
Megjelenés: 2000.
Megjelent: PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING (Kötetszám: 2, Füzetszám: 2, Oldalszám: 127-149)
On classification heuristics of probabilistic system-level fault diagnostic algorithms
Szerzők: Bartha, Tamás; Selényi, E.
Szerkesztő: Kacsuk, P; Kotsis, G
Megjelenés: 2000.
Megjelent: Distributed and parallel systems. (The Kluwer international series in engineering and omputer science 567) (Oldalszám: 77-86)

1999.

Efficient probabilistic diagnosis algorithms for large systems
Szerzők: Selényi, E.; Bartha, Tamás
Megjelenés: 1999.
Megjelent: Dependable computing - EDCC-3. Third European conference. Fast Abstracts. Prague, 1999. (Oldalszám: 2)
Backward error recovery in the APEmille parallel computer
Szerzők: Maestrini, P.; Bartha, Tamás
Megjelenés: 1999.
Megjelent: Dependable computing - EDCC-3. Third European conference. Fast Abstracts. Prague, 1999. (Oldalszám: 2)

Új keresés