Beosztás:
Munkahely:
Méréstechnika és Információs Rendszerek Tanszék,
Hibatűrő Rendszerek Kutatócsoport
Cím:
I épület, B.421. szoba
Telefon:
Fax:
Web:
http://www.mit.bme.hu/~majzik/indexm.html
E-mail:
Skype:
|
|
Beosztás:
|
Egyetemi docens |
|
Munkahely:
|
Budapesti
Műszaki és Gazdasgtudományi Egyetem, Méréstechnika és Információs Rendszerek Tanszék, Hibatűrő Rendszerek Kutatócsoport |
|
|
Cím:
|
1117 Budapest,
Magyar Tudósok krt. 2. I épület, B.421. szoba |
|
|
Telefon:
|
(1) 463-3598 | |
|
Fax:
|
(1) 463-2667 | |
|
Web:
|
http://www.mit.bme.hu/~majzik/index.html http://www.mit.bme.hu/~majzik/indexm.html |
|
|
E-mail:
|
majzik@mit.bme.hu | |
|
Skype:
|
imajzik |
| Safe Driver Machine Interface (DMI) for ERTMS automatic train control (FP6 SUSTDEV STREP 031413) | |
| Highly Dependable IP-based Networks and Services (FP6 IST STREP 26979) | |
| Resilience for Survivability in IST (FP6 IST NoE 26764) | |
| Assessing, Measuring and Benchmarking Resilience (FP7 ICT CA 216295) | |
| Model-based Generation of Tests for Dependable Embedded Systems (FP7 ICT CP 216679) |
|
EDCC:
|
The 7th European Dependable Computing Conference |
| The 5th Conference on Dependability of Computer Systems | |
|
SRDS:
|
The 27th IEEE Symposium on Reliable Distributed Systems |
|
DADS:
|
Dependable and Adaptive Distributed Systems Track of the ACM Symposium on Applied Computing |
| Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems |
| Önellenőrzés és futásidejű verifikáció számítógépes programokban (OTKA) | |
|
IMDP:
|
Intelligens mérésfeldolgozás
alkalmazása megbízható IT szolgáltatások tervezéséhez (magyar-portugál TéT) |
| Kötöttpályás közlekedési rendszerek konstruktív, EU-konform biztonsági minősítése (GVOP) | |
|
FWSC:
|
Keretrendszer nagymegbízhatóságú, biztonságkritikus rendszerek fejlesztéséhez és teszteléséhez (IKTA) |
|
ROOS:
|
Robusztus objektum-orientált rendszerek optimális kialakítása (FKFP) |
|
FVSR:
|
Biztonsági követelmények formális verifikációja hibatűrő rendszerekben (OTKA) |
|
HIDE:
|
Magasszintű, integrált tervezői rendszer kialakítása szolgáltatásbiztos rendszerek tervezéséhez (IST) |
|
WP:
|
Konkurens hibadetektálás többprocesszoros rendszerekben watchdog processzorok felhasználásával (PhD) |
|
CV:
|
Szakmai önéletrajz |