Modell-alapú nyomkövetés beágyazott rendszerekben

OData támogatás
Konzulens:
Gönczy László
Méréstechnika és Információs Rendszerek Tanszék

A modell-alapú szoftverfejlesztési paradigma a beágyazott rendszerek területén napjainkban egyre elterjedtebb. A beágyazott eszközök rendszer szintű modellje (komponens, port, interfész, adatelem) és az implementáció szintű modellje (függvények, változók, memória címek) más absztrakciós szintet és domain nyelvet használ. A beágyazott rendszereken használt szoftvernek a teszteléséhez, nyomkövetéséhez, hibafelderítéséhez használt eszközök a hardver debugger, a hálózati analizátor, illetve távoli memória-mintavételező protokollok (pl. XCP, CCP). A rendszerről kapott állapot elemzése implementációs vagy még alacsonyabb (assembly) szinten történik. A hagyományos (implementációs szintű) nyomkövetést sok eszköz támogatja, de a rendszerszintű modelleben a tesztelés alapján nyert nyomkövetési adatokat újra kell értelmezni a felsőbb absztrakciós szint fogalmai alapján. A diplomaterv célja a hagyományos nyomkövető eszközök (hardver debugger, hálózati analizátor, XCP) felületének mérnöki modellekkel történő integrálása olyan módon, hogy a fejlesztő közvetlenül a modell fogalmainak a felhasználásával adhassa meg a megfigyelni vagy módosítani kívánt elemeket (port változó, belső állapot, stb.), és az elkészítendő szoftverben ebből a rendelkezésre álló megfigyelő eszközök közül a leghatékonyabbat (mintavételi frekvencia, zavarás, stb.) kiválasztva elvégzi a kívánt műveletet.

Letölthető fájlok

A témához tartozó fájlokat csak bejelentkezett felhasználók tölthetik le.