nap
óra
perc
mp.

Tudjon meg többet

A kutatócsoportról


A BME VIK Méréstechnika és Információs Rendszerek Tanszékén működő Hibatűrő Rendszerek Kutatócsoportot (ftsrg) 1994-ben alapította Prof. Pataricza András a hibatűrő számítástechnika kutatására és oktatására. A csoport az azóta eltelt években a rendszermodellezés, ‑tervezés és ‑ellenőrzés nemzetközileg jegyzett kutatócsoportjává vált, harmincnál is több európai kutatási és ipari együttműködésben kamatoztatva tudását.

A weboldal rövid betekintést nyújt az elmúlt évtizedek főbb eredményeibe és a jelenleg is futó szakmai munkákba.

Regisztráljon ma!

Oktatásunk


Specializációk

Rendszertervezés (BSc), Szoftverfejlesztés (BSc), Kritikus rendszerek (MSc)

BSc tantárgyak

Rendszermodellezés, Informatikai rendszertervezés, Rendszertervezés laborok

MSc tantárgyak

Formális módszerek, Modellalapú rendszertervezés, Kiberfizikai rendszerek, Szoftver- és rendszerellenőrzés

PhD tantárgyak

Szoftver verifikáció és validáció, Empirikus modellezés alapú rendszertervezés

Választható tantárgyak

Big Data elemzési módszerek, Blockchain technológiák és alkalmazások, DevOps: A rendszerfejlesztés és üzemeltetés kapcsolódása, Mérési adatok vizuális elemzése

Szakmai kompetenciáink


Fő területünk a kritikus informatikai rendszerek, folyamatok és platfomok szolgáltatásbiztonságra tervezése, ideértve a kiberfizikai és informatikai infrastruktúrákat, alkalmazásokat. Alapvető metodikánk a modellalapú tervezés, analízis és helyességbizonyítás.

Kritikus rendszerek fejlesztése

Módszertanok, fejlesztési környezetek, technikák és technológiák a modellalapú kritikus informatikai és kiberfizikai rendszerek és alkalmazások tervezésére.

Ellenőrzés és tesztelés

Formális módszerek és modellalapú tesztelés alkalmazása funkcionális, megbízhatósági, biztonsági és teljesítmény követelmények ellenőrzése és tanúsítása során.

Empirikus rendszertervezés

Teljesítmény és megbízhatósági követelmények kísérleti vizsgálata, mérése, analízise, méretezése származtatott modellek alapján, hibamodellezés.

Nézze meg aktuális kutatási és fejlesztési projektjeinket!



Weblapunk

Keressen minket a közösségi platformokon!



Kapcsolat

Dr. Micskei Zoltán
egyetemi docens

Weblap: inf.mit.bme.hu/members/micskeiz
E-mail: micskeiz [a] mit.bme.hu
Telefon: +36 1 463-3594