Thesis supervisor: András Pataricza
Location of studies (in Hungarian): Méréstechnika és Információs Rendszerek Tanszék Abbreviation of location of studies: MIT
Description of the research topic:
A kritikus alkalmazások esetében külön kategóriát képviselnek azon elosztott alkalmazások, amelyek egy kritikus vagy kritikus közeli állapotban különleges üzemmódba térnek át a tovaterjedő hibahatás blokkolása érdekében.
Az ilyen kritikus elosztott alkalmazásoknál az egyik legígéretesebb technológia a rohamosan fejlődő Blockchain, amely az ebben résztvevő partnerek között garantálja a rendszerről kialakított kép azonosságát minden partnernél, hogy mindemellett magas fokú adatbiztonsági védelmet és a végrehajtott műveletek letagadhatatlanságát is garantálja.
Kiemelt eleme a Blockchain technológiának az úgynevezett okos szerződés, azaz egy olyan műveletsor, amelyet a Blockchain kommunikációs mechanizmusán keresztül minden partner megkap és a kellő megegyezés és felhatalmazás birtokában végrehajt. Ez a mechanizmus eredetileg az üzleti világ számára épült be a technológiába, de potenciális alkalmazási köre jóval szélesebb annál.
A doktorandusz fő feladata annak vizsgálata, hogy a Blockchain technológia állapot szinkronizációs és koordinált művelet-végrehajtási képessége milyen módon alkalmazható elosztott rendszerek esetében a hibatűrés kritikus fázisainak automatizálására (kárbehatárolás, hibadiagnosztika, helyreállítás).
A kritikus rendszerekre jellemző, hogy a szolgáltatásbiztonságukat garantáló módszerek esetében a magas működésim követelmények miatt elégtelen a puszta mérnöki intuíció és azon túlmenően a rendszer matematikai modellje alapján a megoldás helyességét és teljességét bizonyítani kell.
A jelölt feladata így a Blockchain technológia és kritikus szituációbeli alkalmazásának helyességbizonyító algoritmusának bizonyítása a potenciális hibák figyelembevételével is.
Az angol nyelvtudás kiemelkedően fontos tekintettel a háttérben folyó nemzetközi kooperációra.
Required language skills: angol Number of students who can be accepted: 1