témavezető: Pataricza András
helyszín (magyar oldal): Méréstechnika és Információs Rendszerek Tanszék helyszín rövidítés: MIT
A kutatási téma leírása:
Az informatikai rendszerek tervezése és működtetése során mind erősebb hangsúlyt kapnak a szolgáltatásbiztonság aspektusai (rendelkezésre állás, biztonságosság, adatbiztonság). A korszerű modell alapú tervezés és futás közbeni felügyeleti technológiák mintegy melléktermékként szolgáltatják az ellenőrizendő rendszer műszaki megvalósításának modelljét.
A formális módszerek alkalmasak arra, hogy a legrosszabb esetre való helyes tervezés érdekében ezeken a modelleken kimerítő ellenőrzést végezzenek. Problémájuk azonban, hogy a részletes mérnöki modellek bonyolultsága a mai komplex rendszerek esetében meghaladja a kimerítő elemzés számítási bonyolultsági korlátait a gyakorlatban. Ezért jó minőségű, a részletes modell főbb elemeit valósághűen megtartó, de a felesleges részletek elhagyásával a számítási bonyolultságot drasztikusan egyszerűsítő absztrakciók alkalmazására és a problematikusnak tűnő esetek azonosítása után azok részletes vizsgálatára van szükség.
Az egyik legígéretesebb megközelítés a kvalitatív absztrakción alapuló megközelítés, amely a vizsgált rendszert valamilyen architekturális, időbeli és diagnosztikai felbontás mentén a hibamódok szintjéig egyszerűsíti, majd az azonosított „gyanús” esetekben a modellt finomítja részletesebb vizsgálatok számára.
A doktori kutatás célkitűzése ezen technikák általános vonásainak és megközelítéseinek feltárása. Célja a szolgáltatásbiztonsági analízis és monitorozó módszereknek modelltranszformációval történő hatékony származtatása, a különböző absztrakciós módszerek közötti kapcsolat feltárása és azok szinergikus használatát biztosító munkafolyamat kialakítása. A fenti elveket a beágyazott rendszerek és a nagy infrastruktúrák környezetében történő mintakísérletekkel kell értékelni.
A doktori kutatás elsődlegesen a BME FTSRG-hez kötődik. Tekintettel arra, hogy a téma futó, pályázati stádiumban levő EU projekthez, illetve tengeren túli ipari és egyetemközi együttműködéshez is kapcsolódik, kiemelt követelmény a magas szintű angol nyelvtudás.
előírt nyelvtudás: angol felvehető hallgatók száma: 1
Jelentkezési határidő: 2017-06-26
2024. IV. 17. ODT ülés Az ODT következő ülésére 2024. június 14-én, pénteken 10.00 órakor kerül sor a Semmelweis Egyetem Szenátusi termében (Bp. Üllői út 26. I. emelet).