A kutatómunka célja volt módszerek kidolgozása kritikus területeken alkalmazott, adaptív működésű beágyazott és kiberfizikai rendszerek biztonságos működésének ellenőrzéséhez. Az ellenőrzés célja a szolgáltatásbiztonság alapjellemzőinek (megbízhatóság, rendelkezésre állás, biztonságosság) vizsgálata azokban az esetekben is, amikor a rendszer konfigurációja dinamikusan változik környezeti hatásokra (pl. új érzékelők aktiválása történik a megváltozott igények miatt), vagy akár belső hibák hatására (pl. tartalék komponensek aktiválása történik az elsődleges komponens hibája esetén). A módszer lényege egy modell alapú analízis, ahol az architektúra modell írja le a rendszer komponenseit, egy időzített automata modell pedig a konfiguráció változását rögzíti a külső illetve belső események hatására. Ezek alapján összeállítható a szolgáltatásbiztonság jellemzőinek automatikus kiszámításához használható sztochasztikus analízis modell.
Majzik István, docens, BME VIK Méréstechnika és Információs Rendszerek Tanszék
A kutatási beszámoló letölthető innen (PDF)
- augusztus 21.