Elosztott biztonságkritikus rendszerek xtUML alapú modellvezérelt fejlesztése

Napjainkban az elosztott rendszerek egyre nagyobb teret hódítanak beágyazott bizonságkritikus környezetben is. Ez annak köszönhető, hogy az összetett rendszerek elvárt funkcionalitásának teljesítéséhez, a bonyolultságukból adódóan, elosztott működés szükséges. Ezen rendszerek tervezése komoly eszköztámogatást igényel, fontos feladattá vált a modellezés és a tervek ellenőrzése.
A mérnöki modelleket napjainkban sokszor UML alapú szerkesztő eszközökben tervezik meg, míg az ellenőrzést jellemzően modellellenőrző eszközök végzik formális modelleken.
Az xtUML és a hozzá tartozó eszközkészlet is az UML kiterjesztéseként fogható fel, hatékony támogatást adva a modell alapú tervezéshez.
A hallgató feladata megvizsgálni és bemutatni az xtUML modellezési nyelvet és egy elosztott vasút-irányítási biztonságkritikus demonstrátor esettanulmányon keresztül bemutatni alkalmazhatóságát.
A hallgató feladatának a következőkre kell kiterjednie:

• Tekintse át és mutassa be az xtUML nyelvet.
• A tanszéki demonstrátor szoftver komponenseit tervezze meg xtUML segítségével.
• Értékelje az xtUML alapú tervezést és vizsgálja meg ellenőrizhetőség szempontjából a rendszerterveket.