Témakiírások
Automatizált worst-case analízis
témakiírás címe
Automatizált worst-case analízis
doktori iskola
témakiíró
tudományág
témakiírás leírása
Nagy mennyiségben gyártott és/vagy drága termékek esetében fontos a magas szintű megbízhatóság igazolása a garanciális költségek csökkentése és a vevői elégedettség növelése érdekében. A hardveregységek esetén ez az ellenőrzés az áramkörök analízisét foglalja magában figyelembe véve az egyes alkatrészek paraméterszórásait, illetve környezeti körülményeket, például hőmérséklet és páratartalom hatásai. Ezt a folyamatot hívjuk worst-case áramkörnalízisnek (WCA).
Az alkalmazott analízismódszerek futási ideje általában a paraméterszámmal polinomiális vagy exponenciális módon növekszik. Egy-egy teljes rendszer analízise a rendszer komplexitása miatt általában nem kivitelezhető, szükséges a rendszer particionálása a megoldandó feladat dimenziószámának redukciója érdekében. Ezen particionálás történhet manuálisan, de ebben szubjektív döntések is szerepet játszanak, így nem feltétlenül vezet optimális megoldásra. Cél, hogy komplex rendszerek dekomponálását automatikus módon lehessen biztosítani.
Az automatizált megoldások esetén fontos szempont azok ellenőrizhetősége. Biztonságkritikus rendszerek fejlesztése során az analízis eredmények ellenőrzése mindenképpen szükséges, de azok komplexitása miatt az ellenőrzési fázis nehézkes lehet. Fontos feladat az analízis eredmények kapcsán olyan módszerek fejlesztése, amelyek lehetővé teszik az analízis eljárások helyességének ellenőrzését.
Újszerű megoldásként a feladatok közé tartozik egy magyarázható worst-case analízis (eplainable WCA) eszköz fejlesztése, amely az automatizált analízis kimeneteként adódó eredményeket manuálisan könnyen értelmezhető formában prezentálja. A módszer elősegíti akár az ellenőrzési feladatokat akár a fejlesztést támogathatja azon komponensek azonosításával, amelyek kritikusak egy-egy követelmény teljesítése szempontjából.
Az alkalmazott analízismódszerek futási ideje általában a paraméterszámmal polinomiális vagy exponenciális módon növekszik. Egy-egy teljes rendszer analízise a rendszer komplexitása miatt általában nem kivitelezhető, szükséges a rendszer particionálása a megoldandó feladat dimenziószámának redukciója érdekében. Ezen particionálás történhet manuálisan, de ebben szubjektív döntések is szerepet játszanak, így nem feltétlenül vezet optimális megoldásra. Cél, hogy komplex rendszerek dekomponálását automatikus módon lehessen biztosítani.
Az automatizált megoldások esetén fontos szempont azok ellenőrizhetősége. Biztonságkritikus rendszerek fejlesztése során az analízis eredmények ellenőrzése mindenképpen szükséges, de azok komplexitása miatt az ellenőrzési fázis nehézkes lehet. Fontos feladat az analízis eredmények kapcsán olyan módszerek fejlesztése, amelyek lehetővé teszik az analízis eljárások helyességének ellenőrzését.
Újszerű megoldásként a feladatok közé tartozik egy magyarázható worst-case analízis (eplainable WCA) eszköz fejlesztése, amely az automatizált analízis kimeneteként adódó eredményeket manuálisan könnyen értelmezhető formában prezentálja. A módszer elősegíti akár az ellenőrzési feladatokat akár a fejlesztést támogathatja azon komponensek azonosításával, amelyek kritikusak egy-egy követelmény teljesítése szempontjából.
felvehető hallgatók száma
2 fő
helyszín
Méréstechnika és Információs Rendszerek Tanszék
jelentkezési határidő
2026-01-15