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 fizikai és az internet világát összekapcsoló kiberfizikai rendszerek (CPS) a helyi érzékelők és beavatko-zók fölé egy olyan elosztott rendszert építenek, amely összekötő elemek segítségével igénybe tudja ven-ni az interneten elérhető erőforrásokat (adatokat, szolgáltatásokat, számítási kapacitást).
Egy CPS természeténél fogva valós idejű, hiszen a fizikai világ eseményeit figyeli meg, illetve azokat ve-zérli. Ennek megfelelően kritikus méréstechnikai illetve szabályozástechnikai aspektus a CPS megvalósí-tás időbeli viselkedése (pl. átbocsátóképesség, a jelek késleltetése).Informatikai oldalon ez kompromisz-szumot igényel a kevesebb adatátvitelét igénylő, de durvább lokális és a nagy adatátviteli igényű, de szinte korlátlan számítási kapacitású távoli feldolgozás között. Kompromisszum a fizikai rendszer és in-ternet határán elhelyezkedő ún. edge computing, amelyben virtualizálás útján dinamikusan konfigurál-ható számítógép végzi a számításokat.
A CPS szolgáltatásbiztonsága kritikus, hiszen az informatikai alrendszer hibáit a fizikai környezet akár ka-tasztrofálissá is erősítheti. Ez a CPS valósidejűsége miatt megköveteli az alkalmazandó hibatűrési mec-hanizmusoktól a működés logikai helyessége mellett az idő tartománybeli viselkedés garantálását is.
A jelölt feladata egy általánosan alkalmazható edge computing architektúra kialakítása, amely kombinál-va a lokális ellenőrzést távfelügyelettel alkalmas dinamikusan változó CPS alkalmazások extrafunkcionális tulajdonságainak garantálására. A vizsgálatoknak ki kell terjednie a tervezett rendszerek előzetes benchmark alapú identifikációjára, a modell alapú tervezés algoritmusaira illetve a helyességbizonyítás matematikai módszereire.
A doktori kutatás elsődlegesen a BME FTSRG-hez kötődik. Tekintettel arra, hogy a téma futó EU projekt-hez, illetve ipari együttműködéshez is kapcsolódik, kiemelt követelmény a magas szintű angol nyelvtu-dás.
Required language skills: angol Number of students who can be accepted: 1
Deadline for application: 2019-06-14
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).
Login
