A Szegedi Tudományegyetem konzorciumi partnerként vesz részt az EUREKA szoftverinnovációs klasztere, az ITEA 4 nemzetközi pályázatában a svéd KTH (Royal Institute of Technology) vezetésével.
A Monitoring and Analytics for the whole Lifecycle, on Models, Hardware, and Software – röviden MONA LISA projekt célja az alábbi: a kiber-fizikai rendszerek (CPS) a szoftver és a hardver közötti szoros kapcsolat miatt eleve összetettek. Az ilyen rendszerek hatással vannak a biztonságunkra, ezért megbízhatónak kell lenniük. A rendszerfejlesztés teljes életciklusa során használt eszközök sokfélék, széttagoltak, ami tudásveszteséget, a piacra kerülési idő meghosszabbodását és a költségek növekedését eredményezi. A MONA LISA projekt a hardver-szoftver együtt tervezést integrálja a szoftver életciklusba, vizuális analitikával összekapcsolva és javítva a meglévő eszközöket. A fejlesztői rendszerek integrálásával javítja a biztonságot, a diagnosztikát és a validálást a különböző környezetekben. Emellett hozzájárul a nyílt forráskódú projektekhez, tovább fejlesztve a ma még nem elérhető felügyeleti megoldásokat.
A konzorcium az NKFI Alapból a 2024-1.2.6-EUREKA keretében 69 902 988 Ft támogatást elnyert 2024-1.2.6-EUREKA-2024-00007 szerződés számú „Monitoring és analitika a teljes életciklusra, a koncepciótól a rendszermodellekig, hardverig és a szoftverig” c. projektjét 2024.10.01. napján megkezdte.
A projekt 1. mérföldkövének szakmai összefoglalója:
A svéd, török és magyar partnerek részvételével megkezdődött a MONA LISA projekt megvalósítása, amelynek célja olyan innovatív szoftver létrehozása, amely a kiberfizikai rendszerek hardver- és szoftverkomponenseinek fejlesztését és karbantartását a teljes életciklus során, a két nézőpont sajátosságainak összehangolásával támogatja.
A magyar konzorcium tagjai közül az ELI ALPS use case szolgáltatóként, a FrontEndArt Kft. a trace log feldolgozás és vizualizációs feladatok kidolgozásával, míg a Szegedi Tudományegyetem a modelldefiníció és modellimplementáció területén vállal kiemelt szerepet. Az egyetem egyúttal vezeti a 4. munkacsoportot, amelynek feladata a specifikációk és a trace logok alapján formalizált modellek megalkotása. Emellett a Szegedi Tudományegyetem kutatói részt vesznek a különböző modellek közötti eltérések azonosításában, valamint az esetleges anomáliák feltárásában.
Az első mérföldkőig a kutatócsoport a formális modellalkotásban kulcsfontosságú nagy nyelvi modellek (LLM) képességeit és a Retrieval-Augmented Generation (RAG) technológia alkalmazhatóságát vizsgálta. Ennek keretében különös figyelmet fordítottak arra, miként kezelhetők biztonságosan a use case-ekhez tartozó, gyakran bizalmas üzleti információkat tartalmazó dokumentumok. A magyar partnerek közötti egyeztetések során az ELI által szolgáltatott use case alapján a log trace analízis tervezése is megkezdődött.
A kutatási folyamatok 2024.10.01-jén kezdődtek és 2027.09.30-ig tartanak.
Borítókép: pexels.com
