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.
Jelleg: 
Elméleti és gyakorlati
Advisor: 
András Vörös
TDK lehetőség: 
TDK lehetőség
Megismerhető technológiák: 
modellezés, xtUML, Java
Állapot: 
Folyamatban