nap
óra
perc
mp.

Tudjon meg többet

A rendezvényről


A BME VIK Méréstechnika és Információs Rendszerek Tanszékén működő Hibatűrő Rendszerek Kutatócsoport (FTSRG) idén ünnepli 25. születésnapját. A csoportot 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 csoport kerek évfordulóját 2019. szeptember 24-én délután egy félnapos rendezvény keretében ünnepeljük meg, amely betekintést nyújt az elmúlt évtizedek főbb eredményeibe és a jelenleg is futó szakmai munkákba.

Regisztráljon ma!

Program


A rendezvény helyszíne a BME I épület IE007-es terme (térkép).

13:00 - 15:00

Megnyitó: Prof. Charaf Hassan dékán és Prof. Dabóczi Tamás tanszékvezető

Köszöntők: Prof. Mario Dal Cin (Erlangen) és Prof. Andrea Bondavalli (Firenze)

Prof. Pataricza András: Steady Principles for Dependability Assurance under Changing Technologies

15:00 - 15:30

Kávészünet

15:30 - 16:15

Szakmai bemutatkozások: Aktuális kutatási irányaink és projektjeink

16:15 - 17:15

Elméleti igényesség és gyakorlati hasznosság?
Kerekasztal beszélgetés

17:00 - 19:00

Kötetlen beszélgetés: vitatni- és harapnivalók

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