Biztonságkritikus beágyazott rendszer migrációja Rust programozási nyelvre
2025-2026 tavasz
Szoftver
Téma leírása
Az autóiparban használt vezérlőegységek egyre nagyobb teret hódítanak összekapcsolódó kiber-fizikai rendszereket alkotva a személy- és haszongépjárművekben is. Az összekapcsolódás mértékének növekedése az elektronikai egységek komplexitásának és sebezhetőségének jelentős növekedését is maga után vonja. Ennek ellensúlyozására egyre nagyobb teret hódítanak a C nyelvhez képest megfoghatóbb kereteket nyújtó modern programozási nyelvek.
A hallgató feladata egy biztonságkritikus mikrovezérlő program átírhatóságának vizsgálata a gyengén típusos C nyelvről az erősen típusos Rust programozási nyelvre, amelyhez már elérhető az autóipari biztonsági szabvány szerint kvalifikált fordítási környezet a vizsgált mikrovezérlőkre. A teljes fejlesztőkörnyezetet a Knorr-Bremse R&D biztosítja.
A hallgató feladatának a következőkre kell kiterjednie:
- Ismerje meg az átírandó szoftver forráskódját, valamint a cégen belül elérhető hardver platformokat.
- Készítsen szoftver-integrációs tervet az átírandó és a C-ben megtartandó szoftver elemekről, valamint ezek teszteléséről, a szükséges UML diagramokkal demonstrálva.
- Készítsen bináris kódot C és Rust nyelvű elemek kombinációiból.
- Vizsgálja meg a szoftver elemeket a teljesítmény (ROM / RAM / CPU) és sebezhetőség illetve kódminőségbiztosítási szempontok tekintetében az átírás előtt és után (statikus kódanalízis, teljesítménymérés kód instrumentációval).
- Készítsen dokumentációt a Rust előnyeiről és hátrányairól, beleértve az alkalmazott metrikák gyűjtésének és elemzésének módszertanát.
Külső partner: Knorr-Bremse Fékrendszerek Kft.
Maximális létszám:
1 fő