English
Magyar
Majzik István
tanszékvezető helyettes, habilitált docens
Elérhetőségek
Iroda:
1117 Budapest, Magyar tudósok krt. 2. I. ép. IB421
Tel.:
+36 1 463-3598
Fax:
+36 1 463-4112
Email:
majzik (*) mit * bme * hu
Személyes honlap:
http://home.mit.bme.hu/~majzik/ Oktatás
Doktoranduszai:
Tanszékünkön oktatott tantárgyai:
- Biztonságkritikus rendszerek tervezése (szak781)
- Formális módszerek (VIMIMA07)
- Kritikus beágyazott rendszerek (vimim332)
- Rendszertervezés és -integráció (VIMIMA11)
- Szoftver verifikáció és validáció (vimmd052)
- Szolgáltatásbiztonságra tervezés (vimim146)
Kutatás
Kutatócsoport:
Kritikus Rendszerek Kutatócsoport 
Szakmai előadások:
- Megbízhatóság modellezés és analízis: mire jó ez egyáltalán? (2007. november 14)
Projektek:
- Folyamatok UML alapú modellje (2000 - 2001)
- Hibatűrő rendszerek ellenőrzése (1999 - 2001)
- Hidenets (2006 - 2008)
- I2RT Tudásközpont (2001 - 2002)
- Intelligens adatfeldolgozás (2004 - 2005)
- Jelzőszám alapú diagnosztika (1996 - 1997)
- Megbízható IT szolgáltatások (2004 - 2005)
- Modell alapú teszt generálás (2008 - 2010)
- Mozdonyvezetői kezelőfelület (2006 - 2008)
- Önellenőrzés programokban (2004 - 2006)
- OO rendszerek megbízhatósága (2000 - 2002)
- RESIST kutatói együttműködés (2006 - 2008)
- Robusztus OO rendszerek (2001 - 2003)
- Szolgáltatásbiztonság kiértékelése (2008 - 2009)
- UML modellek ellenőrzése (1999 - 2001)
- Vasúti szoftver értékelése (2003 - )
- Watchdog processzor PC-hez (1995 - 1996)